CSE 463/563, Spring 2005

HOMEWORK #6 Answers

Translating English
into a First-Order Language

Last Update: 1 March 2005

Note: NEW or UPDATED material is highlighted


Provide an FOL syntax and semantics...

0-Place Functions (i.e., constants):

1-Place Predicates:

2-Place Predicates:

3-Place Predicate:


...to represent the following English sentences, and then represent them:

  1. Not all students take both Computer Science and Philosophy.

  2. Only one student failed Computer Science.

  3. Only one student failed both Computer Science and Philosophy.

  4. The best score in Computer Science was better than the best score in Philosophy.

  5. Every person who dislikes all computer scientists is smart.

  6. No person likes a smart computer scientist.

  7. There is a woman who likes all men who are not computer scientists.

  8. There is a barber who shaves all men in town who do not shave themselves.

  9. No person likes a professor unless the professor is smart.

  10. Politicians can fool some of the people all of the time, and they can fool all of the people some of the time, but they can't fool all of the people all of the time.




Copyright © 2005 by William J. Rapaport (rapaport@cse.buffalo.edu)
file: 563S05/hw06-answers-2005-03-01.html