derive the conclusions of each of the following arguments using the rules of inference for M. Do not use conditional or indirect proof.
-1. (∀x)(Cx ⊃ Dx)
2. (∀x)(Ex ⊃ ∼Dx) / (∀x)(Ex ⊃ ∼Cx)

Question

Quizplus · Accepted Answer

The Answer of derive the conclusions of each of the following arguments using the rules of inference for M. Do not use conditional or indirect proof.
-1. (∀x)(Cx ⊃ Dx)
2. (∀x)(Ex ⊃ ∼Dx) / (∀x)(Ex ⊃ ∼Cx)

Derive the Conclusions of Each of the Following Arguments Using