SOLUTION: Use Indirect Proof to solve the following argument. 1. (C v R) ⊃ (N • I) 2. (N v P) ⊃ (I ⊃ ~C) /~C

Algebra.Com
Question 1179981: Use Indirect Proof to solve the following argument.
1. (C v R) ⊃ (N • I)
2. (N v P) ⊃ (I ⊃ ~C) /~C
Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!
1. (C v R) ⊃ (N • I)
2. (N v P) ⊃ (I ⊃ ~C)    /~C

             | 3.  ~~C       AIP
             | 4.  C         3, double negation
             | 5.  C v R     4, addition
             | 6.  N • I     1,5, modus ponens
             | 7.  N         6, simplification
             | 8.  N v P     7, addition
             | 9.  I ⊃ ~C   2,8, modus ponens
             |10.  I • N     6, commutation
             |11.  I         10, simplification
             |12.  ~C        9,11, modus ponens
             |13.  C • ~C    4,12, conjunction
14. ~C        Lines 3-13     IP

Edwin
RELATED QUESTIONS

I. Use an ordinary proof (not conditional or indirect) to solve the following arguments. (answered by CPhill)
Use an ordinary proof (not conditional or indirect) to solve the following arguments. (answered by RBryant)
Use indirect proof (IP) together with the eight rules of implication and ten rules of... (answered by math_tutor2020)
Use Indirect Proof to solve the following argument (E v F) ⊃ (C • D) (D v G) ⊃ (answered by jim_thompson5910,Edwin McCravy)
Complete the following proofs using the Conditional Proof method. 1) 1. ~(P ∙... (answered by solver91311)
can i have help solving these proofs a regular proof to derive the conclusion of the... (answered by jim_thompson5910)
Use an ordinary proof (not conditional or indirect) to solve the following arguments... (answered by Edwin McCravy)
III. Use Indirect Proof to solve the following arguments (K v L) ⊃ (M • N) (N v... (answered by jim_thompson5910)
Can i please have help solving these proofs? Use an ordinary proof (not conditional or... (answered by jim_thompson5910)