SOLUTION: solve the proof: A ● ~A ∴ B

Algebra ->  Proofs -> SOLUTION: solve the proof: A ● ~A ∴ B      Log On


   

Question 1140648: solve the proof:
A ● ~A ∴ B
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!

1.  A ● ~A   ∴ B
2.  A             1, simplification
3.  A v B         2, addition
4. ~A ● A         1, commutation
5. ~A             4, simplification
6. (A v B) ● ~A   3,5, conjunction
7.  B             6, disjunctive syllogism

Edwin