1. (∃x)(Ax • Bx) ⊃ (∀x)Dx
2. ∼Da
-Which of the following propositions is derivable from the given premises in M?
A) (∀x)(Ax • Dx)
B) (∃x)(Ax • Dx)
C) (∀x)(Ax ⊃ Bx)
D) (∀x)(Ax ⊃ ∼Bx)
E) ∼(∃x)Dx

Question

Quizplus · Accepted Answer

The Answer of 1. (∃x)(Ax • Bx) ⊃ (∀x)Dx
2. ∼Da
-Which of the following propositions is derivable from the given premises in M?
A) (∀x)(Ax • Dx)
B) (∃x)(Ax • Dx)
C) (∀x)(Ax ⊃ Bx)
D) (∀x)(Ax ⊃ ∼Bx)
E) ∼(∃x)Dx

1. (∃X)(Ax • Bx) ⊃ (∀X)Dx