Diferencia entre revisiones de «Relación 13»
De Lógica matemática y fundamentos (2014-15)
(Página creada con ' === Relación 13: Cuestiones === ---- '''Ejercicio 1.''' Demostrar o refutar la siguiente afirmación: * Para toda fórmula F se tiene que si G es una forma de Skolem de F e...') |
|||
| Línea 1: | Línea 1: | ||
| − | |||
=== Relación 13: Cuestiones === | === Relación 13: Cuestiones === | ||
| Línea 25: | Línea 24: | ||
---- | ---- | ||
| − | '''Ejercicio 4.''' ¿Cuántos elementos han de tener los modelos de la fórmula F | + | '''Ejercicio 4.''' ¿Cuántos elementos han de tener los modelos de la fórmula F: ∀x f(f(x))= x ∧ ∀x f(x) ≠ x? |
---- | ---- | ||
'''Solución:''' | '''Solución:''' | ||
Revisión actual del 17:32 10 may 2015
Relación 13: Cuestiones
Ejercicio 1. Demostrar o refutar la siguiente afirmación:
- Para toda fórmula F se tiene que si G es una forma de Skolem de F entonces ⊧ F ⇔ G.
Solución:
Ejercicio 2. Dar una fórmula F, tal que todo modelo de F tenga al menos 3 elementos. Generalizarlo a n cualquiera.
Solución:
Ejercicio 3. Dar una fórmula F satisfacible, tal que todos sus modelos sean necesariamante infinitos.
Solución:
Ejercicio 4. ¿Cuántos elementos han de tener los modelos de la fórmula F: ∀x f(f(x))= x ∧ ∀x f(x) ≠ x?
Solución: