Taken from Scott Aaronson’s PHYS771 Quantum Computing Since Democritus Propositional Tautologies: A or not A, not(A and not A), etc. are valid. Modus Ponens: If A is valid and A implies B is valid then B is valid. Equality Rules: x=x, x=y implies y=x, x=y and y=z implies x=z, and x=y implies f(x)=f(y) are all [...]
