SOLUTION: I don't know how to solve this two logic proofs, please help! (A→B)→A ├ A and ├ (A→B) v (A→ ¬B)

Algebra ->  Proofs -> SOLUTION: I don't know how to solve this two logic proofs, please help! (A→B)→A ├ A and ├ (A→B) v (A→ ¬B)      Log On


   

Question 18663: I don't know how to solve this two logic proofs, please help!
(A→B)→A ├ A
and
├ (A→B) v (A→ ¬B)
Answer by khwang(438) About Me  (Show Source):
You can put this solution on YOUR website!
(A→B)→A ├ A
and
├ (A→B) v (A→ ¬B)

Since not everybody are siiting in the same class and using the same
book as you,you should clarify the meaning of your notations and
repost here.
Kenny