The Game of Logic

Taking "nations" as Universe; x="civilised"; y="warlike";

  1. No uncivilised nation is warlike.
  2. All unwarlike nations are uncivilised.
  3. Some nations are unwarlike.
  4. All warlike nations are civilised, and all civilised nations are warlike.
  5. No nation is uncivilised.

Taking "crocodiles" as Universe; x="hungry"; and y="amiable";

  1. All hungry crocodiles are unamiable.
  2. No crocodiles are amiable when hungry.
  3. Some crocodiles, when not hungry, are amiable; but some are not.
  4. No crocodiles are amiable, and some are hungry.
← Page-86 p.87 Page-88 →