SOLUTION: A → (B → C) ├ (B & A) → C

Algebra ->  Proofs -> SOLUTION: A → (B → C) ├ (B & A) → C      Log On


   

Question 1139330: A → (B → C) ├ (B & A) → C
Found 2 solutions by ichudov, Edwin McCravy:
Answer by ichudov(507) About Me  (Show Source):
You can put this solution on YOUR website!
What is your question?

Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
 1. A → (B → C)

 2. ~A ∨ (B → C)       1, Material implication
 3. ~A ∨ (~B ∨ C)      2, Material implication
 4. (~A ∨ ~B) ∨ C      3, Association
 5. ~(A & B) ∨ C       4, deMorgan's law
 6. (A & B) → C        5, Material implication
 7. (B & A) → C        6, Commutation

Edwin