Print this chapterPrint this chapter

Relationships in Truth Statements

Exercise

Construct a truth table to determine whether the following statements are tautologies, contradictions or contingent statements.

  1. A ⊃ (A ⋅ B)
  2. (A ⋅ B) ⊃ (~A ⊃ ~B)
  3. (A ⋅ ~A) ⊃ B
  4. (A ⊃ A) ⊃ (B ⋅ ~B)
  5. (A ⋅ B) ⊃ (A v B)
  6. (A v B) ⊃ (A ⋅ B)
  7. (~A ⊃ ~B) ⊃ (~B ⊃ ~A)
  8. (A ⊃ B) ⊃ (~B ⊃ ~A)
  9. (B v ~B) ⊃ A
  10. (A v B) v ~A