SOLUTION: I.Use an ordinary proof (not conditional or indirect) to solve the following arguments. ~N ⊃ (~R ⊃ C) R ⊃ N ~C /N Thank you!

Question 1157890: I.Use an ordinary proof (not conditional or indirect) to solve the following arguments.
~N ⊃ (~R ⊃ C)
R ⊃ N
~C /N

Thank you!
Answer by Edwin McCravy(20055) (Show Source): You can put this solution on YOUR website!
I.Use an ordinary proof (not conditional or indirect) to solve the following arguments.

 1.  ~N ⊃ (~R ⊃ C)
 2.  R ⊃ N
 3.  ~C                /N 
 
 4. (~N ● ~R) ⊃ C        1, Importation
 5. ~C ⊃ ~(~N ● ~R)      4, Transposition
 6. ~C ⊃ (~~N v ~~R)     5, DeMorgan's law
 7. ~C ⊃ (N v R)         6, Double Negation
 8. N v R                7,3, Modus Ponens
 9. R v N                8, Commutation
10. ~~R v N              9, Double Negation
11. ~R ⊃ N              10, Material Implication
12. R v ~R               Tautology
13. N v N                2,11,12, Constructive Dilemma 
14. N                    13, Tautology

Edwin

RELATED QUESTIONS
Use an ordinary proof (not conditional or indirect) to solve the following arguments. (answered by RBryant)

Use an ordinary proof (not conditional or indirect) to solve the following arguments. (answered by Edwin McCravy)

Use an ordinary proof (not conditional or indirect) to solve the following arguments... (answered by RBryant,Edwin McCravy,math_tutor2020)

Use an ordinary proof (not conditional or indirect proof): 1. ∼N ⊃ (∼R ⊃ C) (answered by math_tutor2020)

I've been stuck on this one for hours, any help would be super appreciated! Use an... (answered by jim_thompson5910)

Use an ordinary proof (not conditional or indirect) to solve the following arguments... (answered by Edwin McCravy)

I. Use an ordinary proof (not conditional or indirect) to solve the following arguments. (answered by CPhill)

Use Indirect Proof to solve the following argument. 1. (C v R) ⊃ (N • I) 2. (N... (answered by Edwin McCravy)

Can i please have help solving these proofs? Use an ordinary proof (not conditional or... (answered by jim_thompson5910)