Diferencia entre revisiones de «Deducción natural»

85 bytes añadidos ,  hace 9 años
m
m
|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>
|
|}
 
1348

ediciones