AI Tutor
Back to Sentences of TFL

Exercise A

Avg difficulty 3.0

For each of the following: (a) Is it a sentence of TFL, strictly speaking? (b) Is it a sentence of TFL, allowing for our relaxed bracketing conventions?

  1. (A)(A)

  2. J374∨¬J374J_{374}\vee\neg J_{374}

  3. ¬¬¬¬F\neg\neg\neg\neg F

  4. ¬∧S\neg\wedge S

  5. (G∧¬G)(G\wedge\neg G)

  6. (A→(A∧¬F))∨(D↔E)(A\rightarrow(A\wedge\neg F))\vee(D\leftrightarrow E)

  7. [(Z↔S)→W]∧[J∨X][(Z\leftrightarrow S)\rightarrow W]\wedge[J\vee X]

  8. (F↔¬D→J)∨(C∧D)(F\leftrightarrow\neg D\rightarrow J)\vee(C\wedge D)

Magnus et al., forall x: Calgary, Truth-functional logic, Sentences of TFL, 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.