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

     

     

     

     

     

     

     

     

     


     

  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.