The following argument is an instance of one of the five inference forms MP, MT, HS, DS, Conj.Identify the form. $∼W⊃D‾D∨S\begin{array} { l } ( W \supset \mathrm { W } ) \cup ( \mathrm { D } \vee \mathrm { S } ) \\\underline{\sim \mathrm { W } \supset \mathrm { D } }\\\mathrm { D } \vee \mathrm { S }\end{array}$

A) MP
B) MT
C) HS
D) DS
E) Conj

Question

The following argument is an instance of one of the five inference forms MP, MT, HS, DS, Conj.Identify the form.

∼W⊃D‾D∨S\begin{array} { l } ( W \supset \mathrm { W } ) \cup ( \mathrm { D } \vee \mathrm { S } ) \\\underline{\sim \mathrm { W } \supset \mathrm { D } }\\\mathrm { D } \vee \mathrm { S }\end{array}

A) MP
B) MT
C) HS
D) DS
E) Conj

Fatima Perez · Accepted Answer

Final Answer : D, Explanation :   The argument is an instance of Disjunctive Syllogism (DS), which allows one to infer one disjunct when the other is denied. Here, the denial of   ∼ W \sim W ∼ W   (not W) leads to the conclusion   D ∨ S D \vee S D ∨ S  .

Definitions

Learning Objectives

Learning Objectives

Related questions