Edición de «Final del 10/09/14 (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 8: | Línea 8: | ||
=Ejercicio 2= | =Ejercicio 2= | ||
<math>L</math> es un lenguaje con igualdad y un predicado binario <math>P</math>. Dada una interpretación con universo en los Naturales y con el predicado < | <math>L</math> es un lenguaje con igualdad y un predicado binario <math>P</math>. Dada una interpretación con universo en los Naturales y con el predicado <. | ||
Probar que 0, 1 y 2 son distinguibles. | Probar que 0, 1 y 2 son distinguibles. | ||
=Ejercicio 3= | =Ejercicio 3= |