derive the conclusions of each of the following arguments using the rules of inference for M, including conditional or indirect proof.
-1. (∀x)(Jx ⊃ Kx)
2. (∀x)(Jx ⊃ ∼Lx) / (∀x)[Jx ⊃ (Kx • ∼Lx)]

Question

Quizplus · Accepted Answer

The Answer of derive the conclusions of each of the following arguments using the rules of inference for M, including conditional or indirect proof.
-1. (∀x)(Jx ⊃ Kx)
2. (∀x)(Jx ⊃ ∼Lx) / (∀x)[Jx ⊃ (Kx • ∼Lx)]

Derive the Conclusions of Each of the Following Arguments Using