Edición de «Final del 23/10/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 1: | Línea 1: | ||
=Ejercicio 1= | =Ejercicio 1= | ||
Dadas <math>\alpha</math> y <math>\beta</math> fórmulas proposicionales que no comparten variables, demostrar que si <math>\alpha \ | Dadas <math>\alpha</math> y <math>\beta</math> fórmulas proposicionales que no comparten variables, demostrar que si <math>\alpha \wedge \beta</math> es una tautología, <math>\alpha</math> es una tautología o <math>\beta</math> es una tautología. | ||
=Ejercicio 2= | =Ejercicio 2= |