SOLUTION: Use indirect proof (IP) together with the eight rules of implication and ten rules of replacement to prove that they are valid. Be sure to include the justification for each line,
Algebra ->
Proofs
-> SOLUTION: Use indirect proof (IP) together with the eight rules of implication and ten rules of replacement to prove that they are valid. Be sure to include the justification for each line,
Log On
Question 1204702: Use indirect proof (IP) together with the eight rules of implication and ten rules of replacement to prove that they are valid. Be sure to include the justification for each line, and offset lines as appropriate for indirect proof.
1. C ⊃ (N • I)
2. (N v P) ⊃ (I ⊃ ~C) /~C
You can put this solution on YOUR website!
The conclusion is ~C
With indirect proofs, or proofs by contradiction, we assume the opposite of the conclusion is the case. Then we show some contradiction arises from this assumption. Thereby proving the original conclusion to be the case.
(