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 seman-tics (chapter 5) provides a counter-model 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
- Computer Science