(P $ \lor $ Q) $ \lor $ (∼P • ∼Q)
-Which of the following propositions is an appropriate assumption for an indirect proof of the given logical truth?
A) (P $ \lor $ Q) $ \lor $ (∼P • ∼Q)
B) ∼[(P $ \lor $ Q) $ \lor $ (∼P • ∼Q)]
C) ∼(P $ \lor $ Q)
D) P $ \lor $ Q
E) ∼(P $ \lor $ Q) $ \lor $ ∼(∼P • ∼Q)

Question

Quizplus · Accepted Answer

For an indirect proof, you assume the negation of the statement you're trying to prove and show that this assumption leads to a contradiction. Therefore, the appropriate assumption for an indirect proof of the given logical truth (P $ \lor $ Q) $ \lor $ (∼P • ∼Q) is its negation, which is option B: ∼[(P $ \lor $ Q) $ \lor $ (∼P • ∼Q)].

(P ∨ \lor ∨ Q) ∨ \lor ∨ (∼P • ∼Q) -Which of the Following Propositions Is an ∼Q)

(P $\lor$ Q) $\lor$ (∼P • ∼Q)
-Which of the Following Propositions Is an ∼Q)