AI Tutor
Back to Semantic concepts

Exercise C

Avg difficulty 3.0

Use truth tables to determine whether each argument is valid or invalid.

  1. A→A∴AA\rightarrow A\therefore A

  2. A→(A∧¬A)∴¬AA\rightarrow(A\wedge\neg A)\therefore\neg A

  3. A∨(B→A)∴¬A→¬BA\vee(B\rightarrow A)\therefore\neg A\rightarrow\neg B

  4. A∨B,B∨C,¬A∴B∧CA\vee B,B\vee C,\neg A\therefore B\wedge C

  5. (B∧A)→C,(C∧A)→B∴(C∧B)→A(B\wedge A)\rightarrow C,(C\wedge A)\rightarrow B\therefore(C\wedge B)\rightarrow A

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

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.