The following argument is an instance of one of the five inference forms MP, MT, HS, DS, Conj.Identify the form. $\begin{array} { l }
( \mathrm { K } \equiv \mathrm { N } ) \cup ( \mathrm { O } \cdot \mathrm { W } ) \
\frac {\sim ( \mathrm { O } \cdot \mathrm { W } ) } { ( \mathrm { K } \equiv \mathrm { N } ) }
\end{array}$

Question

The following argument is an instance of one of the five inference forms MP, MT, HS, DS, Conj.Identify the form. $\begin{array} { l } 
( \mathrm { K } \equiv \mathrm { N } ) \cup ( \mathrm { O } \cdot \mathrm { W } ) \
\frac {\sim ( \mathrm { O } \cdot \mathrm { W } ) } { ( \mathrm { K } \equiv \mathrm { N } ) }
\end{array}$

Quizplus · Accepted Answer

This argument is an instance of Disjunctive Syllogism (DS). DS involves a disjunction ($P \cup Q$) and the negation of one of its disjuncts ($\sim P$ or $\sim Q$), to conclude the other disjunct ($Q$ or $P$, respectively). Here, the premise is a disjunction ($K \equiv N$ $\cup$ $O \cdot W$), and the negation of one of the disjuncts ($\sim (O \cdot W)$) is given, leading to the conclusion of the other disjunct ($K \equiv N$).

The Following Argument Is an Instance of One of the Five