1. p → q →. p → q
Por reflexividad de →
2. p → q → p →. p → q → q
Lema 2, 1
3. p →. p → q → p →. p → q. → q
Lema 1, 2
4. p → [p → q → p] →. p → .p → q. → q
Lema 2, 3
5. p → .p → q → q
Modus Ponens 1 y 4
Esta fórmulas, una vez restaurados los paréntesis, se escribe: [p → [[p → q] → q]].
No hay comentarios:
Publicar un comentario