534,048 views
13 votes
13 votes
Is p→q≡∼p∨q true or false?

User Eypros
by
3.0k points

1 Answer

10 votes
10 votes

Show that (p → q) ∨ (p → r) and p → (q ∨ r) are logically equivalent. By the definition of conditional statements on page 6, using the Com- mutativity 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).

User Randomal
by
2.8k points