(S ⊃ Q) • (∼W ⊃ ∼C)
A) MP-valid.
B) Invalid.
C) DD-valid.
D) CD-valid.
E) DD-invalid.

Name: (S ⊃ Q) • (∼W ⊃ ∼C) A) MP-valid. B) Invalid. C) DD-valid. D) CD-valid. E) DD-invalid.
Brand: Quizplus
Rating: 4.9 (42 reviews)

Question

(S ⊃ Q) • (∼W ⊃ ∼C) 
A) MP-valid. 
B) Invalid. 
C) DD-valid. 
D) CD-valid. 
E) DD-invalid.

Quizplus · Accepted Answer

The argument form is a hypothetical syllogism with antecedent-consequent relationships in both premises. This can be written as:
(P ⊃ Q) 
(R ⊃ S)
-------
(P • ~S) ⊃ (~Q • R)
We can see that this follows the form of a CD-valid argument. Therefore, the correct answer is D.