Which of the following is an instance of the rule of disjunctive syllogism?
A) (~p ν ~q), ~p \ ~q
B) (~p v ~q), ~~p \ ~q
C) ~(p ν ~q), p \ ~~q
D) ~(p ν q), ~p \ ~q)

Question

Quizplus · Accepted Answer

Disjunctive syllogism is a valid argument form that states if you have a disjunction (A or B) and the negation of one of the disjuncts, you can conclude the other disjunct. In choice B, (~p v ~q) is the disjunction, and ~~p (which is equivalent to p) is the negation of one disjunct, allowing us to conclude ~q.

Which of the Following Is an Instance of the Rule