exercise12 - 6| = a ⇒ ¬ b ∩ a ⇒ ¬ b ⇒ a ∪ b...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
CSE541 EXERCISE 12 Chapters 10, 11, 12 Read and learn all examples and exercises in the chapters as well! QUESTION 1 Let GL be the Gentzen style proof system for classical logic defined in chapter 11. Prove, by constructing a proper decomposition tree that (1) GL (( ¬ a b ) ( ¬ b a )). (2) 6 ‘ GL (( a b ) ( ¬ b a )) . QUESTION 2 Show that tree below do not constitute a proof in GL defined in chapter 10? Provide a correct proof. T A -→ ¬¬ (( ¬ a b ) ( ¬ b a )) | ( → ¬ ) ¬ (( ¬ a b ) ( ¬ b a )) -→ | ( ¬ → ) -→ (( ¬ a b ) ( ¬ b a )) | ( →⇒ ) ( ¬ a b ) -→ ( ¬ b a ) | ( →⇒ ) ( ¬ a b ) , ¬ b -→ a | ( ¬ → ) ( ¬ a b ) -→ b,a ^ ( ⇒-→ ) -→ ¬ a,b,a | ( → ¬ ) a -→ b,a axiom b -→ b,a axiom 1
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
QUESTION 3 Let GL be the Gentzen style proof system for classical logic defined in chapter 11. Prove, by constructing a counter-model defined by a proper decomposition tree that
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 6| = (( a ⇒ ( ¬ b ∩ a )) ⇒ ( ¬ b ⇒ ( a ∪ b ))) . QUESTION 4 Let LI be the Gentzen system for intuitionistic logic as defined 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 defined in chapter 12 to prove that 6 ‘ LI (( ¬ a ⇒ b ) ⇒ ( ¬ b ⇒ a )) . 2...
View Full Document

{[ snackBarMessage ]}

Page1 / 2

exercise12 - 6| = a ⇒ ¬ b ∩ a ⇒ ¬ b ⇒ a ∪ b...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online