SOLUTION: 1. N⊃(∼R⊃C) 2. ∼C / ∼R ⊃ ∼N

Question 1140109: 1. N⊃(∼R⊃C)
2. ∼C
/ ∼R ⊃ ∼N
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

 1. N⊃(∼R⊃C) 
 2. ∼C  
                / ∼R ⊃ ∼N     

 3. N⊃(~∼R∨C)      1, material implication
 4. N⊃(R∨C)        3, double negation
 5. ~N∨(R∨C)        4, material implication
 6. (~N∨R)∨C        5, assiation
 7. C∨(~N∨R)        6, commutation
 8. ~N∨R            7,2, disjunctive syllogism
 9. R∨~N            8, commutation
10. ~~R∨~N          9, double negation
11. ~R⊃~N          10, material implication

Edwin

RELATED QUESTIONS
Show that: n C r = [(n-2) C r] + 2[(n-2) C (r-1)] + [(n-2) C (r-2)] (answered by Edwin McCravy)

prove that C(n,r) + C(n-1,r) + C(n-2, r) +.......+ C(r,r) =... (answered by robertb)

prove that C(n , r) + C(n , r-1) = C(n+1 ,... (answered by ikleyn)

prove that:... (answered by venugopalramana)

Show that r(nCr) = n[(n-1)C(r-1)] (answered by Edwin McCravy)

Proof that ncr=(n/n-r)(n-1 c r) Proof that n(n-1 c r) = (r+1) (n c... (answered by math_helper)

n! / r! =... (answered by edjones)

simplify (n-1)C(r-1) +... (answered by richard1234)

P=r-c/n, solve for... (answered by harpazo)

Use an ordinary proof to show the conclusion can be derived from the premises. 1. ~N... (answered by robertb)