Given the argument: B ∨ M / B ∨ ∼ K // (K ∨ ∼ M) ⊃ B This argument is: A) Invalid; fails in 3^rd line. B) Invalid; fails in 2^nd line. C) Invalid; fails in 1^st line. D) Invalid; fails in 4^th line. E) Valid.

Question

Quizplus · Accepted Answer

The argument is valid because it correctly applies the rules of logical inference. Given B ∨ M (either B is true or M is true) and B ∨ ∼K (either B is true or K is not true), it logically follows that (K ∨ ∼M) ⊃ B (if K is true or M is not true, then B must be true). This is because if K were true and M were not true, for the initial premises to hold, B must be true, satisfying the conclusion's condition.

Given the Argument: B ∨ M / B ∨ ∼