1. (∀x)(Ax ⊃ Bx)
2. (∃x)Ax
3. (∃x)Bx ⊃ (∃x)Dx
-Which of the following propositions is an immediate (one-step) consequence in M of the given premises?
A) Ax
B) Bx ⊃ Dx
C) Ba ⊃ Da
D) Ax ⊃ Bx
E) Ba

Question

Quizplus · Accepted Answer

From premise 1, we know that if something is A, then it is B. Thus, if there exists something that is A (premise 2), then we know that it must also be B. This can be written as Ax ⊃ Bx, which is answer choice D. None of the other answer choices can be immediately derived from the given premises.

1. (∀X)(Ax ⊃ Bx)