SOLUTION: Please complete the following natural deduction proof. 1. A ⊃ U / A ⊃ (K ⊃ U)

Algebra ->  Proofs -> SOLUTION: Please complete the following natural deduction proof. 1. A ⊃ U / A ⊃ (K ⊃ U)       Log On


   

Question 1029581: Please complete the following natural deduction proof.
1. A ⊃ U
/ A ⊃ (K ⊃ U)


Answer by robertb(5830) About Me  (Show Source):
You can put this solution on YOUR website!
1. A ⊃ U ------------------Hypothesis
2. ~A v U -------------------Material implication
3. (~A v U) v (~K) ----------Disjunctive amplification
4. ~A v (U v ~K)-------------Associativity
5. ~A v (~KvU) --------------Commutativity
6. A ⊃ (K ⊃ U) ------------Material implication (twice)