[Lógica] Dúvida sobre hipótese e conclusão
Enviado: Dom Abr 23, 2017 12:57
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 é uma hipótese. E por que a conclusão é B e não (A -> B)?
Segue outras dúvidas na imagem:
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 é uma hipótese. E por que a conclusão é B e não (A -> B)?
Segue outras dúvidas na imagem: