K ∨ ∼B B
K
A) DA-invalid.
B) Invalid.
C) MT-valid.
D) DS-valid.
E) MP-valid.

Name: K ∨ ∼B B K A) DA-invalid. B) Invalid. C) MT-valid. D) DS-valid. E) MP-valid.
Brand: Quizplus
Rating: 4.8 (38 reviews)

Question

Quizplus · Accepted Answer

The given premises are K ∨ ∼B and B. From the first premise, we can use disjunctive syllogism (DS) to derive ∼B. Then, from the second premise, we can use modus ponens (MP) to derive K. Thus, the conclusion is valid according to DS and MP, making choice D the correct answer.