1. F ≡ (G • ∼H)
2. G ≡ (I $ \lor $ H)
3. I ⊃ ∼F / ∼F
-Which of the following propositions is a likely last line of the indented sequence for an indirect proof of the given argument?
A) F • ∼F
B) G • ∼G
C) H • ∼H
D) All of the above
E) Options A and B, but not option C

Question

Quizplus · Accepted Answer

The correct answer is D because all of the propositions are contradictions, which is the goal of an indirect proof.

1 F ≡ (G • ∼H) 2 ∨ \lor ∨ H) 3 I ⊃ ∼F / ∼F -Which of the Following

1 F ≡ (G • ∼H)
2 $\lor$ H)
3 I ⊃ ∼F / ∼F
-Which of the Following