Edición de «Final del 13/11/18 (Lógica y Computabilidad)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 17: | Línea 17: | ||
<math>((\exists x \alpha \wedge \exists x \beta) \rightarrow (\exists x(\alpha \wedge \exists x \beta)))</math> | <math>((\exists x \alpha \wedge \exists x \beta) \rightarrow (\exists x(\alpha \wedge \exists x \beta)))</math> | ||
Se resuelve usando árbol de refutación. | Se resuelve usando árbol de refutación. | ||