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 { A } \supset \mathrm { B } ) \cdot ( \sim \mathrm { E } \vee \mathrm { G } ) \\\underline{( \mathrm { C } \equiv \sim \mathrm { D } ) \vee ( \mathrm { F } \bullet \sim \mathrm { G } ) } \\{ [ ( \mathrm { A } \supset \mathrm { B } ) \cdot ( \sim \mathrm { E } \vee \mathrm { G } ) ] \cdot [ ( \mathrm { C } \equiv \sim \mathrm { D } ) \vee ( \mathrm { F } \cdot \sim \mathrm { G } ) ] }\end{array}$

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