Which of the following options is the correct form of the implication law?
2025
Which of the following options is the correct form of the implication law?
- A.
p → q ≡ ¬p ∨ q
- B.
p → q ≡ p ∨ q
- C.
p → q ≡ ¬p ∧ q
- D.
p → q ≡ ¬(p ∨ q)
Attempted by 53 students.
Show answer & explanation
Correct answer: A
The implication law states that a conditional statement p implies q is logically equivalent to not p or q. This equivalence holds because the only case where an implication is false is when the hypothesis is true and the conclusion is false. This fundamental identity allows simplifying logical expressions involving conditional operators.