Este é o exemplo 15 do livro da Judith seguido de sua resolução: Use lógica proposicional para provar [A -> (A -> B)] -> (A -> B) Usando o método dedutivo, temos duas hipóteses ao invés de uma e queremos obter B . 1. A -> (A -> B) hip 2. A hip 3. A -> B 1,2, mp 4. B 2,3, mp Eu não entendo porquê A é...