Due at start of class, September 12, 2002
Stuart C. Shapiro
Department of Computer Science and Engineering
State University of New York at Buffalo
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.