SOLUTION: Please answer using the 1st eight rules of formal logic 1. N ⊃ (D • W) 2. D ⊃ K 3. N / N • K

Algebra.Com
Question 884149: Please answer using the 1st eight rules of formal logic
1. N ⊃ (D • W)
2. D ⊃ K
3. N / N • K
Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
I'm going to use "->" in place of the horseshoe symbol.
I'm going to use "&" in place of the dot 

1.  N -> (D & W)
2.  D -> K
3.  N                 / N & K
-------------------------------------------------------
4.  D & W                  1,3   Modus Ponens
5.  D                      4     Simplification
6.  K                      2,5   Modus Ponens
7.  N & K                  3,6   Conjunction

RELATED QUESTIONS

Could you please help me? Im sick with a bug and cant think straight :/ A) 1. A ⊃ (answered by solver91311)
COMPLETE THE FOLLOWING PROOFS USING CONDITIONAL PROOF Premises: 1. G ⊃ (E... (answered by robertb)
Proof using rules of replacement. Thanks for your help. 1. G · K 2. K ⊃ E (answered by Edwin McCravy)
construct a formal proof of validity for the following argument. 1. (M ⊃ N)... (answered by Edwin McCravy)
Please help me create this proof using the 18 rules of inference. I have been working on... (answered by jim_thompson5910)
I am preparing for my final and am stuck studying on this problem. Please help me by... (answered by Edwin McCravy)
Please solve using natural deduction (only rules of implication + rules of replacement).... (answered by Edwin McCravy)
Solve the following proof using natural deduction (rules of replacement and rules of... (answered by robertb)
How do I complete the following proofs? Premises: 1. L ⊃ M 2. L 3. K v Q... (answered by Edwin McCravy)