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

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