Práctica 6

Anuncio
Práctica 6
Lógica de primer orden
Lógica y Computabilidad
Verano 2011
Ejercicio 1. Decidir si las siguientes interpretaciones son apropiadas para los siguientes lenguajes,
en donde f es un smbolo unario y g es binario:
√
a. C = ∅, F = {f, g}, P = {=}, UI = N, fI (n) = n, gI (n, m) = n + m.
b. C = {c}, F = {f, g}, P = {=}, UI = N, fI (n) = n2 , gI (n, m) = n + m, cI = 2.
c. C = {c, d}, F = {f, g}, P = {=}, UI = N,
fI (n) =
1
2
si n es primo
si n no es primo
gI (n, n) = n2 − n, cI = dI = 0.
Ejercicio 2. En cada uno de los siguientes ejemplos, describir la propiedad que determinan los
siguientes enunciados. El universo de la interpretación es un conjunto de personas, PI (x, y) significa
x quiere a y, donde P es un sı́mbolo de predicado binario.
a. ∃x∀yP (x, y)
b. ∀y∃xP (x, y)
c. ∃x∃y(∀zP (y, z) → P (x, y)).
d. ∃x∀y¬P (x, y).
Ejercicio 3. Usando como lenguaje el que contiene únicamente la igualdad, escribir enunciados
que expresen:
a. Existen al menos dos elementos.
b. Existen exactamente dos elementos.
c. Existen a lo sumo dos elementos.
Agregando al lenguaje un sı́mbolo de predicado unario P , escribir:
d. Existen a lo sumo dos elementos y al menos uno que cumplen la propiedad P .
e. Si existe un elemento que cumple la propiedad P , es único.
f. Existe un elemento que cumple la propiedad P y es único.
Ejercicio 4. Considerar un lenguaje con un sı́mbolo de función f unario. Escribir una fórmula
ϕ que cumpla A |= ϕ sii fA es inyectiva pero no sobreyectiva. ¿Es ϕ satisfacible? ¿Es satisfacible
por un modelo finito?
1
Ejercicio 5. Decimos que un elemento e del universo de una interpretación I es distinguible con
el lenguaje L si existe una L-fórmula ϕ(x) con una sola variable libre x tal que I |= ϕ(x)[v] si y
sólo si v(x) = e.
Dar un ejemplo de un lenguaje y una interpretación de dicho lenguaje con universo infinito tal
que todo elemento del universo de la interpretación dada sea distinguible.
Ejercicio 6. Sea L un lenguaje con igualdad y un sı́mbolo de función binario, y sean I1 e I2 las
siguientes interpretaciones:
I1 = (N, +)
I2 = (N, ·)
donde N denota el conjunto de los números naturales. Probar que 1 es un elemento distinguido
en ambas interpretaciones.
Ejercicio 7. Sea L un lenguaje de primer orden y con un sı́mbolo de predicado binario ≤. Probar
que todos los elementos del universo de la siguientes interpretaciones son distinguibles,
4
6
3
5
4
5
2
2
a)
3
b)
1
1
Ejercicio 8. Probar que si el universo de una interpretación es finito con n + 1 elementos, y
tiene la propiedad que n elementos del universo son distinguibles, entonces todos los elementos
son distinguibles.
Ejercicio 9. Dada una interpretación I con universo A, decimos que una relación R ⊆ An es
expresable con el lenguaje L si existe una L-fórmula ϕ(x1 , . . . , xn ) con n variables libres tal que
para toda valuación v cumpla I |= ϕ(x1 , . . . , xn )[v] sii (v(x1 ), . . . , v(xn )) ∈ R. Demostrar que las
siguientes relaciones son expresables.
a. I1 = hN, ∗, =i con ∗ el producto de naturales.
R1 = {(n, m) : n divide a m}.
P1 = {n : n es primo}.
b. I2 = hN, +, =, 0, 1i con + la suma de naturales.
R2 = {(n, m) : n < m}.
c. I3 = hL, ◦, =i con L el conjunto de todas las listas, ◦ la concatenación de listas.
R3 = {(a, b) : a es sublista de b}.
Ejercicio 10. Decimos que una clase de modelos K es definible con el lenguaje L si existe una
sentencia ϕ tal que para toda interpretación I y valuación v cumpla I |= ϕ[v] sii I ∈ K. Demostrar
que las siguientes clases de modelos son definibles con su respectivo lenguaje.
a. L0 = {=}. K0 = ∅.
b. L1 = {=}. K1 = {todas las interpretaciones}.
c. L2 = {P, =} con P predicado binario. K2 = {I : P I es reflexivo y transitivo}.
d. L3 = {f, g, =} con f, g funciones unarias. K3 = {I : Im f I ⊆ Im g I }.
2
Descargar