Homework 4

Practicing with Predicate Logic

Due: Friday, October 20th, 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.











  3. 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.