1. (∀x)(Jx ⊃ Kx)
2. (∀x)(Jx ⊃ ∼Lx)
-Consider assuming 'Jx' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in M of the given premises with that further assumption for conditional proof?
A) Kx
B) ∼Lx
C) (∀x)Jx
D) Jx ⊃ Kx
E) Ja ⊃ ∼Lx

Question

Quizplus · Accepted Answer

The Answer of 1. (∀x)(Jx ⊃ Kx)
2. (∀x)(Jx ⊃ ∼Lx)
-Consider assuming 'Jx' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in M of the given premises with that further assumption for conditional proof?
A) Kx
B) ∼Lx
C) (∀x)Jx
D) Jx ⊃ Kx
E) Ja ⊃ ∼Lx

1. (∀X)(Jx ⊃ Kx)