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

Question

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

Quizplus · Accepted Answer

The rule used in the given inference is Disjunctive Syllogism (DS). Disjunctive Syllogism allows one to infer one disjunct from the negation of the other in a disjunction. Here, from the negation of $(E \supset F)$ and the disjunction $[(A \cdot B) \cup (C \supset D)] v (E \supset F)$, it is inferred that $(A \cdot B) \cup (C \supset D)$.

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