Juan Daniel Bogotá Fuentes

01/04/2022

Solución Tarea No.11

Sección 6.1
1. La lógica Aristotélica o lógica silogística se define sobre un lenguaje de primer orden.
Investigue sobre esta lógica y caracterice el lenguaje de primer orden sobre el cual se define.

Es la tradición lógica basada en el trabajo del filósofo griego Aristóteles, primer pensador en
formalizar el sistema lógico de tal manera que sus propuestas han trascendido hasta nuestros días.
Aristóteles planteó sus ideas en varias obras, reunidas posteriormente bajo el nombre de Órganon
(órgano, herramienta), para difundir su conocimiento sobre las leyes del razonamiento,
argumentando que estas eran vitales para adentrarse en el mundo de la filosofía.

El sistema de lógica de Aristóteles fue responsable de la introducción del silogismo hipotético, de

la lógica modal temporal, de la lógica inductiva, así como de términos influyentes tales como
términos, predicables, silogismos y proposiciones.

Sección 6.2
2. Dibuje el árbol de sintaxis de los términos n, g(f(n), n) y f(g(f(n), n)) del Ejemplo 6.3.



3. Sea Ƒ = {a, b, c} con a, b, c constantes (i.e., ar(a) = ar(b) = ar(c) = 0). ¿Cuáles son los términos
sobre Ƒ libres de variables (i.e., sin apariciones de variable alguna)?

Como no se tienen variables (Su aridad es 0), no se pueden tener términos.

Sección 6.3
8. Use los símbolos de predicado

A(x, y) : “x admira a y”,

B(x, y) : “x asistió a y”,

P(x) : “x es profesor”,

E(x) : “x es estudiante”,

C(x) : “x es una clase”,

y el símbolo de función constante

m : “María”

para especificar las siguientes frases en el lenguaje de la lógica de predicados:

a) María admira a todos los profesores (ayuda: la respuesta no es ( ∀ x|: A(m, P(x)))).

∀ x( A (m , x )→ P ( x ) )

b) Algún profesor admira a María.

∃x ( p ( x ) → A ( x , m ) )

c) María se auto admira.

A( m, m)
d) No todos los estudiantes asisten a todas las clases.

¬ ∀ x ¿)
e) Ninguna clase tuvo como asistentes a todos los estudiantes.

¬∃ x ¿
f ) Ninguna clase tuvo como asistentes a estudiante alguno.

¬∀ x¿ )
10. Suponga que P(x, y) denota “x es padre de y” y M(x, y) denota “x es madre de y”. De forma
similar, suponga que E(x, y), A(x, y) y H(x, y) denotan “x es esposo/hermana/hermano de y”,
respectivamente. Finalmente, suponga que puede usar símbolos de función constante para
identificar individuos como ‘Juan’ y ‘Juana’. Sin embargo, no es permitido usar símbolos de
predicado distintos a los introducidos inicialmente para especificar en el lenguaje de la lógica de
predicados las siguientes proposiciones:

a) Todos tienen una madre.

∃x ¿

b) Todos tienen una madre y un padre.

∀ x¿
c) Quien sea tiene una madre tiene un padre.

∃y¿
d) Juan es abuelo.

y 0 = 𝐽𝑢𝑎𝑛

∃ x (∃ y ( P ( y 0 , x ) ∧ p ( x , y ) ) )

e) Todos los ‘papás’ son padres.

∀ x¿
f ) Todos los esposos son parejas.

∀ x ( E ( x , y ) → E ( x , y ))

g) No tío es una tía.

∀ x¿
h) La abuela de ninguno es el padre de alguien.

∀ x¿
i) Juan y Juana son marido y mujer.

J = “Juan”

U = “Juana”

𝐸(j, u)
j ) Carlos es el cuñado de Mónica.

M = “Mónica”

C = “Carlos”

∀ x¿

11. Suponga que Ƒ = {} y Ƥ = {P} es tal que ar(P) = 2. Además suponga que P(x, y) simboliza “x e y
son iguales” (en este caso, la pareja (Ƒ, Ƥ) se denomina el lenguaje de la igualdad). Especifique
las siguientes frases en el lenguaje de la igualdad:

a) Hay al menos dos elementos.

∀x¿

b) Hay a lo sumo dos elementos.

∀x¿

c) Hay exactamente tres elementos.

∀x¿

d) Para cualquier par de elementos, hay otro elemento distinto a ellos.

∀x¿

12. Suponga que Ƒ = {} y Ƥ = {R} es tal que ar(R) = 1. Especifique las siguientes frases en el
lenguaje de la lógica de predicados:

a) Exactamente un elemento tiene la propiedad R.

¬(∃ x ( R ( x ) ) )

b) Todos, excepto dos elementos, tienen la propiedad R.

¬(∀ x ( R ( x ) ))
14. Suponga que Ƒ = {} y Ƥ = {R} es tal que ar(R) = 1. Especifique las siguientes frases en el
lenguaje de la lógica de predicados:

H(x) : “x es humano” E(x) : “x es egoísta”

a) Todos los humanos son egoístas.

∀x¿

b) Ningún humano es egoísta.

¬ ∀x¿

c) Algunos humanos son egoístas.

∃x ¿

d) Algunos humanos no son egoístas.

∃x ¿

16. Defina unos conjuntos de símbolos de función y de predicado adecuados, y especifique en el

lenguaje de la lógica de predicados las siguientes proposiciones:

y 0 = “usted”

E(x, y): “x puede engañar a y”

a) Usted puede engañar a algunos algunas veces.

∃x ( E ( y 0 , x ) ∨¬ E ( y 0 , x ) )

b) Usted puede engañar a todos algunas veces.

∀ x (E ( y 0 , x ) ∨¬ E ( y 0 , x ))

c) Usted no puede engañarlos a todos algunas veces.

¬ ∀ x (E ( y 0 , x ) ∨¬ E ( y 0 , x ) )

d) Usted no puede engañar a alguien todas las veces.

¬ ∀ x (E ( y 0 , x ) )
19. Identifique los conjuntos de símbolos de función y de predicado adecuados, y especifique en
el lenguaje de la lógica de predicados la siguiente proposición:

Suponiendo que cada tarea t toma tarea(t) segundos, el tiempo de inicio inicio(t) de la tarea t es
el tiempo más temprano en el cual todas las tareas prerrequisito en la colección prer(t) han sido
completadas.

T(x): “x es tarea”

S(x, y): “x que toman y segundos”

C(x): “x ha sido completado”

P(x, y): “x es prerrequisito en la colección y”

(∀𝑡| 𝑇(𝑡) : 𝑆(𝑡, 𝑡𝑎𝑟𝑒𝑎(𝑡)) → (∀𝑡|𝑇(𝑡) : (∀𝑥|𝑇(𝑥) ∧ 𝑃(𝑥, 𝑝𝑟𝑒(𝑡)) ∧ 𝐶(𝑥) : 𝑖𝑛𝑖𝑐𝑖𝑜(𝑥) < 𝑖𝑛𝑖𝑐𝑖𝑜(𝑡)))

Sección 6.4
3. Sean m un símbolo de función constante (i.e., ar(m) = 0), f un símbolo de función con un
argumento y S,B símbolos de predicado con dos argumentos. Suponga que x, y, z son variables
en X. Para cada una de las siguientes fórmulas, indique (i) cuáles apariciones de x, y, z son libres
y (ii) cuáles son acotadas.

a) S(m, x)

 𝑥 𝑒𝑠 𝑙𝑖𝑏𝑟𝑒
 𝑁𝑜 ℎ𝑎𝑦 𝑎𝑐𝑜𝑡𝑎𝑑𝑎𝑠

b) B(m, f(m))

 𝑁𝑜 ℎ𝑎𝑦 𝑙𝑖𝑏𝑟𝑒𝑠
 𝑁𝑜 ℎ𝑎𝑦 𝑎𝑐𝑜𝑡𝑎𝑑𝑎𝑠

c) B(x, y) → ∃z S(z, y)

 𝑥 𝑒 𝑦 𝑠𝑜𝑛 𝑙𝑖𝑏𝑟𝑒𝑠
 𝑧 𝑒𝑠𝑡𝑎 𝑎𝑐𝑜𝑡𝑎𝑑𝑎

d) ∃y B(x, y) → ∃z S(z, y)

 𝑥 𝑒𝑠 𝑙𝑖𝑏𝑟𝑒
 y, 𝑧 𝑒𝑠𝑡𝑎𝑛 𝑎𝑐𝑜𝑡𝑎𝑑𝑎𝑠

e) S(x, y) → S(y, f(f(x)))

 𝑥, 𝑦, 𝑧 𝑠𝑜𝑛 𝑙𝑖𝑏𝑟𝑒𝑠
  𝑁𝑜 ℎ𝑎𝑦 𝑎𝑐𝑜𝑡𝑎𝑑𝑎𝑠

4. Sean c, d símbolos de función constantes, f un símbolo de función con un argumento y h un

símbolo de función con dos argumentos. Además, sean P, Q símbolos de predicado con tres
argumentos. Suponga que x, y, z son variables en X . Para cada una de las siguientes fórmulas,
indique (i) cuáles apariciones de x, y, z son libres, (ii) cuáles son acotadas y (iii) el alcance de cada
uno de los cuantificadores.

a) P(c, c, d) ∨ ∀x P(f(d), h(h(c, x), d), y)

 𝑁𝑜 ℎ𝑎𝑦 𝑙𝑖𝑏𝑟𝑒𝑠 (𝑧 𝑛𝑜 𝑒𝑠𝑡𝑎 𝑒𝑛 𝑙𝑎 𝑓𝑜𝑟𝑚𝑢𝑙𝑎)

 𝑥, 𝑦 𝑒𝑠𝑡𝑎𝑛 𝑎𝑐𝑜𝑠𝑡𝑎𝑑𝑎𝑠 𝑒𝑛 𝑠𝑢𝑠 𝑎𝑝𝑎𝑟𝑖𝑐𝑖𝑜𝑛𝑒𝑠
 (𝑓(𝑑), ℎ(ℎ(𝑐, 𝑥), 𝑑), 𝑦)

b) ∃y (P(x, y, x) → ∃z Q(z, y, f(z)))

 𝑥 𝑒𝑠 𝑙𝑖𝑏𝑟𝑒,
 𝑦 𝑒𝑠𝑡𝑎𝑛 𝑎𝑐𝑜𝑠𝑡𝑎𝑑𝑎, 𝑧 𝑒𝑠𝑡𝑎 𝑎𝑐𝑜𝑡𝑎𝑑𝑎 𝑒𝑛 𝑙𝑎 𝑠𝑒𝑔𝑢𝑛𝑑𝑎
 (𝑥, 𝑦, 𝑥)𝑎𝑙𝑐𝑎𝑛𝑐𝑒 𝑑𝑒𝑙 ∃𝑦,𝑄(𝑧, 𝑦, 𝑓(𝑧)𝑎𝑙𝑐𝑎𝑛𝑐𝑒 𝑑𝑒𝑙 ∃z

c) ∃y P(x, y, x) /≡ ∀y Q(z, y, f(z))

 𝑥, 𝑧 𝑒𝑠 𝑙𝑖𝑏𝑟𝑒
 𝑦 𝑒𝑠𝑡𝑎 𝑎𝑐𝑜𝑠𝑡𝑎𝑑𝑎 𝑒𝑛 𝑎𝑚𝑏𝑎𝑠 𝑟𝑎𝑚𝑎𝑠
 (𝑥, 𝑦, 𝑥)𝑎𝑙𝑐𝑎𝑛𝑐𝑒 𝑑𝑒𝑙 ∃𝑦,𝑄(𝑧, 𝑦, 𝑓(𝑧))𝑎𝑙𝑐𝑎𝑛𝑐𝑒 𝑑𝑒 ∀y

d)∃y (P(x, y, x) /≡ ∀y Q(z, y, f(z)))

 𝑥, 𝑧 𝑒𝑠 𝑙𝑖𝑏𝑟𝑒
 𝑦 𝑒𝑠𝑡𝑎 𝑎𝑐𝑜𝑠𝑡𝑎𝑑a
 (𝑥, 𝑦, 𝑥)𝑎𝑙𝑐𝑎𝑛𝑐𝑒 𝑑𝑒𝑙 ∃𝑦,𝑄(𝑧, 𝑦, 𝑓(𝑧)𝑎𝑙𝑐𝑎𝑛𝑐𝑒 𝑑𝑒 ∀y

e)∀x ∃y P(x, y, x) → ∃z Q(z, y, f(x))

 𝑧 𝑒𝑠 𝑙𝑖𝑏𝑟𝑒 𝑒𝑛 𝑙𝑎 𝑝𝑟𝑖𝑚𝑒𝑟𝑎 𝑟𝑎𝑚𝑎

 𝑥, 𝑦 𝑎𝑐𝑜𝑡𝑎𝑑𝑎𝑠 𝑒𝑛 𝑙𝑎 𝑝𝑟𝑖𝑚𝑒𝑟𝑎, 𝑧 𝑒𝑛 𝑙𝑎 𝑠𝑒𝑔𝑢𝑛𝑑𝑎 𝑟𝑎𝑚𝑎
 𝑃 (𝑥, 𝑦, 𝑥) 𝑎𝑙𝑐𝑎𝑛𝑐𝑒 𝑑𝑒𝑙 ∃𝑦, ∀𝑥,(𝑧, 𝑦, 𝑓(𝑥)𝑎𝑙𝑐𝑎𝑛𝑐𝑒 𝑑𝑒 ∃z

f ) ∀z ∃y P(x, y, x) → ∃z Q(z, y, f(x))

 𝑥 𝑒𝑠 𝑙𝑖𝑏𝑟𝑒
 𝑧, 𝑦 𝑎𝑐𝑜𝑡𝑎𝑑𝑎𝑠 𝑒𝑛 𝑙𝑎 𝑝𝑟𝑖𝑚𝑒𝑟𝑎, 𝑧 𝑒𝑛 𝑙𝑎 𝑠𝑒𝑔𝑢𝑛𝑑𝑎 𝑟𝑎𝑚𝑎
 iii) 𝑃 (𝑥, 𝑦, 𝑥) 𝑎𝑙𝑐𝑎𝑛𝑐𝑒 𝑑𝑒𝑙 ∀𝑧, ∃ ,(𝑧, 𝑦, 𝑓(𝑥)𝑎𝑙𝑐𝑎𝑛𝑐𝑒 𝑑𝑒 ∃z
g) ∀x (∃y P(x, y, x) ∧ ∃z Q (z, y, f(x)))

 𝑧 𝑒𝑠 𝑙𝑖𝑏𝑟𝑒 𝑒𝑛 𝑙𝑎 𝑝𝑟𝑖𝑚𝑒𝑟𝑎 𝑟𝑎𝑚𝑎, 𝑦 𝑒𝑠 𝑙𝑖𝑏𝑟𝑒 𝑒𝑛 𝑙𝑎 𝑠𝑒𝑔𝑢𝑛𝑑𝑎 𝑟𝑎𝑚𝑎

 𝑥, 𝑦 𝑎𝑐𝑜𝑡𝑎𝑑𝑎𝑠 𝑒𝑛 𝑙𝑎 𝑝𝑟𝑖𝑚𝑒𝑟𝑎, 𝑧, 𝑥 𝑒𝑛 𝑙𝑎 𝑠𝑒𝑔𝑢𝑛𝑑𝑎 𝑟𝑎𝑚𝑎
 (𝑥, 𝑦, 𝑥)𝑎𝑙𝑐𝑎𝑛𝑐𝑒 𝑑𝑒𝑙 ∃𝑦 ,𝑄(𝑧, 𝑦, 𝑓(𝑥)𝑎𝑙𝑐𝑎𝑛𝑐𝑒 𝑑𝑒 ∃z

h) ∀z (∃y P(x, y, x) ∧ ∃z Q (z, y, f(x)))

 𝑥 𝑒𝑠 𝑙𝑖𝑏𝑟𝑒, 𝑦 𝑒𝑠 𝑙𝑖𝑏𝑟𝑒 𝑒𝑛 𝑙𝑎 𝑝𝑟𝑖𝑚𝑒𝑟𝑎 𝑟𝑎𝑚𝑎,

 𝑦 𝑎𝑐𝑜𝑡𝑎𝑑𝑎𝑠 𝑒𝑛 𝑙𝑎 𝑝𝑟𝑖𝑚𝑒𝑟𝑎 𝑟𝑎𝑚𝑎, 𝑧 𝑒𝑠𝑡𝑎 𝑎𝑐𝑜𝑡𝑎𝑑𝑎 𝑒𝑛 𝑙𝑎 𝑠𝑒𝑔𝑢𝑛𝑑𝑎 𝑟𝑎𝑚𝑎
 (𝑥, 𝑦, 𝑥) 𝑎𝑙𝑐𝑎𝑛𝑐𝑒 𝑑𝑒𝑙 ∃𝑦 ,𝑄(𝑧, 𝑦, 𝑓(𝑥)) 𝑎𝑙𝑐𝑎𝑛𝑐𝑒 𝑑𝑒 ∃z

5. Sea ϕ la fórmula

∃x(P(y, z) ∧ ∀ y (¬(y, x) ∨ P(y, z))),

en donde x, y, z son variables y P,Q símbolos de predicado con dos argumentos.

a) Dibuje el árbol de sintaxis de ϕ .

b) Identifique las apariciones de variables libres y acotadas en ϕ .

La variable x esta acotada por el ∃𝑥, la variable y es libre en la primera rama, y acotada en la
segunda por el ∀𝑦, z es libre en toda la formula.
c) ¿Hay alguna variable en ϕ que tenga apariciones libres y acotadas? Explique brevemente.

La variable y es libre en la primera rama, y acotada por el ∀𝑦.

d) ¿Cuál es el alcance de ∃x en ϕ ?

𝑃(𝑦,𝑧)

e) ¿Cuál es el alcance de ∀ y en ϕ ?

(¬𝑄(𝑦,𝑥) ∨ 𝑃(𝑦,𝑧)

f ) Cambie la parentización en ϕ de tal manera que el alcance de ∃x en la fórmula resultante sea

P(y, z), dibuje el árbol de sintaxis correspondiente.

La parentización es igual al árbol de sintaxis de ϕ .