MHF2300 – Logic and Proof in Mathematics

Logic Proofs. Prove that a ( b is equivalent to (b ( (a using a truth table. Prove it using algebraic identities. Prove that a ( b is not equivalent to b ( a. Aristotle’s Proof that the Square Root of Two is Irrational. Prove the lemma, used by Aristotle in his proof, which says that if n2 is even, so is n. (Hint: Remember that a ( b is ... ................
................