This preview shows pages 1–3. Sign up to view the full content.
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
This note was uploaded on 09/28/2011 for the course CS 208 taught by Professor Green during the Spring '08 term at Park.
 Spring '08
 GREEN
 Math, Mathematical Induction

Click to edit the document details