Show that each of these conditional statements is a tautology
by using truth tables.
a) [¬p ∧ (p ∨ q)] → q
b) [(p → q) ∧ (q → r)] → (p → r)
c) [p ∧ (p → q)] → q
d) [(p ∨ q) ∧ (p → r) ∧ (q → r)] → r
The truth table shows that is a tautology
The truth table shows that is a tautology
The truth table shows that is a tautology
The truth table shows that is a tautology
Comments
Leave a comment