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

Algebra.Com
Question 1139330: A → (B → C) ├ (B & A) → C
Found 2 solutions by ichudov, Edwin McCravy:
Answer by ichudov(507)   (Show Source): You can put this solution on YOUR website!
What is your question?
Answer by Edwin McCravy(20054)   (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
RELATED QUESTIONS

(a+b+c)(a-b-c) (answered by vleith)
a!+b!+c!=a*b*c (answered by Edwin McCravy)
(a + b - c)(a + b +... (answered by jim_thompson5910)
(a+b) +c = a+... (answered by tommyt3rd)
s=... (answered by jim_thompson5910)
a ^ ( b ^ c) prove... (answered by Fombitz)
Resolve into factors... (answered by fuckme)
a/b=c for... (answered by checkley71)
A/b=c/d... (answered by checkley77,stanbon)
A=(B/C)SQUARE... (answered by solver91311)