Diferencia entre revisiones de «Deducción natural»

No hay cambio en el tamaño ,  hace 10 años
m
| 15 || <math>\phi \or \psi \,</math> || Supuesto.
|-
| 16 || <math>\psi \,</math> || <math>E \or \quad 12,13,15</math>
|-
| 17 || <math>\perp \,</math> || <math>I \and \quad 14,16</math>
20 727

ediciones