[P ۷ (P ۸ Q)] → R
By the definition of conditional statements on page 6, using the Commutativity Law, the hypothesis is equivalent to (q ∨ ¬p) ∨ (¬p ∨ r). ... This means that the conditional from the second-to-last column the last column is always true (T).
Comments
Leave a comment