1. (∀X)(Px ⊃ Qx)

Multiple Choice

1. (∀x) (Px ⊃ Qx)
2. ∼(∃x) [(Px • Rx) • Qx]
3. (∃x) Rx / ∼(∀x) Px
-Which of the following propositions isnot a likely last line of the indented sequence for an indirect proof of the given argument?

A) Rd • ∼Rd
B) (∃x) (Px • Rx) • ∼(∃x) (Px • Rx)
C) Qd • ∼Qd
D) (∀x) (Px • Rx) • ∼(∀x) (Px • Rx)
E) Pd • ∼Pd