|
Use truth tables to verify that each of the following is a logical implication.
(a) [(p → q) ∧ (q → r)] → (p → r)
(b) [(p → q) ∧ ¬ q] → ¬p
(c) [(p ∨ q) ∧ → ¬q] → ¬ q
(d) [(p → r) ∧ (q → r)] → [(p ∨ q) → r] |
| New search. (Also 1294 free access solutions) |