UNIDAD Nº1 LÓGICA MATEMÁTICA

Las demostraciones matemáticas, como

diamantes, son duras y claras, y no son
tocadas por nada que no sea el
razonamiento estricto.

John Locke
Ejercicios y problemas.

LÓGICA PROPOSICIONAL

1 Indicar cuáles de las oraciones son proposiciones. En caso afirmativo, representarlas

simbólicamente y dar sus valores de verdad.

a) La Tierra es plana.
b) 3+6=8
c) x + y = 24
d) ¿SQL es un lenguaje de consulta de bases de datos?
e) Tomá tus remedios.
f) Una buena programación frontend mejora la experiencia del usuario.

3 Dadas las proposiciones simples: 𝑝 = 𝐽𝑢𝑎𝑛 𝑒𝑠𝑡á 𝑝𝑟𝑜𝑔𝑟𝑎𝑚𝑎𝑛𝑑𝑜, 𝑞=

𝐹𝑙𝑜𝑟𝑒𝑛𝑐𝑖𝑎 𝑗𝑢𝑒𝑔𝑎 𝑣𝑖𝑑𝑒𝑜𝑗𝑢𝑒𝑔𝑜𝑠, 𝑟 = 𝑀𝑎𝑟í𝑎 𝑝𝑟𝑎𝑐𝑡𝑖𝑐𝑎 𝑔𝑖𝑚𝑛𝑎𝑠𝑖𝑎 𝑎𝑟𝑡í𝑠𝑡𝑖𝑐𝑎, y 𝑠=
𝐸𝑠𝑡𝑒𝑏𝑎𝑛 𝑙𝑒𝑒 𝑐𝑜𝑚𝑖𝑐𝑠, formular los enunciados correspondientes a las proposiciones
compuestas:
a) ~𝑝
b) 𝑞⋀𝑠
c) 𝑟⋁𝑝
d) 𝑞 ⟹ 𝑠
e) ~(𝑟⋀𝑞)
f) 𝑠 ⟹ (𝑝⋁𝑞)

4 Simbolizar los siguientes enunciados y hallar sus valores de verdad.

a) Star Wars es una saga de películas policiales y Van Gogh fue un gran pintor.
b) Buenos Aires no es la capital de Argentina o Paraguay está en Sudamérica.
c) No es cierto que Harry Potter es un personaje de ficción poco conocido, entonces su
MATEMÁTICA DISCRETA-2023

creadora vendió muchos libros.

d) Miguel Ángel pintó la Capilla Sixtina si y solo sí Leonardo no pintó la Mona Lisa.

5 Simbolizar los siguientes enunciados y hallar sus tablas de verdad.

a) Jorge juega baloncesto o Pedro corre a gran velocidad.
b) Estela no pinta un cuadro al óleo, entonces Marcos lee un blog de inversiones.
c) Jazmín sale a tomar mates con una amiga o José lava la ropa acumulada, si y solo sí hoy
no llueve.
d) Juan estudia un nuevo lenguaje de programación, y si Darío juega al ajedrez online
entonces Natalia va a su práctica de hockey.

1
UNIDAD Nº1 LÓGICA MATEMÁTICA

6 Determinar si las siguientes formas proposicionales son tautologías, contradicción o

contingencia, mediante las tablas de verdad.
a) (𝑝 ⇒ 𝑞) ⇔ (∽ 𝑝 ⋁ 𝑞)
b) (𝑝 ⇔ 𝑞) ⇔∽ [(𝑝 ⇒ 𝑞)⋀(𝑞 ⇒ 𝑝)]
c) (𝑝 ∨ 𝑞) ⇒ 𝑟
d) [(𝑝 ⇒ 𝑞) ∧ (𝑝 ⇒ 𝑟)] ⇒ (𝑝 ⇒ 𝑟)

7 Simplificar.
a) 𝑝 ∨ (𝑝 ∧ 𝑞)
b) ∼ (𝑝 ∨ 𝑞) ∨ (∼ 𝑝 ∧ 𝑞)
a) [(𝑝 ∧ 𝑞) ∧ 𝑟] ∨ [(𝑝 ∧ 𝑞) ∧∼ 𝑟] ∨ (∼ 𝑝 ∧ 𝑞)
b) [𝑝 ⇒ (𝑞 ∨∼ 𝑟)] ∧∼ 𝑝 ∧ 𝑞

8 Utilizando las Leyes Lógicas, demostrar las siguientes equivalencias.

a) 𝑝 ⇔ 𝑞 ≡ (𝑝 ∨ 𝑞) ⇒ (𝑝 ∧ 𝑞)
b) (𝑝 ⇔ 𝑞) ⇒ (𝑝 ⇒ 𝑞) ≡ 𝑉

9 Demostrar la validez de los siguientes razonamientos mediante el método del condicional

asociado.
a) ~𝑝 ⇒ 𝑞, 𝑝 /∴ ~𝑞
b) ~𝑝 ⇒ 𝑞, ~𝑞 /∴ 𝑝
c) ∼ 𝑝 ∨ 𝑞, 𝑟 ⇒ ~𝑞 /∴ 𝑟 ⇒ ~𝑝
d) 𝑝 ⇒ ~𝑞, ∼ ( ~𝑟 ∧ 𝑞) /∴ 𝑝 ⇒ ~𝑟

10 Dadas las siguientes formas de razonamiento válidas, indicar en cada paso de la prueba qué
regla se ha empleado y en qué paso anterior.
a) 1) ~(𝑝 ∧ 𝑟)
2) 𝑞 ⇒ 𝑟
3) 𝑞 /∴ ∼ 𝑝
4) 𝑟 _____________________
5) ~𝑝 ∨∼ 𝑟_____________________
MATEMÁTICA DISCRETA-2023

6) ∼ (∼ 𝑟)_____________________
7) ∼ 𝑝 _____________________

b) 1)(𝑝 ∧ 𝑞) ⇒ 𝑟
2) ~𝑟 ∨ 𝑠
3) ∼ 𝑠 /∴ 2) ~𝑝 ∨∼ 𝑞
4) ∼ 𝑟 _____________________
5) ~(𝑝 ∧ 𝑞)_____________________
6) ∼ 𝑝 ∨∼ 𝑞_____________________

c) 1)𝑝 ∧ 𝑟

2
UNIDAD Nº1 LÓGICA MATEMÁTICA

2) 𝑝 ⇒s
3) 𝑟 ⇒t /∴ 𝑠⋀𝑡
4) 𝑝 _____________________
5) 𝑠 _____________________
6) 𝑟 _____________________
7) 𝑡 _____________________
8) 𝑠 ∧ 𝑡 _____________________

d) 1)𝑝 ∨ 𝑞
2) 𝑡 ⇒∼ 𝑝
3) ∼ (𝑞 ∨ 𝑟) /∴ ∼ 𝑡
4) ∼ 𝑞 ∧∼ 𝑟 _____________________
5) ∼ 𝑞 _____________________
6) 𝑝 _____________________
7) ∼ (∼ 𝑝) _____________________
8) ∼ 𝑡 _____________________

11 Simbolizar los siguientes razonamientos y demostrar su validez mediante el método

demostrativo.
a) Si estudio, no perderé matemáticas. Si no juego basquetbol, entonces estudio. Pero perdí
matemáticas. Por lo tanto, jugué basquetbol.
b) Si Alfredo es elegido presidente de la asociación de colonos entonces Bernardo es elegido
vicepresidente, y Carlos es elegido tesorero. Bernardo no es elegido vicepresidente. En
consecuencia, Alfredo no es elegido presidente.
c) Si el tiempo es agradable, entonces el cielo está despejado. Si el cielo está despejado,
entonces iré de día de campo. Si el tiempo es agradable entonces iré de día de campo,
implica que, si el cielo está despejado entonces nadaré en el río. Si el tiempo es agradable
entonces nadaré en el río, implica que me broncearé todo el cuerpo. Por lo tanto, me
broncearé todo el cuerpo.
d) Si la ley no fue aprobada entonces la constitución del país queda sin modificaciones. Si la
constitución del país queda sin modificaciones, no se pueden elegir nuevos diputados. O
se eligen nuevos diputados o el informe del presidente del país se retrasará. El informe no
se retrasó un mes. Por lo que la ley fue aprobada.

12 A) Dadas las expresiones lógicas, graficar el circuito lógico asociado.

a) {(𝑝 ∧ 𝑞) ∨ [(∼ 𝑝 ∧∼ 𝑞) ∨ 𝑞]} ∧ 𝑝
MATEMÁTICA DISCRETA-2023

b) {[∼ 𝑝 ∨ (∼ 𝑞 ∧ 𝑝)] ∨ (∼ 𝑝 ∧∼ 𝑞)} ∧∼ 𝑝

B) Dados los circuitos lógicos, hallar la expresión lógica asociada.

a)

3
UNIDAD Nº1 LÓGICA MATEMÁTICA

b)

13 Determinar si los circuitos lógicos resultan equivalentes. Justificar.

MATEMÁTICA DISCRETA-2023

14 Dada el siguiente circuito lógico, hallar su expresión lógica asociada, simplificarla y graficar
el circuito obtenido.

4
 UNIDAD Nº1 LÓGICA MATEMÁTICA

LÓGICA DE PREDICADOS

15 Simbolizar los siguientes enunciados.

a) Mozart fue un gran compositor de música clásica.
b) Alemania es un país europeo.
c) O García vuelve pronto a trabajar, o Pérez renunciará.
d) Si Esteban y Diana no llegan, Eduardo no dará el concierto.
e) Si se desborda el Paraná, se inundan Barranqueras y Corrientes.
f) Jujuy está al norte de Mendoza.

16 Formular las expresiones de las siguientes formas.

a) 𝑃(𝑠) 𝑠 = 𝑆𝑐𝑜𝑜𝑏𝑦 𝑃 = 𝑝𝑒𝑟𝑟𝑜
b) 𝐽(𝑚) ∧ 𝐶(𝑏) 𝑚 = 𝑀𝑒𝑠𝑠𝑖, 𝑏 = 𝑀𝑟. 𝐵𝑒𝑎𝑛
𝐽 = 𝑗𝑢𝑔𝑎𝑑𝑜𝑟 𝑑𝑒 𝑓ú𝑡𝑏𝑜𝑙, 𝐶 = 𝑟𝑒𝑐𝑜𝑛𝑜𝑐𝑖𝑑𝑜 𝑐𝑜𝑚𝑒𝑑𝑖𝑎𝑛𝑡𝑒
c) 𝐶(𝑟) ⇒∼ 𝐶(𝑐) 𝑟 = 𝑅𝑒𝑠𝑖𝑠𝑡𝑒𝑛𝑐𝑖𝑎, 𝑐 = 𝐶ℎ𝑎𝑟𝑎𝑡𝑎
𝐶 = 𝑐𝑎𝑝𝑖𝑡𝑎𝑙 𝑑𝑒 𝑙𝑎 𝑝𝑟𝑜𝑣𝑖𝑛𝑐𝑖𝑎
d) 𝑀(𝑎) ∨ 𝑅(𝑎) 𝑎 = 𝐴𝑙𝑏𝑒𝑟𝑡𝑜
𝑀 = 𝑚𝑎𝑛𝑒𝑗𝑎 𝑒𝑙 𝑎𝑢𝑡𝑜, 𝑅 = 𝑟𝑒𝑣𝑖𝑠𝑎 𝑒𝑙 𝑐𝑒𝑙𝑢𝑙𝑎𝑟
e) 𝐶(𝑎) ⇔∼ 𝐽(𝑓) 𝑎 = 𝐴𝑟𝑔𝑒𝑛𝑡𝑖𝑛𝑎, 𝑓 = 𝐹𝑟𝑎𝑛𝑐𝑖𝑎
𝐽 = 𝑐𝑎𝑚𝑝𝑒ó𝑛 𝑚𝑢𝑛𝑑𝑖𝑎𝑙 𝑑𝑒 𝑓ú𝑡𝑏𝑜𝑙, 𝐽 = 𝑗𝑢𝑒𝑔𝑎 𝑏𝑖𝑒𝑛 𝑎𝑙 𝑓ú𝑡𝑏𝑜𝑙
f) 𝐴(𝑟, 𝑚) 𝑟 = 𝑅𝑜𝑚𝑎, 𝑚 = 𝑀𝑎𝑑𝑟𝑖𝑑 𝐴 = 𝑚á𝑠 𝑎𝑛𝑡𝑖𝑔𝑢𝑎

17 Simbolizar las siguientes frases empleando cuantificadores, variables y símbolos de

predicados.
a) No toda función tiene derivada.
b) Existe una función que es continua pero no tiene derivada.
c) Si algunos trenes se retrasan entonces todos los trenes se retrasan.
d) Todo número o es par o impar.
e) Ningún número es a la vez par e impar.
MATEMÁTICA DISCRETA-2023

f) Los elefantes son más pesados que los ratones.

18 Simbolizar cada uno de los siguientes enunciados, primeramente, sin utilizar cuantificadores
existenciales y después sin utilizar cuantificadores universales.
a) No todos los coches tienen tres ruedas.
b) Algunas personas o son perezosas o estúpidas.
c) Ningún ratón es más pesado que un elefante.
d) Todo número es negativo o posee raíz cuadrada.

5
 UNIDAD Nº1 LÓGICA MATEMÁTICA

19 Dadas las siguientes fórmulas, dominios e interpretaciones, construir la tabla de verdad

correspondiente.
a) ∀𝑥: [𝑃(𝑥) ⇒ (𝑄(𝑥) ∧ 𝑅(𝑥))]
𝐷 = {𝑎, 𝑏, 𝑐}
Interpretación P() Q() R()
a V F V
b F F V
c V V F

b) ∃𝑥/(𝑃(𝑥)⋀ ∼ 𝑄(𝑥)) ⇔ (𝑅(𝑥) ∨ 𝑆(𝑥))

𝐷 = {1,2,3,4}
Interpretación P() Q() R() S()
1 F V F V
2 F F F V
3 V F F V
4 F V F F

PROLOG

20 Proponer ejemplos de Modus Ponens y Tollens en Prolog, luego verificar su funcionamiento

realizando consultas.

21 Definir la base de datos de las siguientes relaciones de familia:

Dar la traducción de las siguientes preguntas al lenguaje Prolog y las correspondientes

MATEMÁTICA DISCRETA-2023

respuestas:
a) Quién es hijo de Jaime.
b) Quién es progenitor de Jaime.
c) Quién es progenitor de Ana y Patricia.
d) Quién es nieto de Tomás.

6
UNIDAD Nº1 LÓGICA MATEMÁTICA

A TENER EN
CUENTA

EQUIVALENCIAS LÓGICAS
 A  A Doble negación

A B  B  A , A B  B  A , A B B A Leyes conmutativas

A  B  C    A  B  C , A  B  C    A  B  C Leyes asociativas

A  B  C    A  B   A  C  , A  B  C    A  B   A  C  Leyes distributivas

A A  A , A A  A Leyes de idempotencia

A  F  A , A V  A Leyes de identidad

AV  V , A F  F Leyes de dominación

A  A  V , A  A  F Leyes de los inversos

 A  B  A  B ,  A  B  A  B Leyes de De Morgan

Ley de la contrapositiva o
A  B  B  A
contrarecíproca

A  B  A  B ,  A  B  A  B Leyes de la condicional

 A  B  A  A ,  A  B  A  A Leyes de absorción

A  B   A  B  A  B ,  A  B  A  B   A  B

A  B   A  B  B  A Leyes de la Bicondicional

REGLAS DE INFERENCIA O IMPLICACIONES LOGICAS

A , B  AB Ley de combinación

A  B  A , A  B  B Leyes de simplificación

A  A  B , B  A  B Leyes de adición

A , A  B  B Modus Ponens

B , A  B  A Modus Tollens
MATEMÁTICA DISCRETA-2023

A  B , B  C  AC Silogismo Hipotético

A  B, A  B , A  B, B  A Silogismo disyuntivo 1

𝐴 ∨ 𝐵, 𝐵 ⇛ ⊣ 𝐴 , 𝐴 ∨ 𝐵, 𝐴 ⇛ ⊣ 𝐵 Silogismo disyuntivo 2

A  B , A  B  B Ley de casos

A  F  A Ley del absurdo