Back to Connectives

Exercise A

Avg difficulty 3.0

Using the symbolization key given, symbolize each English sentence in TFL.

  • MM:

    Those creatures are men in suits

  • CC:

    Those creatures are chimpanzees

  • GG:

    Those creatures are gorillas

  1. Those creatures are not men in suits.

  2. Those creatures are men in suits, or they are not.

  3. Those creatures are either gorillas or chimpanzees.

  4. Those creatures are neither gorillas nor chimpanzees.

  5. If those creatures are chimpanzees, then they are neither gorillas nor men in suits.

  6. Unless those creatures are men in suits, they are either chimpanzees or they are gorillas.

Magnus et al., forall x: Calgary, Truth-functional logic, Connectives, Exercise A

AI Tutor

Adapted from forall x: Calgary © 2025 P. D. Magnus, Tim Button, Robert Trueman, and Richard Zach. Licensed under CC BY 4.0. Source: forall x: Calgary. Imported at revision ec34df8.