Nondeterministic testing of sequential quantum logic propositions on a quantum computer