Which of the following is an expression of the rule of material equivalence?
A) (p • (q ν r)) :: ((p • q) ν (p • r))
B) ((p • q) → r) :: (p → (q → r))
C) (p ↔ q) :: ((p → q) • (q → p))
D) (p ν (q • r)) :: ((p • q) ν r)

Question

Quizplus · Accepted Answer

The rule of material equivalence states that a biconditional (p ↔ q) is equivalent to the conjunction of two conditionals: (p → q) and (q → p).

Which of the Following Is an Expression of the Rule