exercise2 - A 2 is: 3. Degree of the formula A 1 is: ,...

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

View Full Document Right Arrow Icon
CSE541 Exercise 2 SOLVE ALL PROBLEMS as PRACTICE and only AFTER look at the SOLUTIONS!! Please write solutions very carefully. The grade you receive on TESTS depends not only on the fact that you SOLVE the problem, but also (30%) on elegance of your solution. Use examples from the book as a learning material of how to write solutions properly QUESTION 1 Give a definition and an example of a default reasoning. QUESTION 2 Write the following natural language statement: From the fact that it is not necessary that an elephant is not a bird we deduce that: it is not possible that an elephant is a bird or, if it is possible that an elephant is a bird, then it is not necessary that a bird flies. as a formula (i) A 1 ∈ F 1 of a language L , C , I , , , ⇒} , (ii) A 2 ∈ F 2 of a language L , , , ⇒} . 2. Main connective of the formula A 1 is: , main connective of the formula
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: A 2 is: 3. Degree of the formula A 1 is: , degree of the formula A 2 is: 4. Write all proper, non-atomic sub-formulas of A 1 . 5. Write all non-atomic sub-formulas of A 2 . 6. Find a restricted model and a restricted counter-model of A 2 . Use short-hand notation. Show work. 7. There are more then 3 possible restricted counter-models of A 2 . Justify. 8. There are more then 2 possible restricted models of A 2 . Justify your answer. 9. List 3 models and 2 counter-models for A 2 by extending the restricted model and the counter-model you have found in 6. to the set V AR of all variables. 10. There are possible models for A 2 . There are possible counter-models for A 2 . QUESTION 3 Show that | = (( a b ) ((( c d ) d ) ( a b ))) 1...
View Full Document

Ask a homework question - tutors are online