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 46: | Línea 46: | ||
<br>f)<math> (\exists x)(P(x) \wedge (\forall y) (x = y)) </math> | <br>f)<math> (\exists x)(P(x) \wedge (\forall y) (x = y)) </math> | ||
==Ejercicio | ==Ejercicio 07== | ||
Podemos tomar φ = <math>( (\forall x)(\forall y)f_A(x)=f_A(y) \rightarrow x=y ) \wedge ( (\exists x)(\forall y)x \neq f_A(y) )</math> | Podemos tomar φ = <math>( (\forall x)(\forall y)f_A(x)=f_A(y) \rightarrow x=y ) \wedge ( (\exists x)(\forall y)x \neq f_A(y) )</math> | ||
<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 |