This preview shows page 1. Sign up to view the full content.
Unformatted text preview: a n < 2 n for all n > 0. 6. Prove using strong induction that any propositional formula is equivalent to one that does not contain any uses of , , or . (Hint: recall Problem 9 from Assignment #1.) 7. Prove using strong induction that for any propositional formula P that is in negationnormal form, P is equivalent to a formula in negationnormal form. 8. Consider a family tree that consists of just you, your parents, their parents, etc. (no siblings). Assume you are Generation 0 , your parents are Generation 1 , your grandparents are Generation 2 , etc. How many ancestors do you have at Generation n , for any n 0? Give a proof using induction....
View
Full
Document
This note was uploaded on 10/04/2009 for the course CMPSC 360 taught by Professor Haullgren during the Fall '08 term at Pennsylvania State University, University Park.
 Fall '08
 HAULLGREN

Click to edit the document details