CS663: Advanced Knowledge Representation Fall, 2002
Homework 1
Due at start of class, September 12, 2002
Stuart C. Shapiro
Department of Computer Science and Engineering
State University of New York at Buffalo

Using any Natural Deduction inference system discussed in class or in the course materials, prove |- ((A v B) & ¬A) -> B

Formalize the following argument in Classical Propositional Logic by giving the syntax and (intensional) semantics of the atomic propositions (Assume the "standard" syntax and semantics of non-atomic propositions.), and show the derivation of the conclusion from the assumptions.
If Bob thinks that Larry is a liar, then whenever Larry says something, Bob won't believe him. Whenever there's danger, Larry warns Bob. Larry warns Bob by saying something to him. When there's danger, if Larry warns Bob, then if Bob believes Larry, he takes evasive action, but if he doesn't believe him, he doesn't take evasive action. If there's danger and Bob doesn't take evasive action, he gets injured. Therefore, if Bob thinks that Larry is a liar and there's danger, Bob gets injured.

Stuart C. Shapiro <shapiro@cse.buffalo.edu