R13
De Lógica Matemática y fundamentos (2015-16)
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: