O q nao fazia há anos. Essas duas coisas podem ter relação ou nada a ver?
anônima
(A ^ B) -> (A -> B)
1. A ^ B
Hip2. (A ^ B) -> (A -> B) Hip
3. A -> B 1, 2, mp
