AI Tutor
Back to Semantic concepts

Exercise D

Avg difficulty 3.0

Determine whether each sentence is a tautology, a contradiction, or a contingent sentence, using a complete truth table.

  1. ¬B∧B\neg B\wedge B

  2. ¬D∨D\neg D\vee D

  3. (A∧B)∨(B∧A)(A\wedge B)\vee(B\wedge A)

  4. ¬[A→(B→A)]\neg[A\rightarrow(B\rightarrow A)]

  5. A↔[A→(B∧¬B)]A\leftrightarrow[A\rightarrow(B\wedge\neg B)]

  6. [(A∧B)↔B]→(A→B)[(A\wedge B)\leftrightarrow B]\rightarrow(A\rightarrow B)

Magnus et al., forall x: Calgary, Truth tables, Semantic concepts, Exercise D

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.