Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si
inicias sesión o
creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.
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 3: |
Línea 3: |
| ==Ejercicio 01== | | ==Ejercicio 01== |
| ==Ejercicio 02== | | ==Ejercicio 02== |
| Es satifacible, y por lo tanto tambien consistente.
| |
| Sea la propiedad P: P(x) = (x>1)
| |
| No pasa que para todo x se cumple x, es decir, existe uno para el cual no se cumple. (De hecho el numero 1 o 0 no cumplen dicha propiedad)
| |
| Luego podemos instanciar x2,x3,x4 ,.... en los naturales mayores que 1, cualesquiera sean. Eso nos dara una valuacion satisfacible
| |
|
| |
| ==Ejercicio 03== | | ==Ejercicio 03== |
| ===a)=== | | ===a)=== |