1. (∃x)Qx ⊃ (∀x)(Rx ⊃ Sx)
2. (∀x)∼Qx ⊃ (∃x)Sx
3. (∀x)Rx / (∃x)Sx
-Which of the following propositions is not a likely last line of the indented sequence for an indirect proof of the given argument?
A) Rx • ∼Rx
B) Qx • ∼Qx
C) Rb • ∼Rb
D) Qb • ∼Qb
E) Sx • ∼Sx

Question

Quizplus · Accepted Answer

The Answer of 1. (∃x)Qx ⊃ (∀x)(Rx ⊃ Sx)
2. (∀x)∼Qx ⊃ (∃x)Sx
3. (∀x)Rx / (∃x)Sx
-Which of the following propositions is not a likely last line of the indented sequence for an indirect proof of the given argument?
A) Rx • ∼Rx
B) Qx • ∼Qx
C) Rb • ∼Rb
D) Qb • ∼Qb
E) Sx • ∼Sx

1. (∃X)Qx ⊃ (∀X)(Rx ⊃ Sx)