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.