Diferencia entre revisiones de «R13»
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...') |
m (Protegió «R13» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) |
(Sin diferencias)
| |
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: