Edición de «Práctica 6 (LyC Verano)»
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 50: | Línea 50: | ||
<br>Tal formula es satisfacible, por ej. fA(x)=2^x lo cumple. Para los modelos finitos no cumple, ya que en este caso una funcion inyectiva debe ser tambien sobreyectiva | <br>Tal formula es satisfacible, por ej. fA(x)=2^x lo cumple. Para los modelos finitos no cumple, ya que en este caso una funcion inyectiva debe ser tambien sobreyectiva | ||
==Ejercicio | ==Ejercicio 08== | ||
Un lenguaje podria ser A=<N,<,0>, dado que puede construirse un predicado para cada elemento tal que satisfaga unicamente a ese mismo elemento | Un lenguaje podria ser A=<N,<,0>, dado que puede construirse un predicado para cada elemento tal que satisfaga unicamente a ese mismo elemento | ||