This preview shows page 1. Sign up to view the full content.
Unformatted text preview: A 1 . 4. List all proper, nonatomic subformulas of A 2 are: 5. Find a model (restricted) and a restricted countermodel for A 2 (classical semantics). Use shorthand notation. Show work. 6. There are possible countermodels restricted to A 2 . 7. There possible models restricted to A 2 . (Don’t need to list them, just justify your answer). 8. List 3 models and 3 countermodels for A 2 by extending the restricted model and the countermodel you have found in 4. to the set V AR of all variables. 9. There are possible models for A 2 . There are possible countermodels for A 2 . QUESTION 3 Show that  = ( ¬ (( a ∩ ¬ b ) ⇒ (( c ⇒ ( ¬ f ∪ d )) ∪ e )) ⇒ (( a ∩ ¬ b ) ∩ ( ¬ ( c ⇒ ( ¬ f ∪ d )) ∩ ¬ e ))) . 1...
View
Full
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.
 Spring '08
 Bachmair,L
 Computer Science

Click to edit the document details