∼S ⊃ ∼F
A) MP-valid.
B) DS-invalid.
C) DA-invalid.
D) MT-valid.
E) DS-valid.

Name: ∼S ⊃ ∼F A) MP-valid. B) DS-invalid. C) DA-invalid. D) MT-valid. E) DS-valid.
Brand: Quizplus
Rating: 4.8 (32 reviews)

Question

∼S ⊃ ∼F 
A) MP-valid. 
B) DS-invalid. 
C) DA-invalid. 
D) MT-valid. 
E) DS-valid.

Quizplus · Accepted Answer

This is a direct application of the material implication rule (MT), which states that if P implies Q, then not Q implies not P. We can rewrite the conditional statement ∼S ⊃ ∼F as F ⊃ S (using the contrapositive), and then apply MT to obtain the valid deduction F ⊃ S, ∼S ⊢ ∼F.