Práctica Dirigida de Lógica Proposicional

UNIVERSIDAD NACIONAL DE CAÑETE
FACULTAD DE ESTUDIOS GENERALES

PRÁCTICA DIRIGIDA N°01 DE MATEMÁTICA DISCRETA
PARA INGENIERÍA DE SISTEMAS
TEMA: LÓGICA PROPOSICIONAL
1. Determine cuáles de los siguientes enunciados son proposiciones.

a) ¡Arriba Alianza!
b) Mañana vienen temprano.
c) ¿Cómo es tu nombre?
d) Él es futbolista peruano.
e) Compra cinco azules y cuatro rojas.
f) 𝑥 < 9.
g) 𝑥 2 + 𝑦 3 = 25.
h) 𝑥 + 5 = 11.
i) Ella tiene 16 años.
j) 2 es un número compuesto.
k) Juan y Antonio son amigos.
l) Juan y Antonio son amigos de María.
2. Escribir simbólicamente las siguientes proposiciones:

a) Daniel se recuperará cuando y solo cuando cumpla con las indicaciones del médico.
b) Las acciones están aumentando, pero las tasas de interés son constantes.
c) Ni las acciones aumentan ni las tasas de interés son estables.
d) La química como la matemática son ciencias.
e) Juan estudia la licenciatura en matemáticas, pero no estudia la licenciatura en ciencias
computacionales.
f) José está recuperándose a menos que cometa imprudencia.
g) Rosario estudió bastante, pero desaprobó.
h) Estudió de modo que ingresó.
i) Carlos se va al parque salvo que cambie de opinión.
j) Terminé mi trabajo por lo tanto iré a descansar.
k) Manuel triunfó puesto que se esforzó.
l) Juan y Carlos son compadres desde hace mucho tiempo.
m) Llegarán tarde porque son irresponsables.
n) O este polinomio tiene grado 2 o tiene un grado 3, pero no ambos
3. Sean 𝑝: Juan es sano, 𝑞: Juan es rico y 𝑟: Juan es sabio. Expresar simbólicamente cada
proposición siguiente:
a) Juan es sano y rico, pero no sabio.
b) Juan no es rico, pero es sano y sabio.
c) Juan ni es sano, rico, ni sabio.
d) Juan ni es rico ni sabio, pero es saludable.
e) Juan es rico, pero no es sano y sabio.
4. Hallar la tabla de verdad para cada una de las siguientes proposiciones e indicar si es
tautología, contradicción o contingencia.
a) (𝑝 ∧ 𝑞) → [(∼ 𝑞 ⊕∼ 𝑝) →∼ 𝑝]
b) [(𝑝 ∧ 𝑞) ↔ 𝑝] ∧ [𝑞 ⊕∼ (𝑝 ⊕ 𝑞)]
c) [𝑝 →∼ 𝑝] ↔ [(𝑞 ∧∼ 𝑝) ⊕∼ 𝑝]
d) (𝑝 ∧ 𝑟) → [(𝑞 ↔ 𝑟) ∧∼ (𝑝 ↔ 𝑟)]
e) [(𝑝 ∧ 𝑞) → 𝑟] ∧ [𝑞 ∨∼ (𝑝 ↔ 𝑞)]
f) [𝑝 →∼ (𝑞 ∧ 𝑟)] ↔ [(𝑞 ∧ 𝑟) ∨∼ 𝑟]
g) [𝑝 → (𝑞 →∼ 𝑝)] → (𝑝 ∧∼ 𝑟)
h) [𝑝 ⊕∼ (𝑞 ⊕ 𝑟)] ↔ [(𝑞 ∨ 𝑟) ∨∼ 𝑟]
i) [𝑝 → (𝑞 ⊕∼ 𝑝)] → (𝑝 ⊕∼ 𝑟)
5. Determinar, en cada caso, si la información que se da es suficiente para conocer el valor de

verdad de las siguientes proposiciones compuestas. Justificar.
a) (𝑝 → 𝑞) → 𝑟; 𝑟 ≡ 𝑉.
b) (𝑝 ∨ 𝑞) ↔ ((∼ 𝑝) ∧∼ 𝑞); 𝑞 ≡ 𝑉.
c) (𝑝 ∨ 𝑞) → (𝑝 ∨ 𝑟); 𝑝 ≡ 𝑉 y 𝑟 ≡ 𝐹.
d) 𝑝 ∧ (𝑞 → 𝑟); 𝑝 → 𝑟 ≡ 𝑉.
6. Probar todas las leyes lógicas de la diapositiva de la clase.
7. Utilice las leyes de De Morgan para escribir las negaciones de las siguientes frases:
a) Hal estudia la licenciatura en matemáticas y la hermana de Hal es estudiante de la
licenciatura en ciencia computacional.
b) Sam es un cinturón de color naranja y Kate es un cinturón rojo.
c) El conector está suelto o el equipo esté desconectado.
d) El dígito de las unidades de 467 es 4 o es 6.
e) Este programa de computadora tiene un error de lógica en las primeras diez líneas o
se ejecuta con un conjunto incompleto de datos.
f) El dólar está en su punto más alto de todos los tiempos y el mercado de valores está
en un mínimo histórico.
g) El tren llegó tarde o mi reloj se adelantó.
8. Responder si es verdad o no las siguientes equivalencias lógicas:

a) 𝑝 ⊕ 𝑞 ≡ (𝑝 ∨ 𝑞) ∧∼ (𝑝 ∧ 𝑞)
b) (𝑝 ⊕ 𝑞) ⊕ 𝑟 ≡ 𝑝 ⊕ (𝑞 ∧ 𝑟)
c) (𝑝 ⊕ 𝑞) ∧ 𝑟 ≡ (𝑝 ∧ 𝑟) ⊕ (𝑞 ∧ 𝑟)
9. Responder si las dos proposiciones siguientes son equivalentes o no

a) Bob estudia dos carreras en matemáticas y en ciencias de la computación y Ann es una
estudiante de la licenciatura en matemáticas, pero Ann no estudia dos carreras en
matemáticas y en ciencias de la computación.
b) No es el caso de que tanto Bob como Ann estudien dos carreras en matemáticas y en
ciencia computacional, pero es el caso de que Ann es una estudiante de la licenciatura
en matemáticas y que Bob estudia dos carreras en matemáticas y en ciencias de la
computación.
10. Teniendo una gran visión de su educación, va a la corporación Prestigio y pregunta qué
debe estudiar en la universidad para que se le contrate cuando se gradúe. El director de
personal responde que se le contratará sólo si hace una carrera de matemáticas o en
ciencias de la computación, obtiene un promedio de B o mejor y toma el curso de
contabilidad. De hecho, lo hace, estudia matemáticas, obtiene un promedio de B+ y estudia
contabilidad. Regresa a la compañía Prestigio, hace una solicitud formal y es rechazada. ¿El
director de personal le mintió?
11. “Si el compuesto X está hirviendo, entonces, su temperatura debe ser de al menos 150 °C”.
Suponiendo que este enunciado sea verdadero, ¿cuál de los siguientes enunciados también
debe ser verdadero?
a) Si la temperatura del compuesto X es al menos de 150 °C, el compuesto X está
hirviendo.
b) Si la temperatura del compuesto X es menor de 150 °C, entonces, el compuesto X no
está hirviendo.
c) El compuesto X hierve sólo si su temperatura es de al menos 150 °C.
d) Si el compuesto X no está hirviendo, entonces, su temperatura es inferior a 150 °C.
e) Una condición necesaria para que el compuesto X hierva es que su temperatura es por
lo menos de 150 °C.
f) Una condición suficiente para que el compuesto X hierva es que su temperatura sea
por lo menos de 150 °C.
12. Simplificar las siguientes proposiciones:

a) ∼ [∼ (𝑝 ∧ 𝑞) →∼ 𝑞] ∨ 𝑞
b) [(∼ 𝑝 ∧ 𝑞) → (𝑟 ∧∼ 𝑟)] ∧∼ 𝑞
c) [(𝑝 ∧ 𝑞) ∨ (∼ 𝑞 ∧ 𝑝)] ∨∼ (𝑝 ∨ 𝑞)
d) [∼ (𝑞 → 𝑝) → (∼ 𝑝 →∼ 𝑞)] ∧∼ (𝑝 ∧ 𝑞)
e) (𝑝 ∧∼ 𝑟) ∨ [∼ 𝑞 →∼ (𝑝 ∧ 𝑟)]
f) [{𝑝 → (∼ 𝑝 ∨ 𝑞)} ∧ {(𝑝 ∧ (𝑝 →∼ 𝑟)}] → 𝑟
g) [(∼ 𝑞 →∼ 𝑝) ∨ {(𝑞 ↔∼ 𝑝) ∧ (𝑝 → 𝑞)}] ∧ 𝑞
h) [∼ 𝑞 ∧ {(𝑝 →∼ 𝑞) → 𝑞}] → (𝑝 ∧ 𝑞)
i) [∼ (𝑝 → 𝑞) →∼ (𝑞 → 𝑝)] ∧ (𝑝 ∨ 𝑞)
j) [𝑞 ∧ (𝑞 →∼ 𝑝)] →∼ (𝑝 ∧ 𝑞)
k) ∼ [𝑝 ∧∼ (𝑝 ∧∼ 𝑞)] →∼ (𝑞 ∨∼ 𝑝)
l) [(𝑝 ∨∼ 𝑞) ∧ (∼ 𝑞 ↔ 𝑟) ∧ (𝑝 ∨∼ 𝑟)] → 𝑝
m) [(𝑝 ∧ 𝑞) ∧ ((𝑝 ∧ 𝑞) → 𝑟) ∧ (𝑟 → 𝑠)] → 𝑠
n) [(𝑝 ↔∼ 𝑞) ∧ (𝑞 ∨ 𝑟) ∧∼ 𝑟] →∼ 𝑞
o) [(∼ 𝑝 ∧ 𝑠) ∧ (𝑟 ∨∼ 𝑞) ∧ 𝑞] → [(𝑡 ∨ 𝑟) ∧∼ 𝑝]
p) ∼ [(∼ 𝑝 ∧∼ 𝑞) ∨ (𝑝 ∧ (𝑞 ∨∼ 𝑝))] →∼ (𝑝 ∧ 𝑞)
q) [𝑝 → (𝑞 ∧∼ 𝑝)] ∧ [{[∼ 𝑞 → (𝑝 ∧∼ 𝑟)] ∧ (𝑝 → 𝑟)} → 𝑞]
r) (∼ 𝑝 → 𝑟) ∧ [(𝑝 ∧∼ 𝑟) ∨ (∼ 𝑝 ∧∼ 𝑟) ∨ (∼ 𝑝 ∧ 𝑟)] ∧ (𝑝 ∨∼ 𝑟)
s) [𝑝 ∨ {𝑞 ∨ (∼ 𝑟 ∨∼ 𝑝)}] ∧ [(∼ 𝑝 ∧∼ 𝑞) ∨ (𝑝 ∨ 𝑞)]
t) [(𝑟 ∧ 𝑠) ∧ (𝑞 → (∼ 𝑠 ∨∼ 𝑟)) ∧ (𝑢 ∨ 𝑡) ∧ (𝑡 →∼ 𝑝) ∧ (𝑢 →∼ 𝑝)] →∼ (𝑝 ∨ 𝑞)
u) [(𝑞 →∼ 𝑝) ∧ (∼ 𝑞 → 𝑟) ∧ ((𝑝 ∧∼ 𝑟) ∨ 𝑠) ∧ ((𝑠 ∨ 𝑡) → 𝑟)] → 𝑟
San Vicente de Cañete, agosto del 2023

Mg. Jorge Rojas

Práctica Dirigida de Lógica Proposicional

Cargado por

Copyright:

Formatos disponibles

Práctica Dirigida de Lógica Proposicional

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Práctica Dirigida de Lógica Proposicional

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL DE CAÑETE

FACULTAD DE ESTUDIOS GENERALES

TEMA: LÓGICA PROPOSICIONAL

1. Determine cuáles de los siguientes enunciados son proposiciones.

2. Escribir simbólicamente las siguientes proposiciones:

5. Determinar, en cada caso, si la información que se da es suficiente para conocer el valor de

6. Probar todas las leyes lógicas de la diapositiva de la clase.

8. Responder si es verdad o no las siguientes equivalencias lógicas:

9. Responder si las dos proposiciones siguientes son equivalentes o no

12. Simplificar las siguientes proposiciones:

San Vicente de Cañete, agosto del 2023

También podría gustarte