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: 6 = (( a ( b a )) ( b ( a b ))) . QUESTION 4 Let LI be the Gentzen system for intuitionistic logic as dened in chapter 11. Show that LI (( a b ) ( b a )) . QUESTION 5 We know that the formulas below are not Intuitionistic Tautologies. Verify whether H semantics (chapter 5) provides a countermodel for them. (( a b ) ( a b )) , (( a b ) ( b a )) . QUESTION 6 Show that LI (( a b ) ( b a )) QUESTION 7 Use the heuristic method dened in chapter 12 to prove that 6 LI (( a b ) ( b a )) . 2...
View
Full
Document
 Spring '08
 Bachmair,L
 Computer Science

Click to edit the document details