This preview shows page 1. Sign up to view the full content.
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
- Spring '08
- Computer Science