Exercise Bank For Chapter Two: Truth Tables
Exercise Bank For Chapter Two: Truth Tables
Exercises for The Little Logic Book may be downloaded by the instructor as Word documents
and then modified for distribution to students; or students may be instructed to download the
exercises and then told which ones to answer. This is an exercise bank; it is not assumed that
students will do all the exercises for any one chapter. Comments, questions or suggestions for
Chapter Two of The Little Logic Book can be sent to [email protected]
What would you expect to see in the last column of the truth table for:
2.6 a tautology
2.7 a contradiction
2.8 a contingency
2.10 Using truth tables, verify that the logical equivalences listed below are indeed logical
equivalences.
2.10.1 (A→B) ≡ (∼B→ ∼A)
2.10.2 ∼(A ∨ B) ≡ (∼A ∧ ∼B)
2.10.3 ∼(A → B) ≡ (A ∧ ∼B)
3.1 Explain the method of evaluating validity or invalidity of an argument using truth tables.
3.2 Using truth tables, verify that modus tollens is a deductively valid argument form.
3.3 Using truth tables, show that Affirming the Consequent is not a deductively valid argument.