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
 Spring '08
 Bachmair,L
 Computer Science, Logic, Semantics, Chris, nonatomic subformulas, natural language statement

Click to edit the document details