1. (∀x)(Jx ⊃ Kx)
2. (∀x)(Jx ⊃ ∼Lx)
-Which of the following propositions is derivable in M from the given premises?
A) (∀x)[Lx ⊃ (Kx ⊃ Jx)]
B) (∀x)[Kx ⊃ (Jx • Lx)]
C) (∀x)[Jx ⊃ (Kx • Lx)]
D) Kx • ∼Lx
E) (∀x)[Jx ⊃ (Kx • ∼Lx)]

Question

Quizplus · Accepted Answer

From the premises, it's clear that for all x, if Jx then Kx, and if Jx then not Lx. This directly leads to the conclusion that for all x, if Jx, then both Kx and not Lx, which is what option E states.

1. (∀X)(Jx ⊃ Kx)