SOLUTION: Please solve using natural deduction (only rules of implication + rules of replacement). Thx! 1. A ⊃ U / A ⊃ (K ⊃ U)

Algebra.Com
Question 1029805: Please solve using natural deduction (only rules of implication + rules of replacement). Thx!
1. A ⊃ U
/ A ⊃ (K ⊃ U)

Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!

This one involves material implication 
P ⊃ Q is equivalent to ~P v Q


1. A ⊃ U
           / A ⊃ (K ⊃ U)

2. ~A v U           1, Material implication
3. ~A v (U v ~K)    2, Addition  
4. ~A v (~K v U)    3, Commutation
5. A ⊃ (~K v U)     4, Material implication
6. A ⊃ (K ⊃ U)      5, Material implication

Edwin
RELATED QUESTIONS

Solve the following proof using natural deduction (rules of replacement and rules of... (answered by robertb)
Please complete the following natural deduction proof. 1. A ⊃ U / A ⊃ (K (answered by robertb)
Looking for a logical proof help using rules of implication! Thank you! 

1. (S  (answered by solver91311)

Proof using rules of replacement. Thanks for your help.

1.  G · K

2. K ⊃ E

 (answered by Edwin McCravy)

Proof using rules of implication and replacement. 

1. T v S

2. ~T

3. (S v S)... (answered by Edwin McCravy)

Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)

I need to somehow get ~K as the conclusion, using natural deduction (This means the 18... (answered by Edwin McCravy)

 Please answer using the 1st eight rules of formal logic
 1. N ⊃ (D • W)
 2. D... (answered by jim_thompson5910)

I need to somehow get "R ≡ ∼Q" as the conclusion, using natural deduction... (answered by Edwin McCravy)