Everything is material, or ideal or transcendental. All atoms are not ideal and not transcendental. And nothing is material. So there are no atoms.
-Which of the following propositions is a good assumption for indirect proof for the above argument?
A) ∼(∃x)Ax
B) (∃x)Ax
C) ∼(∀x)Ax
D) (∀x)Ax
E) (∀x)∼Ax

Question

Quizplus · Accepted Answer

The argument concludes that there are no atoms based on the premises given. For an indirect proof, we assume the opposite of what we want to prove and show that it leads to a contradiction. Here, assuming that there exists at least one atom (∃x)Ax is the opposite of the conclusion that there are no atoms, making it a good starting point for an indirect proof.

Everything Is Material, or Ideal or Transcendental