Homework 3

Practicing with Predicate Logic

Due: Wednesday, October 17th, start of class

This assignment is a short paper/pencil assignment


  1. (20 points) Read through the following English sentences so that you understand the overall domain.  Then, translate the sentences into first-order (predicate) logic using the appropriate quantifiers as necessary.













  1. Use modus ponens and the statements you wrote for problem #1 to infer that “John has a fiery temper“ Use the numbers from problems #1 to support your conclusions.