Diferencia entre revisiones de «Deducción natural»

No hay cambio en el tamaño ,  hace 10 años
m
m
| 4 || <math>\perp \,</math> || <math>I \and \quad 1,3 \,</math>
|-
| 5 || <math>\neg \phi \,</math> || <math>I \neg \quad 12-34 \,</math>
|-
| 6 || <math>\psi \,</math> || Supuesto.
20 804

ediciones