Which rule is used in the following inference? $$\begin{array} { l }
( \mathrm { D } \vee \sim \mathrm { E } ) \supset \mathrm { F } \
\mathrm { F } \supset ( \mathrm { G } \cdot \mathrm { H } ) \
( \mathrm { D } \vee \sim \mathrm { E } ) \supset ( \mathrm { G } \cdot \mathrm { H } )
\end{array}$$

Question

Which rule is used in the following inference? $$\begin{array} { l } 
( \mathrm { D } \vee \sim \mathrm { E } ) \supset \mathrm { F } \
\mathrm { F } \supset ( \mathrm { G } \cdot \mathrm { H } ) \
( \mathrm { D } \vee \sim \mathrm { E } ) \supset ( \mathrm { G } \cdot \mathrm { H } )
\end{array}$$

Quizplus · Accepted Answer

The rule used in the given inference is Hypothetical Syllogism (HS), which allows one to infer $C$ from $A \supset B$ and $B \supset C$. Here, $A$ is $(D \vee \sim E)$, $B$ is $F$, and $C$ is $(G \cdot H)$.

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