This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: F T F T T T F T F T F F T F F F F F right now it does not look like they are equivalent, but if you rearrange the rows to correspond with the top it would look the same. For instance, if you look at the first table [ → → p q r ], 2nd row you see that the p=t, q=t, r=f and the last column=f. If we find the same row in the table below where p=t, q=t, r=f, the last column for that row also =f; by rearranging the rows it would look like this: p q r ( ) → p r q r T T T T T T F F T F T T T F F T F T T T F T F F F F T T F F F F...
View
Full Document
 Spring '08
 GREEN
 Math, Logic, Mathematical Induction, Inductive Reasoning, Natural number, Mathematical logic, Mathematical proof

Click to edit the document details