exercise3 - CSE541 EXERCISE 3 SOLVE ALL PROBLEMS as...

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

View Full Document Right Arrow Icon
CSE541 EXERCISE 3 SOLVE ALL PROBLEMS as PRACTICE and only AFTER look at the SOLUTIONS!! Reminder: We define H semantics operations and as follows a b = max { a,b } , a b = min { a,b } . The Truth Tables for Implication and Negation are: H-Implication F T F T T T F T T T F T H Negation ¬ F T T F F QUESTION 1 We know that v : V AR -→ { F, ,T } is such that v * (( a b ) ( a c )) = under H semantics. evaluate v * ((( b a ) ( a ⇒ ¬ c )) ( a b )). QUESTION 2 We define a 4 valued ˆL 4 logic semantics as follows. The language is L = L , , , ∩} . The logical connectives ¬ , , , of ˆL 4 are operations in the set { F, 1 , 2 ,T } , where { F < 1 < 2 < T } , defined as follows. Negation ¬ is a function ¬ : { F, 1 , 2 ,T } -→ { F, 1 , 2 ,T } , such that ¬⊥ 1 = 1 , ¬⊥ 2 = 2 , ¬ F = T, ¬ T = F. Conjunction
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 / 2

exercise3 - CSE541 EXERCISE 3 SOLVE ALL PROBLEMS as...

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