viernes, 16 de agosto de 2013

p →. p → q → q

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: