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 { H } \supset \mathrm { I } \\( \mathrm { H } \supset \mathrm { I } ) \cup \sim ( \mathrm { K } \supset \mathrm { L } ) \end{array}$

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