Ĺógica Computacional

Tarea 3

Cruz Pineda Fernando.

Vidal Aguilar Diego Jesús.

1. Un número primo es un número entero que no es divisible por otros números, excepto por sí
mismo y por 1. Formaliza el concepto de ser primo por medio de un predicado, suponiendo
que ya tienes otro predicado que define divisibilidad.
Sea nuestro universo de discuro los números naturales, y Π(P12 (x, y)) =x es divisible por y,
Π(P22 (x, y)) =x es igual a y y Π(P11 (x)) =x es primo.
Definimos los números primos como
∀x.(∀y.(¬P22 (x, y) ∧ ¬P22 (1, y) ∧ ¬P12 (x, y)) ⇒ P11 (x))

2. Señala las variables libres y ligadas de las siguientes fórmulas:

(a) (∀x.(∃y.P22 (x, y)) ∨ P12 (y))

Variables ligadas: x
Variables libres: y,z
(b) (∃x.(∀z.(∃y.P13 (x, y, z)))) ⇔ P23 (x, y, z2 )
Variables ligadas: x, y, z en (P13 (x, y, z))
Variables libres: x1 , y, z2 en P23 (x1 , y, z2 )
(c) (∃.P13 (x, y, z)) ⇒ P11 (x)
Variables ligadas: x en P11 (x)
Variables libres: x,y,z en P13 (x, y, z)
(d) (∀y.P13 (x, y, z)) ∧ (∃z.P23 (x, y, z)) ∧ (∀x.P33 (x, y, z))
Variables ligadas: y en P13 (x, y, z), z en P23 (x, y, z), x en P33 (x, y, z)
Variables libres: x,z en P13 (x, y, z), x,y en P23 (x, y, z), y,z en P33 (x, y, z)

3. Realiza las siguientes sustituciones:

(a) ((∃x.P13 (x, y, z)) ⇒ P11 (x))[z:=f12 (x,y)]

Sea θ = {z/f12 (x, y)} el conjunto de sustituciones, se las aplicamos a nuestro predicado
y nos queda
((∃x.P13 (x, y, f12 (x, y)) ⇒ P11 (x))
(b) (((∀x.P13 (x, y, z)) ∧ (∀y.P13 (x, y, z)) ∧ (∃z.P13 (x, y, z)))[x:=f12 (y,z)] )[z:=f12 (y,x)]
Sea θ = {x/f12 (y, z)} y Ψ = {z/f12 (y, x)} el conjunto de sustituciones, se las aplicamos
a nuestro predicado y nos queda
(((∀x.P13 (f12 (y, z), y, z)) ∧ (∀y.P13 (f12 (y, z), y, z)) ∧ (∃z.P13 (f12 (y, z), y, z))))[z:=f12 (y,x)]
(((∀x.P13 (f12 (y, f12 (y, x)), y, f12 (y, x))) ∧ (∀y.P13 (f12 (y, f12 (y, x)), y, f12 (y, x)))∧
(∃z.P13 (f12 (y, f12 (y, x)), y, f12 (y, x)))))
4. Dada la siguiente interpretación, di si las fórmulas (a)–(e) son satisfechas, verdaderas, válidas
(o ninguna de las anteriores): Universo de números racionales Q

Ψ(c) = 0
Ψ(x) = 1
Ψ(y) = −1
Φ(f11 ) = sucesor
Φ(f12 ) = predecesor
Φ(f21 ) = ÷
Π(P21 ) =≤

(a) ∀x.∀y.¬(y = 0) ⇒ ∃z.f12 (x, y) = z;

• Es satisfacible: Dado que Ψ(y) = −1 entonces sabemos que y ̸= 0 es verdadero,
notemos que dado que z es un valor existencial, podemos dar a z = −1 de tal forma
que f12 (Ψ(x), Ψ(y)) = Ψ(z) de tal forma que −1 = −1 haciendo ssatisfacible la
expresión.
• Es verdadero: Dado que Ψ(z) es un valor existencial, mientras este en el universo,
podemos dar a z = Ψ(x)/Ψ(y) para cualquier interpretacion.
• No es valido: Dado que podemos dar alguna interpretacion, digamos cambiar el
universo de interpretacion a los naturales y el modelo dejara de ser satisfacible.
(b) ∀x.∃y.P21 (x, y) ⇒ P21 (x, y);
• Es satisfacible, dado que para P12 (Ψ(x), Ψ(y)) = −1 ≤ 1 no es satisfacible, por lo
cual podemos concluir que la formula es satisfacible, dado que F -> F es verdadero
• Es verdadera, dado que para toda interpretación que puedas dar manteniendo
′
Ψ (c)=Ψ(c) es satisfacible la expresion
• Es valido, dado que para toda interpretación la expresión es verdadera
(c) ∀x.∀y.∃z.P21 (x, y) ⇒ P21 (x, z) ∧ P21 (z, y);
• Es satisfacible. dado que para P12 (Ψ(x), Ψ(y)) = 1 ≤ −1, por lo cual, dado que esto
es falso, podemos concluir que la expresion es insatisfacible.
• Es verdadera, dado que para toda interpretación que puedas dar manteniendo
′
Ψ (c)=Ψ(c) es satisfacible la expresion
• Es valido, dado que para toda interpretacion que puedas dar, la expresion es verdadera
(d) c = f21 (y) ∧ c = f11 (x);
• No es satisfacible, dado que f21 (Ψ(y)) ̸= Ψ(c) y f11 (Ψ(x) ̸= Ψ(c)) podemos concluir
que no es satisfacible bajo esta interpretacion
• No es verdadero, dado que ya vimos a una interpretacion que no es satisfacible
• No es valido, dado que ya vimos a una interpretacion que no es verdadera.
(e) P21 (f21 (y), c) ∧ P21 (c, f11 (x)).
• Es satisfacible. dado que P12 (f21 (Ψ(y), Ψ(c))) = −1 ≤ 0 y P12 (Ψ(c), f11 (Ψ(x))) = 0 ≤
1 ambos siendo satisfacibles, de esta forma haciendo satisfacible la interpretacion
• No es verdadero, dado que si damos una interpretacion tal que Ψ(y) > 0 entonces
P12 (f21 (Ψ(y), Ψ(c))) es falso, concluyendo asi que la interpretacion es insatisfacible.
 • No es valido, dado que ya dimos una interpretacion en donde no es verdadera la
expresion, podemos concluir que no es valida.
5. Encuentra un modelo para las siguientes fórmulas:
∀x.(∃y.P12 (y, x))
∃x.¬P22 (x, c) ∧ P12 (x, c)
¬∀x.P22 (c, f11 (x))
¬∃x.P22 (x, f11 (x))

U=N
I={Ψ, Φ, Π},donde

Ψ = V ar ∪ − > N, Φ : {fkn }− > {ϕ : (N)n − > N}, Π : {Pkn }− > {R(N)n }

Tal que Ψ(c)=0, Ψ(x) = 1, Φ(f11 (x)) = x + 1,Π(P12 (x, y))=x es mayor que y, Π(P22 (x, y))=x
es igual y.
6. Demuestra los siguientes teoremas de deducción natural:
(a) ⊢N (∃x.P11 (x) ∨ P21 (x)) ⇔ (∃x.P11 (x)) ∨ (∃x.P21 (x));
1 ∃x.P11 (x) ∨ P22 (x) Hipótesis
E∃
2 (P11 (x) ∨ P22 (x))[x:=n] Hipótesis
3 (P11 (x))[x:=n] ∨ (P21 (x)[x:=n] ) Regla de sustitucion
E∨
4 (P11 (x))[x:=n] E∨
5 ∃x.P11 (x) I∃
6 (∃x.P11 (X)) ∨ (∃x.P21 (x)) I ∨

E∨
7 (P22 (x))[x:=n] E∨
8 ∃x.P22 (x) I∃
9 (∃x.P21 (x)) ∨ (∃x.P11 (x)) I ∨
10 (∃x.P11 (X)) ∨ (∃x.P21 (x)) E ∨ 4,7
11 (∃x.P11 (X)) ∨ (∃x.P21 (x)) E∃1
12 ∃x.(P11 (x) ∨ P22 (x)) ⇒ (∃x.P11 (X)) ∨ (∃x.P21 (x)) I⇒1

13 (∃x.P11 (x)) ∨ (∃x.P21 (x)) Hipótesis

E∃
14 (P11 (x))[x:=n] ∨ (P21 (x))[x:=m] Hipótesis
E∨
15 (P11 (x))[x:=n] Hipótesis
16 (P11 (x))[x:=n] ∨ (P21 (x))[x:=n] I∨
17 (P11 (x) ∨ P21 (x))[x:=n] Regla de sustitucion
18 existsx.(P11 (x) ∨ P21 (x)) I ∃ 17

E∨
19 (P21 (x))[x:=m] Hipótesis
20 (P21 (x))[x:=m] ∨ (P11 (x))[x:=m] I∨
21 (P21 (x) ∨ P11 (x))[x:=m] Regla de sustitucion
22 ∃x.(P21 (x) ∨ P11 (x)) I ∃ 21
23 ∃x.(P11 (x) ∨ P22 (x)) E ∨ 15,19
24 (∃x.P11 (x)) ∨ (∃x.P21 (x)) ⇒ ∃x.(P11 (x) ∨ P22 (x)) I ⇒ 13
25 ∃x.(P11 (x) ∨ P21 (x)) ⇔ (∃x.P11 (X)) ∨ (∃x.P21 (x)) I ⇔ 12,24
(b) ∀x.(∃y.P11 (x) ⇒ P21 (y)) ⊢N ¬(∃x.(∀y.P11 (x) ∧ ¬P21 (y))).
Antes de comenzar, debemos demostrar que ¬(∃x.λ) ⇒ ∀x.(¬λ)
1 ¬(∃x.λ) Hipotesis
2 ¬(∀x.(¬λ)) Hipotesis
3 ∃x.λ Notas Ayudantia ¬(∀x.(¬λ)) = ∃x.λ
4 ⊥ I ⊥ 1,3
5 ∀x.(¬λ) E ¬ 2,4
6 ¬(∃x.λ) ⇒ ∀x.(¬λ) I ⇒ 1,5
Por lo que, ahora podemos ver que:
1 ∀x.(∃y.P11 (x) ⇒ P21 (y)) Hipotesis
2 ¬(∃x.(¬(∀y.(P1 (x) ⇒ P2 (y))))) Notas Ayudantia ¬(∃x.(¬λ)) = ∀x.λ 1
1 2

3 ¬(∃x.(∀y.(¬(P11 (x) ⇒ P22 (y))))) Demostracion Anterior 2

4 ¬(∃x.(∀y.(¬(¬P1 (x) ∨ P2 (y)))))
1 2
Equivalencia ¬λ ∨ α = λ ⇒ α 3
5 ¬(∃x.(∀y.(P11 (x) ∧ ¬P22 (y)))) Equivalencia D’Morgan 4