Therefore either not p or not r Simplišcation (p∧q) ∴ p p and q are true;Be careful Since we want to compare (~r∧(p→~q))→p, which contains the letters p, q, and r, with r∨p, we must make sure that BOTH truth tables contain ALL THREE LETTERS p, q, and r (evenYou can match the values of P⇒Q and ~P ∨ Q Both are equal Biconditional is also known as Logical equality If both the values of P and Q are either True or False, then it generates a True
Arguments And Methods Of Proof
