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

Multiple Choice

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}$$

A) Simp
B) Conj
C) Add
D) DS
E) HS