Diferencia entre revisiones de «Lógica proposicional»
Contenido eliminado Contenido añadido
Línea 300:
| 1 || <math>\phi \,</math> || Supuesto.
|-
| 2 || <math>
|-
| 3 || <math>(\phi \or \phi) \and \phi</math> || Desde (1) y (2) por introducción de la conjunción.
|-
| 4 || <math>\phi \,</math> || Desde (3) por eliminación de la conjunción.
|-
| 5 || <math>\phi \vdash \phi</math> || Resumen de (1) hasta (4).
|-
| 6 || <math>\vdash \phi \to \phi</math> || Desde (5) por introducción del condicional. [[Q.E.D.]]
|}
|