Machine-translated by Google. Questions are authored in English.
Top

Discussion

In propositional logic , which of the following is equivalent to p → q?

  • A.~p → q
  • B.~p v q
  • C.~p v~ q
  • D.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.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.