Exercise 9.7 [fol-horses-exercise]

Write down logical representations for the following sentences, suitable for use with Generalized Modus Ponens:

  1. Horses, cows, and pigs are mammals.

  2. An offspring of a horse is a horse.

  3. Bluebeard is a horse.

  4. Bluebeard is Charlie’s parent.

  5. Offspring and parent are inverse relations.

  6. Every mammal has a parent.

View Answer