This preview shows page 1. Sign up to view the full content.
Unformatted text preview: and 4th columns in the second table, then the ﬁrst two pairs of statements are equivalent. P Q P = ⇒ Q NOT P NOT Q (NOT Q ) = ⇒ (NOT P ) T T T F F T T F F F T F F T T T F T F F T T T T Since the 3rd and 6th columns are equal, the third pair of statements are equivalent....
View Full Document
This note was uploaded on 07/27/2009 for the course MATH 135 taught by Professor Andrewchilds during the Fall '08 term at Waterloo.
- Fall '08
- Real Numbers