a) UNMSM-FACULTAD DE CIENCIAS MATEMÁTICAS

Curso MATEMÁTICA BÁSICA SEMESTRE 2022-1

PRACTICA DIRIGIDA 𝑁 𝑜 1
Semana 1
LOGICA PROPOSICIONAL
1. Determine cuáles de las siguientes oraciones son proposiciones
a) 𝑥 + 4 es un número real positivo.
b) En el año 1995 Alejandro Toledo era presidente del Perú.
c) Ocho es un número entero impar.
d) ¿Qué día de la semana es hoy?.
e) ¡Si el líquido de todas las bebidas tuvieran sabor dulce¡
f) Hasta el 30 de abril de año 2015, Juan tenía plazo para pagar.
2. Sean p, q y r las proposiciones siguientes:
P: Has obtenido nota aprobatoria en el examen parcial.
q: Has resuelto todos los los ejercicios de este libro.
r: Has obtenido la nota 20 en esta asignatura.
Escribe las siguiente proposiciones utilizando p, q y r y los conectivos lógicos:
a) Has resuelto todos los ejercicios de este libro, has obtenido la nota 20 en esta asignatura
, y también una nota aprobatoria en el examen parcial.
b) Para obtener la nota 20 en esta asignatura, es condición necesaria obtener una nota
aprobatoria en el examen parcial.
c) Conseguir una nota aprobatoria en el examen parcial y obtener la nota 20 en esta
asignatura es suficiente para resolver todos los ejercicios de este libro.
d) Has resuelto todos los ejercicios de este libro, pero no has obtenido nota aprobatoria
en el examen parcial.
3. Construye las tablas de verdad de cada una de las proposiciones siguientes:
a) [(𝑝 ⇒ 𝑞) ∧ 𝑝] ⇒ 𝑞
b) [(𝑝 ⇒ 𝑞) ∧ ~𝑞] ⇒ ~𝑝
c) [(𝑝 ∧ (𝑝 ⇒ 𝑞))] ⇒ 𝑞
4. Probar las tautologías de la ley del absurdo construyendo las tablas de verdad de:
a) [(𝑝 ∨ 𝑞) ∧ ~𝑝] ⇒ 𝑞
b) [(𝑝 ⇒ 𝑞) ∧ (𝑝 ⇒ ~𝑞)] ⇒ ~𝑝
5. Probar la tautología de la ley de la contra recíproca, verificando la tabla de verdad de
(𝑝 ⇒ 𝑞) ⟺ (~𝑞 ⇒ ~𝑝)
6. Probar las tautologías de las leyes de Morgan, verificando las tablas de verdad de:
a) ~(𝑝 ∧ 𝑞) ⇔ (~𝑝 ∨ ~𝑞)
b) ~(𝑝 ∨ 𝑞) ⇔ (~𝑝 ∧ ~𝑞)
7. Probar la tautología de la ley de la “ REDUCION AL ABSURDO” verificando la tabla de verdad
de : [(𝑝 ∧ ~𝑞) ⇒ (𝑟 ∧ ~𝑟)] ⇔ (𝑝 ⇒ 𝑞)
8. Relaciona cada una de las siguientes tautologías con el correspondiente argumento:
Tautologías:
a) 𝑞 ⇒ (𝑝 ∨ 𝑞)
b) (𝑝 ∧ 𝑞) ⇒ 𝑞
c) (𝑝 ∧ 𝑞) ⇒ 𝑝
d) (𝑝 ⇒ 𝑞) ⇔ (~𝑞 ⇒ ~𝑝)
Argumentos:
 i) 𝑥 < 4 𝑦 𝑥 < −3, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑥 < −3
ii) 𝑛 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑝𝑜𝑟 4, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑛 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑝𝑜𝑟 5 𝑜 𝑛 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑝𝑜𝑟 4
iii) Si 𝑥 5 = 𝑦 5 , 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑥 = 𝑦, 𝑝𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜 𝑠𝑖 𝑥 ≠ 𝑦, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑥 5 ≠ 𝑦 5
iv) Si 𝑥 ≥ 1 𝑦 𝑥 ≥ 4, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑥 ≥ 1
9. Consideramos como universo el conjunto de los números enteros. Determine cuáles de las
siguientes proposiciones son verdaderas y cuáles son falsas. Escribir la negación de cada
una.
a) ∀𝑥: 𝑥 + 1 > 𝑥
b) ∀𝑥: 𝑥 < 2
c) ∀𝑥: 𝑥 > 0 𝑜 𝑥 < 0
d) ∃𝑥 ∶ 𝑥 2 ≥ 𝑥
e) ∃𝑥: 𝑥 = 𝑥 + 1
f) ∃𝑥: 𝑥 2 = 2.
10. Consideramos como Universo el conjunto de los números naturales, determinar si la
siguiente proposición es verdadera y escribir su negación
∀𝑥 [𝑠𝑖 𝑥 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 5, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑥 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 10]
11. Niegue las siguientes proposiciones:
a) ∀𝑥 ∃𝑦 [𝑝(𝑥) ∧ ~𝑞(𝑥)]
b) ∃𝑥 ∀𝑦 [𝑝(𝑥) ⇒ 𝑞(𝑥)]
c) ∀𝑥 ∀𝑦 [𝑝(𝑥 , 𝑦)]

Lima, 6 de Mayo del 2022

Los Profesores de curso.