1. (∀x)Ix $ \lor $ ∼(∃x)Hx
2. (∃x)Jx ⊃ ∼(∀x)Ix
3. Hc / (∀x)∼Jx
-Which of the following propositions is an appropriate assumption for an indirect proof of the conclusion of the given argument?
A) Jx
B) (∀x)∼Jx
C) ∼(∀x)∼Jx
D) ∼(∀x)Jx
E) (∀x)Jx

Question

Quizplus · Accepted Answer

To prove the conclusion (∀x)∼Jx indirectly, we assume the negation of the conclusion, which is ∼(∀x)∼Jx. This assumption allows us to derive a contradiction, thereby supporting the original conclusion through reductio ad absurdum.

1 (∀X)Ix ∨ \lor ∨ ∼(∃X)Hx 2

1 (∀X)Ix $\lor$ ∼(∃X)Hx
2