Mathematics - Discrete Mathematics - Logic and proofs - Logic and Proof Problems
10 problems: (1-2) Write truth table for p→(q∨r), ¬(p∧q). (3) 'Is p→q logically equivalent to q→p?' (No, that's the converse). (4) 'Negate: All students passed the exam.' (∃ student who didn't pass). (5) 'Write the contrapositive of: If n² is even, then n is even.' (6) Direct proof: 'Prove that the