Selección de ejercicios de repaso

1 Enumerabilidad y no enumerabilidad
1. Decimos que un conjunto C de números enteros positivos es cofinito si su complemento
es finito, es decir, si el conjunto de números enteros positivos que no está en C es finito.
Muestre que el conjunto de los conjuntos cofinitos de números enteros positivos es enu-
merable. Sugerencia: No es necesario construir una función, es suficiente con ofrecer una
lista. Puede resultar de utilidad consultar el ejemplo 1.10 del cap´itulo 1 del libro.
2. Sea A el conjunto de los números impares. ¿Es el conjunto potencia de A enumerable? Si
lo es, construya una función biyectiva total para demostrarlo. Si no lo es, justifique.

2 Pruebas por inducción

1. Pruebe por inducción sobre la complejidad que ninguna oración que contenga solamente
predicados (sin contar identidad), constantes y negaciones es verdadera en todo modelo o
falsa en todo modelo. Sugerencia: dado que las únicas fórmulas complejas son negaciones,
hay sólo un caso que debemos considerar en el paso inductivo. ¿Por qué esta afirmación
es falsa si dicha fórmula contiene el s´imbolo de identidad?

3 Modelos
1. Sea L un lenguaje con una constante 0, un predicado diádico P y un s´imbolo de función
monádico f. Sea B la interpretación cuyo dominio es el conjunto de números pares, P es
intepretado como la relación ”menor” y f es la función definida de forma tal que f B (n) =
n + 2, con n un objeto perteneciente al dominio de B y 0 es interpretado como el número 2.
Construya una interpretación isomórfica a B cuyo dominio sea el conjunto de los números
impares.
2. Siguiendo con el enunciado del ejercicio anterior, indique si las siguientes oraciones son
verdaderas en B y A:

• ∀xP (f (x), f (f (x)))

• ∀x(P (0, x) ∨ x = 0)
• ∃x∀yP (x, y)
• ∀x∃yP (x, y)

3. Evalúe si la siguiente oración es verdadera o falsa y justifique: ”Si un conjunto de oraciones

tiene modelo, entonces tiene un modelo no enumerable”.

1
 4. Sea A una oración que no tiene ningún modelo enumerable. Muestre que A es lógicamente
equivalente a cualquier oración de la forma C∧ ∼ C.

5. Determine si la siguiente afirmación es verdadera o falsa y justifique su respuesta: ”Para

todo conjunto Γ y toda oración D, si existe un conjunto finito Γ0 ⊆ Γ tal que Γ0 2 D,
entonces Γ 2 D”.

4 Secuentes
1. Muestre que la siguiente regla es derivable en S:

Γ ⇒ ∆, A ∨ B Γ ⇒ ∆, ∼ B
MSD
Γ, Σ ⇒ ∆, A

2. Muestre que la siguiente regla es derivable en S:

Γ, A∨ ∼ A ⇒ ∆, A∧ ∼ A
TC
Γ⇒∆

3. Pruebe el siguiente enunciado sin usar compacidad: si no existe un conjunto Γ0 ⊆ Γ finito,

tal que Γ0 ⇒ D, entonces Γ 2 D.