Solutions to Homework #9, Problems 23-29

Problem 11. Translate the following into FOL as best you can. Explain any predicates and function symbols you use, and any shortcomings in your first-order translations. 1. If Abe can fool Stephen, surely he can fool Ulysses. English FOL Names: Abe. Stephen. Ulysses. Predicates: x fools y Abe. Stephen. Ulysses. Fools(x, y) Fools(Abe, Stephen ... ................
................