Exercise 2 – Logic

Construct a truth table for each of the following propositions. Identify if it is a tautology, contradiction, or
contingency. Use the table provided below.

1. [ p ∧ ( p ∨ q ) ] → q = Tautology 3. [ ( p ∨q ) ∧r ] → [ ( p ∧ r ) ∨ q ] = Tautology
2. q ∧ [∼ ( p → q ) ] = Contradiction 4. ( p →q ) ∧ ( q → r )= Contingency

*red letters are the final answer

p q [ p ∧ ( p ∨ q) ] → q
T T F F T T T T T
T F F F T T F T F
F F T F F F F T F
F T T F F T T T T

p q q ∧ [∼ ( p → q ) ]
T T T F F T T T
T F F F T T F F
F F F F F F T F
F T T F F F T T

p q r [ ( p ∨q ) ∧r ] → [ ( p ∧ r ) ∨ q ]
T T T T T T T T T T T T T T
T F T T T F T T T T T T T F
T F F T T F F F T T F F F F
T T F T T T F F T T F F T T
F F F F F F F F T F F F F F
F T T F T T T T T F F T T T
F F T F F F F T T F F T F F
F T F F T T F F T F F F T T

p q r ( p →q ) ∧ ( q → r )
T T T T T T T T T T
T F T T F F F F T T
T F F T F F F F T F
T T F T T T F T F F
F F F F T F T F T F
F T T F T T T T T F
F F T F T F T F T T
F T F F T T T T T F