exercise6sol - CSE451 EXERCISE 6 SOLUTIONS QUESTION 1 Given...

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

View Full Document Right Arrow Icon
CSE451 EXERCISE 6 SOLUTIONS QUESTION 1 Given a proof system: S = ( L {∪ , ⇒} , E = F AX = { A 1 ,A 2 } , R = { ( r ) } ) , where A 1 = ( A ( A B )) , A 2 = ( A ( B A )) and ( r ) ( A B ) ( A ( A B )) 1. Solution: Prove that S is sound under classical semantics. Solution: Axioms of S are basic classical tautologies. The proof of soundness of the rule of inference is the following. Assume ( A B ) = T . Hence the logical value of conclusion is ( A ( A B )) = ( A T ) = T for all A . 2. Determine whether S is sound or not sound under K semantics. K semantics differ from ˆLukasiewicz’s semantics only in a case on implication only. This table is: K-Implication F T F T T T ⊥ ⊥ T T F T Solution 1: S is not sound under K semantics. Let’s take truth assignment such that A = ,B = . The logical value of axiom A1 is as follows. ( A ( A B )) = ( ⊥⇒ ( ⊥ ∪ ⊥ )) = and 6 | = K ( A ( A B )). Observe
Background image of page 1

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

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the 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.

Page1 / 3

exercise6sol - CSE451 EXERCISE 6 SOLUTIONS QUESTION 1 Given...

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