This preview shows pages 1–2. 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: S dened in Question 1 with 2 applications of the rule ( r ). Solution: Required formal proof is a sequence A 1 ,A 2 ,A 3 , where A 1 = ( A A ) (Axiom) A 2 = ( A ( A A )) Rule ( r ) application 1 for A = A, B = A . A 3 = (( A A ) ( A ( A A ))) Rule ( r ) application 2 for A = A,B = ( A A ). 1 QUESTION 3 Prove, by constructing a formal proof that S (( A B ) ( A ( A B ))) . Solution: Required formal proof is a sequence A 1 ,A 2 , where A 1 = ( A ( A B )) Axiom A 2 = (( A B ) ( A ( A B ))) Rule ( r ) application for A = A,B = ( A B ). 2...
View
Full
Document
This note was uploaded on 02/12/2011 for the course CSE 541 taught by Professor Bachmair,l during the Spring '08 term at SUNY Stony Brook.
 Spring '08
 Bachmair,L
 Computer Science

Click to edit the document details