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
 Fall '08
 ANDREWCHILDS
 Set Theory, Real Numbers

Click to edit the document details