Diferencia entre revisiones de «Deducción natural»
Contenido eliminado Contenido añadido
mSin resumen de edición |
|||
Línea 144:
|align="left"|Eliminación del [[cuantificador existencial]]
|<math>E \exists \,</math>
|<math>\frac{\exists \phi} {\phi(x/a)}</math>
|<math>\exist \phi \vdash \phi(x/a)</math>
|}
| |||