Instituto Superior del Profesorado “Dr. Joaquín V.

González”
Profesorado de Matemática
Fundamentos de la Matemática A y B (2021)

Trabajo Práctico 3
Lógica de predicados de primer orden

1. Considera las siguientes expresiones:

i. x > 3
ii. x = y + 3
iii. x + y = z
a. ¿Puedes determinar el valor de verdad de cada una? ¿Por qué?
b. Coloca en cada caso los cuantificadores necesarios para que sean proposiciones.
Expréselas en lógica de predicados indicando un Universal pertinente.
c. Determina ahora sus valores de verdad de acuerdo con los cuantificadores colocados.

2. Sea la secuencia de asignaciones:

A = 2;
A = A + 5;
Al ejecutar esta secuencia, primero se realiza la primera asignación, que almacena 2 en la
variable A. Posteriormente se ejecuta la segunda asignación, que almacena en la variable
A el valor 7. Es obvio que, en este ejemplo, la segunda asignación destruye el contenido
anterior de la variable A y lo actualiza (cambia 2 por 7). También queda claro que el orden
de las sentencias es fundamental. Veamos ahora otro ejemplo:
Las variables enteras x e y tienen los valores iniciales 3 y 8, respectivamente. Con cada
instrucción pueden cambiar o no de valor. Determinar los valores de x e y después de la
ejecución de cada una de las instrucciones siguientes. (El valor de x después de la ejecución
de (a) se convierte en el valor de x para la proposición del apartado (b) y así sucesivamente).
(La operación Div devuelve la parte entera de un cociente; por ejemplo, 8 Div 4=2 y 9 Div
2=4).
a. Si y − x = 5, entonces x = x − 2;
b. Si [(2y = x) y (x Div 4 = 1)], entonces x = 4y − 3;
c. Si [(x < 8) o (y Div 2 = 2)], entonces x = 2y, de lo contrario y = 2x;
d. Si [(x < 20) y (x Div 6 = 1)], entonces y = y − x − 5;
e. Si [(x = 2y) o (x Div 2 = 5)], entonces y = y + 2;
f. Si [(x Div 3 = 3) e (y Div 3 = 1)] entonces y = x;
g. Si y.x ≠ 35, entonces x = 3y + 7;

3. Sean p(x, y, z): xy = z, q(x, y) : x = y , r(x, y) : x > y. Sea el universo U , el conjunto de

los números enteros. Transcribe las siguientes proposiciones a notación lógica.
a. Si y = 1, entonces xy = x para cualquier x.
b. Si xy = 0, entonces x = 0 y además: y = 0. 6
c. Si xy = 0, entonces x = 0 ó y = 0.
d. 3x = 6 si, y solo si x = 2.
e. No existe solución para x.2 = y, a menos que y > 0.
f. x < z es una condición necesaria para que x < y e y < z.
g. x > 6 y e y> 6.x es una condición suficiente para que y = x.
h. Si x < y y, z < 0, entonces xz > yz.
i. No es cierto que x = y, y x < y.
j. Si x < y, entonces para algún z tal que z < 0, xz > yz.
k. Existe un x tal que para cada y y z, es xy = xz.

1
 Instituto Superior del Profesorado “Dr. Joaquín V. González”
Profesorado de Matemática
Fundamentos de la Matemática A y B (2021)

4. Tenemos seis cubos de color amarillo, rojo y verde respectivamente, que simbolizaremos
a1, a2, r1, r2, r3 y v. Un cubo puede estar uno sobre otro o en el piso. S(x, y) significa “x
está sobre y”, p es el piso.
i. Sin utilizar cuantificadores, formaliza:
a. Todos los cubos están sobre el piso.
b. Algún cubo está sobre el piso.
c. Ningún cubo está sobre un cubo verde.
d. Hay un cubo rojo sobre el piso con un cubo amarillo sobre él y un cubo verde
sobre el amarillo.
e. Ningún cubo amarillo está en el piso.
f. Hay un cubo rojo sobre el cubo verde.
g. Cualquier cubo amarillo tiene un cubo sobre él.
h. Todos los cubos rojos están sobre el piso
i. Todos los cubos sobre el piso son rojos.
ii. Formalízalos utilizando cuantificadores.

5. Estudia en el universo de los números enteros, el valor de verdad de las siguientes

afirmaciones:
a. x ( x < x + 1) e. x ( x = x + 1)
b. x ( x = 5) f. x [y : (x · y = 0)]
c x (x < x + 1) g. y [x (x · y = 1)]
d. x ( x = 5) h. y [x (x · y = x)]

6. En cada una de las expresiones simbólicas siguientes, describe el alcance de cada

cuantificador y decide qué variables están ligadas y cuáles están libres.
a. x [p(x)  y (t(x, y)  r(x))]
b. x [p(x)  y (t(x, y)  r(z))]
c. x [p(x)  y (t(x, y)  r(y))]

7. Considera el universo de los números enteros y sea p(x, y, z) el predicado x−y = z.

Transcribe las siguientes afirmaciones a notación lógica.
a. Para cada x e y, existe algún z tal que x − y = z.
b. Para cada x e y, existe algún z tal que x − z = y.
c. Existe un x tal que para todo y, y − x = y.
d. Cuando el 0 se resta de cualquier entero, el resultado es el entero original.
e. 3 restado de 5 da 2.

8. Sean p(x, y, z), q(x, y, z) y r(x, y) los predicados “x+y=z”, “x,y=z” y “x<y”,
respectivamente.
Expresa en el universo de los números enteros no negativos las afirmaciones siguientes:
a. Para cada x e y, existe un z tal que x + y = z.
b. Ningún x es menor que cero.
c. Para todo x es x + 0 = x.
d. Para todo x, x · y = y para todo y.
e. Existe un x tal que x · y = y para cada y.

2
 Instituto Superior del Profesorado “Dr. Joaquín V. González”
Profesorado de Matemática
Fundamentos de la Matemática A y B (2021)

9. Sea el universo del discurso U = {0, 1}. Encontrar conjunciones y disyunciones finitas
de proposiciones que no usen cuantificadores y que sean equivalentes a las siguientes:
a. x, p(0, x) d. x [y p(x, y)]
b. x [y p(x, y)] e. y [x p(x, y)
c. x [y p(x, y)]

10. Consideremos como universo del discurso el conjunto de los números enteros y sean:
p(x) : x es no negativo. r(x) : x es impar.
q(x) : x es par. s(x) : x es primo.
Expresa en notación lógica las siguientes afirmaciones:
a. Existe un entero par.
b. Todo número entero es par o impar.
c. Todos los números primos son no negativos.
d. El único número primo par es el 2.
e. No todos los enteros son pares.
f. No todos los primos son impares.
g. Si un entero no es impar, entonces es par

11. a. Analiza la siguiente demostración:

Sea U un universo del discurso arbitrario, p(x) un predicado cualquiera, y x cualquiera
de U.
Veamos que en todos los casos las dos proposiciones tienen los mismos valores de
verdad. Queremos ver que: i. x, p(x) ⇔x p(x):
Si x, p(x) es verdad, entonces x, p(x) es falso, luego existe, al menos, un x en
U para el cual p(x) es falso, o lo que es igual para el que p(x) es verdad, es decir
x p(x) es verdad.
Si x, p(x) es falso, entonces x, p(x) es verdad, luego p(x) es verdad para
cualquier valor de x y p(x) falso. Por lo tanto, x p(x) es falso.
b. Demuestra de manera análoga:
ii. x p(x) ⇔ x, p(x)
iii. x p(x) ⇔ x p(x)
iv. x p(x) ⇔ x p(x)
c. ¿Cómo llamarías a estas cuatro propiedades y por qué?
d. ¿Qué puedes decir de una proposición que se obtiene negando una proposición
cuantificada?

12. a. Demuestra cada una de las siguientes proposiciones:

i. x [p(x)  q(x)] ⇔ [x p(x)]  [x q(x)]
ii. x [p(x)  q(x)]  [x p(x)]  [x : q(x)]
iii. x [p(x)  q(x)] ⇔ [x p(x)]  [x q(x)]
iv. [x p(x)]  [x, q(x)]  x [p(x)  q(x)]
b. ¿Por qué no aparecen los bicondicionales en todos los casos? Muestra los
correspondientes contraejemplos.

3
 Instituto Superior del Profesorado “Dr. Joaquín V. González”
Profesorado de Matemática
Fundamentos de la Matemática A y B (2021)

13. a. Traduce las siguientes proposiciones a lenguaje de predicados indicando las funciones
proposicionales y dominios correspondientes
b. Expresa aquellas que sea posible como proposiciones categóricas y grafíquelas en
diagramas de Venn.
i. Alguien hizo la práctica.
ii. Alguien hizo la práctica pero tiene dudas.
iii. El triángulo no es un poliedro.
iv. Un triángulo es equilátero si, y solo si tiene sus tres lados iguales
v. Ciertos triángulos son equiláteros.
vi. No todos los triángulos isósceles son equiláteros.
vii. Existe un entero que es mayor que cualquier otro entero.
viii. Los enteros pares son compuestos.
ix. Solo los enteros pares son compuestos.
x. 3 está entre 2 y 5.
xi. Hay números racionales entre 2 y 5.
xii. Ningún número es a la vez par e impar
xiii. Los pares tienen más divisores que los múltiplos de 3.
xiv. Sólo los pares tienen más divisores que los múltiplos de 3.
xv. Excepto el 2, los números primos son impares.
xvi. Algunos números sólo son múltiplos de 3 y de 2.
xvii. Nadie recuerda nada.
xviii. Para cada par de enteros x e y, decimos que x es divisible por y si x es
múltiplo de y
xix. Para cada entero x, x es par si, y solo si x es divisible por 2
xx. Para cualquier entero n, si n es par, entonces n2 es par

14. Considera las siguientes funciones proposicionales:

P(x) = x es un cuadrilátero S(x) = x es un cuadrado
Q(x) = x es un rectángulo T(x) = x es un paralelogramo
R(x) = x es un rombo
i) Traduce las siguientes proposiciones considerando estas funciones:
a. Los rectángulos son cuadriláteros.
b. Si un rectángulo es rombo, entonces es cuadrado.
c. No todo rectángulo es cuadrado.
d. Los cuadrados no son todos rombos.
e. Los rectángulos y los rombos no son todos los paralelogramos.
ii) Analiza el valor de verdad de las proposiciones anteriores.

15. Tenemos cinco cubos de color amarillo, rojo y verde respectivamente, que
simbolizaremos a1, a2, r1, r2 y v. Un cubo puede estar uno sobre otro o en el piso. S(x, y)
significa “x está sobre y”, p es el piso.
Dado el siguiente razonamiento:
Todos cubos están sobre el piso. Algunos los cubos sobre el piso son rojos. Hay un
cubo rojo con un cubo amarillo sobre él. Si un cubo está encima de otro, no está en
el piso. Por lo tanto algún cubo amarillo no está en el piso.
a. Determina su validez.
b. ¿Por qué es posible utilizar prueba de invalidez?

4
 Instituto Superior del Profesorado “Dr. Joaquín V. González”
Profesorado de Matemática
Fundamentos de la Matemática A y B (2021)

c. ¿Por qué no es aplicable la prueba de invalidez si no se trata de un dominio

finito?

16. Considere los siguientes razonamientos.

i. Tradúcelos al lenguaje de proposiciones categóricas.
ii. Tradúcelos al lenguaje de lógica de predicados de primer orden.
iii. Analiza su validez utilizando diagramas de Venn, definiendo previamente
cuál es el dominio en el que trabaja.
iv. En caso de ser inválido proponga una modificación de la conclusión no
trivial para que resulte válido.
v. Para aquellos razonamientos que son válidos, realice una demostración por
el método deductivo.
a. Ningún científico ignora la matemática. Alguien que ignora la matemática
no es un buen físico. Entonces, algún matemático no es un científico.
b. Todos los lógicos son reflexivos y estudiosos. Algunos lógicos son filósofos.
Entonces, algunas personas reflexivas son filósofos.
c. Ningún docente odia los libros. Algunos idealistas odian los libros. Algunos
docentes son científicos. Por lo tanto, ningún idealista es científico.
d. Todos los días nublados son frescos. Ningún día fresco es sofocante. Ningún
día sofocante es agradable. Por lo tanto, ningún día nublado es agradable.
e. El número a no es múltiplo de 2. Si un número es par, entonces es divisible
por 2. Si un número es divisible por 2, entonces es múltiplo de 2. Por lo
tanto, el número a no es par.

17. Demuestra, si es posible, la validez de los siguientes razonamientos utilizando el

método deductivo:
a. Ningún humano es perfecto. Todos los griegos son humanos. Por lo tanto, ningún
griego es perfecto.
b. Todos los pájaros son alegres. Algunos animales son pájaros. Entonces, Algunos
animales son alegres.
c. Todos los números primos mayores que 2 son impares. 11 es un número primo
mayor que 2. Por lo tanto, 11 es impar.
d. Todo ejecutivo que sea poeta es un hombre imaginativo. Todo hombre imaginativo
es amante del riesgo. Si todo amante del riesgo no es poeta, entonces, ningún poeta
es amante del riesgo. Por consiguiente, si todo hombre imaginativo no es poeta,
entonces, ningún ejecutivo es poeta.
e. Todos los ciudadanos que son traidores están presentes. Todos los oficiales son
ciudadanos. Algunos oficiales no están presentes. Luego, hay traidores.
f. Un libro sólo es interesante si está bien escrito. Un libro está bien escrito sólo si es
interesante. Por lo tanto, todo libro es interesante y está bien escrito si es
interesante o está bien escrito.
j. En el triángulo ABC no hay dos ángulos de igual medida. Si un triángulo tiene dos
lados de igual longitud, es isósceles. Si un triángulo es isósceles entonces tiene dos
ángulos de igual medida. Por lo tanto el triángulo ABC no tiene dos lados de igual
longitud.

18. Dados los siguientes razonamientos:

a. Tradúcelos al lenguaje de proposiciones categóricas.
5
 Instituto Superior del Profesorado “Dr. Joaquín V. González”
Profesorado de Matemática
Fundamentos de la Matemática A y B (2021)

b. Tradúcelos al lenguaje de coloquial.

c. Analiza su validez

a. x (A(x)  B(x)) b. x (A(x)   B(x)  C(x)  D(x))

x (C(x)  A(x)) ------------------------------------------
------------------------- x (B(x)  C(x))
x (C(x)  B(x))
c. d. x( ( P( x)  Q( x)))
x ( P( x)  Q( x))
x ( P( x)  R( x))
 (x P( x))
x ( Q( x)  R( x))
x  (Q( x)  S ( x))
x ( S ( x)  R( x)) x ( S ( x)  T ( x))
x ( S ( x)) xT ( x)