Name the rule of inference P ? q ) ? [ p ? q ) . ( q ? p ) ]
A)Material Implication (Impl)-
B)Transposition (Trans )-
C)Tautology
D)Material Equivalence ( Equiv )-

Question

Quizplus · Accepted Answer

The given rule of inference is Material Equivalence (Equiv), which states that $p \rightarrow q$ is equivalent to $(p \rightarrow q) \cdot (q \rightarrow p)$, meaning if $p$ implies $q$ and $q$ implies $p$, then $p$ is materially equivalent to $q$.

Name the Rule of Inference P ? Q )