exercise11 - T A in GL for a formula A below. A = (( a b )...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
CSE541 EXERCISE 11 Chapters 10, 11, 12 Read and learn all examples and exercises in the chapters as well! QUESTION 1 Use the (complete) proof system GL from chapter 11 to prove that | = ( ¬ ( a ∩ ¬ b ) ( ¬ a b )) . QUESTION 2 Find a counter-model determined by a decomposition tree
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: T A in GL for a formula A below. A = (( a b ) ( a b )) QUESTION 3 Prove the COMPLETENESS theorem for GL. Assume that the Soundness has been already proved. QUESTION 4 Show that LI (( A B ) ( A B )) . 1...
View Full Document

Ask a homework question - tutors are online