Which rule is used in the following inference? $$\begin{array} { l }
{ [ ( Z \supset Y ) \cup ( Z \supset Y ) ] \supset [ \sim ( \sim A \cdot Z ) \supset ( \mathrm { X } \equiv Y ) ] } \
( Z \supset Y ) \cup ( Z \supset Y ) \
\sim ( \sim A \cdot \sim ) \supset ( \mathrm { X } \equiv Y )
\end{array}$$

Question

Which rule is used in the following inference? $$\begin{array} { l } 
{ [ ( Z \supset Y ) \cup ( Z \supset Y ) ] \supset [ \sim ( \sim A \cdot Z ) \supset ( \mathrm { X } \equiv Y ) ] } \
( Z \supset Y ) \cup ( Z \supset Y ) \
\sim ( \sim A \cdot \sim ) \supset ( \mathrm { X } \equiv Y )
\end{array}$$

Quizplus · Accepted Answer

The rule used in the inference is Modus Ponens (MP), which allows one to infer the consequent of a conditional statement if its antecedent is given as true. Here, the antecedent $( Z \supset Y ) \cup ( Z \supset Y )$ is given as true, and thus the consequent $\sim ( \sim A \cdot Z ) \supset ( \mathrm { X } \equiv Y )$ is inferred.

Which Rule Is Used in the Following Inference A)HS B)MP C)MT D)CD E)DD

Which Rule Is Used in the Following Inference A)HS
B)MP
C)MT
D)CD
E)DD