Skip to content

Latest commit

 

History

History
16 lines (8 loc) · 370 Bytes

question.md

File metadata and controls

16 lines (8 loc) · 370 Bytes
Raw

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.