© 2002 Franz J. Kurfess Logic and Reasoning 27 Exercise Semantics and Truth Tables Use a truth table to prove the following: P represents the fact
{"Image DocumentName": "Exercise Semantics and Truth Tables", "Image ImageDescription": "Use a truth table to prove the following: P represents the fact Wally is in location [1, 3] : W[1,3] H represents the fact Wally is in location [2, 2] : W[2,2] We know that Wally is either in [1,3] or [2,2]: (P V H) We learn that Wally is not in [2,2]: ~H. Can we prove that Wally is in [1,3]: ((P V H) ^ ~H) => P. This says that if the agent has some premises, and a possible conclusion, it can determine if the conclusion is true (i.e., all the rows of the truth table are true)", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}