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

Question

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

Quizplus · Accepted Answer

The rule used is Disjunctive Syllogism (DS), which allows one to infer one disjunct when the other is false.

Which Rule Is Used in the Following Inference A)Simp B)Conj C)Add D)DS E)HS

Which Rule Is Used in the Following Inference A)Simp
B)Conj
C)Add
D)DS
E)HS