Universidad de Chile

Facultad de Ciencias Físicas y Matemáticas

Departamento de Ciencias de la Computación
CC3101 – Matemáticas Discretas para la Computación

Pauta Auxiliar 2
Lógica de Predicados

Profesores: Andrés Abeliuk - Jocelyn Simmonds

Auxiliares: Carlos Antil - Blaz Korecic - Diego Salas - Lucas Torrealba

P1.- (Lógica de predicados)

Sean S(x, y, z) y R(x, y, z) verdaderos cuando x + y = z y x − y = z. Exprese mediante la lógica de
predicados lo siguiente

a) Tanto la suma como la resta tienen resultado único.

Solución: Existe:
∀x∀y∃zS(x, y, z) ∧ ∀x∀y∃zR(x, y, z)
Unicidad:

∀x∀y∀z∀w(S(x, y, z) ∧ S(x, y, w) → z = w) ∧ ∀x∀y∀z∀w(R(x, y, z) ∧ R(x, y, w) → z = w)

b) La suma es conmutativa.
Solución:
∀x∀y∀z(S(x, y, z) ↔ S(y, x, z))

c) La resta no es conmutativa.
Solución:
¬(∀x∀y∀z(R(x, y, z) ↔ R(y, x, z)))

d) La suma y la resta tienen un único neutro, y es el mismo para ambas.

Solución: Definiremos los predicados auxiliares CeroS (x) := ∀yS(y, x, y) y CeroR (x) :=
∀yR(y, x, y). Luego se tiene que:

∃xCeroS (x) ∧ ∀x∀z(CeroS (x) ∧ CeroS (z) → x = z)∧

∃xCeroR (x) ∧ ∀x∀z(CeroR (x) ∧ CeroR (z) → x = z)∧
∀x(CeroS (x) ↔ CeroR (x))

Desde ahora en adelante asumiremos que se tiene lo de arriba y simplemente diremos Cero(c) :=
∀yS(y, c, y).

Pauta Auxiliar 2 1
 e) La suma tiene un inverso (derecha e izquierda).
Solución: Solo haremos un lado. (Inverso por la derecha)

∀y∃z∃c(Cero(c) ∧ S(y, z, c))

f) (x − y) es el inverso aditivo de (y − x).

Solución:
∀x∀y∀z∀w∀c(Cero(c) ∧ R(x, y, z) ∧ R(y, x, w) → S(z, w, c))

P2.- Considere como dominio de discurso N × N × N y la relación × ternaria tal que

×(a, b, c) ⇐⇒ a · b = c. Exprese
1. Hay elemento neutro de × por la derecha y por la izquierda. Además, es el mismo.
Solución: Existe neutro por la izquierda

∃x∀a(×(x, a, a))

Existe neutro por la derecha

∃x∀a(×(a, x, a))
Es único
∀x∀y∀a(×(a, x, a) ∧ ×(y, a, a) =⇒ x = y)
Noten que con esto es suficiente. Pueden demostrar que es suficiente por contradicción, si hay
2 neutros de distinto lado distintos, entonces no se cumpliría la fórmula. Si hay 2 neutros de
mismo lado, entonces ambos son iguales a los neutros del otro lado y por transitividad deberían
ser iguales.
2. Existe el 0 y es único.
Solución:
Existe el cero
∃x∀y(×(x, y, x))
No nos importa el lado. Podemos escribir el predicado Cero

Cero(x) := ∀y(×(x, y, x))

Que indica si x es cero o no.

Es único
∀x∀y(Cero(x) ∧ Cero(y) =⇒ x = y)

3. La relación a|b que se lee: a divide b. Queremos un predicado que describa la relación.
Solución:
a|b := ∃x(×(a, x, b)) ∧ ¬Cero(a)

Pauta Auxiliar 2 2
 4. Desde ahora escribiremos el predicado U no

U no(x) := ∀a × (a, x, a)

Que dice si x es neutro o no.

Considere la relación P rimo unaria tal que P rimo(x) ssi x es primo. Queremos un predicado
que describa la relación. Recuerde que un primo solo es divisible por el 1 y si mismo.
Solución:

P rimo(x) := ∀z(U no(z) =⇒ z|x) ∧ ∀z(¬U no(z) ∧ z ̸= x =⇒ ¬z|x) ∧ (x|x ∧ ¬U no(x))

P3.- Considere la estructura de la lógica relacional definida como A = (N; +; ×). Es decir,
el dominio de A son los números naturales y tenemos accesos a las relaciones ternarias de
adición (+) y multiplicación (×) sobre tal dominio, respectivamente. Se le pide demostrar que
es posible definir las siguientes relaciones sobre A mediante fórmulas de la lógica relacional.
Pre-soluciones: Para lo que viene, definimos las siguientes relaciones:
• Cero(x) := ∀y(×(x, y, x)),
• U no(x) := ∀a × (a, x, a),
• a | b := ∃x(×(a, x, b)) ∧ ¬Cero(a),
• a < b := ∃k, +(x, k, y) ∧ ¬Cero(k).

a) El conjunto de todas las 4-tuplas (a, b, c, d) tal que a + b = c + d.

Solución:
IgualSuma(a, b, c, d) := ∃x, +(a, b, x) ∧ +(c, d, x).

b) El conjunto de todos los pares (p, q) coprimos. Dos números son coprimos si no comparten
divisores primos.
Solución: Usando a | b definida anteriormente:

Coprimos(p, q) := ∀x, U no(x) ∨ (x | p =⇒ ¬(x | q)).

c) El conjunto de los triples

a
(a, b, r) tal que b ̸= 0 y r es el resto que queda en la división entre
a y b, es decir, a = b · b + r.
Solución: Usando Cero(x) y a < b definidas anteriormente:

Resto(a, b, r) := ¬Cero(b) ∧ (r < b) ∧ [∃k, ∃x, ×(b, k, x) ∧ +(x, r, a)] .

d) El conjunto de los números altamente compuestos. Un número natural positivo es altamente

compuesto si tiene estrictamente más divisores que cualquier otro número menor positivo.
Puede usar el símbolo div(x, k) que indica si x tiene exactamente k divisores.
Solución: Usando a < b definida anteriormente:

N AC(x) := ¬Cero(x) ∧ ∀y, ∀p, ∀q, [div(x, p) ∧ div(y, q) ∧ (y < x) ∧ ¬Cero(y)] =⇒ (q < p).

Pauta Auxiliar 2 3
Pauta Auxiliar 2 4