In propositional logic , which of the following is equivalent to p → q?
Answer: B
Correct answer: ~p v q
This is the definition of material implication: \( p \to q \) is false only when p is true and q false, which is exactly when \( \lnot p \lor q \) is false. The equivalence is what allows implications to be eliminated from a formula so that De Morgan’s laws and distribution can be applied.
Please log in or register to report this question.