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 ->  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

Ad: Algebra Solved!™: algebra software solves algebra homework problems with step-by-step help!
Ad: Algebrator™ solves your algebra problems and provides step-by-step explanations!

   

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