1. F ≡ (G • ∼H)
2. G ≡ (I $ \lor $ H)
3. I ⊃ ∼F / ∼F
-Which of the following propositions is an appropriate assumption for an indirect proof of the conclusion of the given argument?
A) F
B) ∼F
C) I
D) F $ \lor $ G
E) F • G

Question

Quizplus · Accepted Answer

In an indirect proof (also known as proof by contradiction), you assume the opposite of what you're trying to prove and show that this assumption leads to a contradiction. Since the conclusion to be proven is ∼F, the appropriate assumption for an indirect proof is F (A).

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