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

Question

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

Quizplus · Accepted Answer

The rule used is Addition (Add), which allows one to add any statement to an existing statement with a disjunction (OR, $\cup$).

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