Taller 1 Lógica Proposicional 2021-1

UNIVERSIDAD DEL MAGDALENA
PROGRAMA DE INGENIERÍA DE SISTEMAS

MATEMÁTICAS DISCRETAS
TALLER 1: Lógica Proposicional
Doc: Mg. Alvaro Espinosa Pérez
1. Sean 𝑝, 𝑞 y 𝑟 los enunciados:

𝑝: 𝑆𝑒 ℎ𝑎𝑛 𝑣𝑖𝑠𝑡𝑜 𝑜𝑠𝑜𝑠 𝑝𝑎𝑟𝑑𝑜𝑠 𝑝𝑜𝑟 𝑙𝑎 𝑧𝑜𝑛𝑎.
𝑞: 𝐸𝑠 𝑠𝑒𝑔𝑢𝑟𝑜 𝑐𝑎𝑚𝑖𝑛𝑎𝑟 𝑝𝑜𝑟 𝑒𝑙 𝑠𝑒𝑛𝑑𝑒𝑟𝑜.
𝑟: 𝐿𝑎𝑠 𝑏𝑎𝑦𝑎𝑠 𝑑𝑒𝑙 𝑠𝑒𝑛𝑑𝑒𝑟𝑜 𝑒𝑠 𝑡á𝑛 𝑚𝑎𝑑𝑢𝑟𝑎𝑠.
Expresa estos enunciados usando 𝑝, 𝑞, 𝑟 y conectivos lógicos:
Para que sea seguro caminar por el sendero, es necesario, pero no suficiente, que las
bayas del sendero no estén maduras y que no se hayan visto osos pardos por la zona.
2. Escriba y niegue correctamente los siguientes enunciados usando los conectivos

a. No estamos bajo cero y no nieva.
b. Si 𝑛 es divisible entre 6, entonces 𝑛 es divisible entre 2 y 𝑛 es divisible entre 3.
c. Puedes acceder a internet desde el campus solo si estudias ciencias de la computación o no eres alumno de
primer semestre.
d. El tren llega con retraso exactamente aquellos días que tengo que tomarlo.
e. No puedes montar en la montaña rusa si mides menos de 1,20 m, a no ser que seas mayor de dieciséis años.
3. Establecer si la siguiente proposición es tautología, contingencia o contradicciones:

[𝑝  (~𝑞  ~ 𝑟)]  [(~𝑝  ~𝑞 ) (𝑝  ~𝑟)]
4. Si 𝑝 y 𝑟 son falsas y que 𝑞 y 𝑠 son verdaderas, halle el valor de verdad de:
[𝑠  ∼ ( 𝑞 𝑟)]  {[(𝑝  (∼ 𝑟  𝑝)]  𝑠}
5. Hallar la Reciproca, la contraria y la contrareciproca de la siguiente proposición:
Si hay un error de sintaxis en las primeras cinco líneas, entonces, falta un punto y coma
o el nombre de una variable está mal escrito.
6. Demuestra que ~𝑝 ↔ 𝑞 𝑦 𝑝 ↔ ~𝑞 son lógicamente equivalentes.
7. Establecer las siguientes equivalencias simplificando las proposiciones del lado izquierdo:
a. {[𝑝 ∧ (∼ (∼ 𝑝 ∨ 𝑞 ))] ∨ (𝑝 ∧ 𝑞 )}  𝑝
b. [𝑃  (𝑄  𝑆) (∼ 𝑄  𝑆)]  𝑃  𝑆
8. Conteste las siguientes preguntas:

a. Si 𝑝  ~𝑞 es falsa, determine el valor de verdad de (𝑝   𝑞 ) 𝑞
b. Si la flecha de Peirce ↓, se define como: 𝑃 ↓ 𝑄 ⟺ ∼ (𝑃  𝑄).
A. Demuestre que: 𝑃 ↓ 𝑄  (𝑃 ↓ 𝑃) ↓ (𝑄 ↓ 𝑄).
B. Escriba 𝑃  𝑄 usando sólo flechas de Peirce.
c. Un explorador es capturado por un grupo de caníbales. Hay dos clases de caníbales: aquellos que siempre
dicen la verdad y aquellos que siempre mienten. Los caníbales se cenarán al explorador a menos que éste
pueda determinar sí un caníbal en particular dice siempre la verdad o siempre miente. Al explorador le permiten
que haga exactamente una pregunta a uno ele los caníbales.
A. Explica por qué la pregunta «¿Eres un mentiroso?» no va a funcionar.
B. Encuentra una pregunta que el explorador pueda usar para determinar si el caníbal dice siempre la
verdad o siempre miente.
9. DEDUCCIONES:
a. Está a punto de salir para la escuela en la mañana y descubre que no tiene sus lentes. Sabe que los siguientes
enunciados son verdaderos:
A. Si yo estaba leyendo el periódico en la cocina, entonces, mis lentes están sobre la mesa de la cocina.
B. Si los lentes están sobre la mesa de la cocina, entonces los vi en el desayuno.
C. No he visto mis lentes en el desayuno.
D. Yo estaba leyendo el periódico en la sala o estaba leyendo el periódico en la cocina.Si yo estaba leyendo
el periódico en la sala entonces, mis lentes están sobre la mesa del café.
¿Dónde están los lentes? __________________________________________________________________
UNIVERSIDAD DEL MAGDALENA
PROGRAMA DE INGENIERÍA DE SISTEMAS
MATEMÁTICAS DISCRETAS
TALLER 1: Lógica Proposicional
Doc: Mg. Alvaro Espinosa Pérez
b. Si este programa de computadora es correcto, entonces produce la salida correcta cuando se ejecuta con los
datos de prueba que me dio el profesor. Este programa de computadora genera la salida correcta cuando se
ejecuta con los datos de prueba que me dio mi profesor. Por lo tanto: Este programa de computadora es
correcto.
A. Preparo el examen de lógica o me voy a una salida de campo.
B. Si preparo el examen de lógica, entonces obtengo una buena calificación en la prueba final.
C. Si me voy a una salida de campo entonces, disfruto las bellezas de la naturaleza.
En conclusión, tenemos:
 Si preparo el examen de lógica entonces, no disfruto las bellezas de la naturaleza.
 Obtengo una buena calificación en la prueba final o disfruto las bellezas de la naturaleza.
 Si me voy a una salida de campo entonces, no obtengo una buena calificación en la prueba final.
 No voy a una salida de campo y no obtengo una buena nota en la prueba final.
¿Qué regla de inferencia aplicaste para obtener tu conclusión? ______________________
10. En los siguientes ejercicios utiliza las reglas de inferencia para llegar a la conclusión:
a. Demostrar : ~𝑞 1) 𝐿 ∨ 𝑟
1) (~𝑝 ∨ 𝑞 )  𝑟 2) 𝑟 → 𝑡 ∧ ℎ
2) 𝑠 ∨ ∼ 𝑞 3) ∼ 𝐿 → ℎ
3) ∼ 𝑡 4) ∼ (𝑡 ∧ 𝑤)
4) 𝑝  𝑡 5) ∼ 𝑤
5) (∼ 𝑝 ∧ 𝑟)  ∼ 𝑠 d. Demostrar: x < 6
b. Demostrar : 𝑝  𝑘 1) x > y  x < 6
1) 𝑏  𝑝 2) x > y   (y < z  z > x)
2) 𝑗  𝑘 3) (x < 7  x = 5)  (z > x  y < z)
4) x > y  x > 4
3) ~𝑏  (~𝑗 → 𝑑 )
5) x > 4  x = 5  x < 7
4) ~𝑑 6) x < 6  x = 5  x < 7
c. Demostrar por reducción al absurdo: 𝐿 ∧ 𝑤
e. En cada caso simbolice cada proposición simple, represente cada premisa, y obtenga lógicamente la
conclusión:
Si la llave utilizada es la adecuada, entonces se abrirá la puerta, y la alarma no sonará. Si la llave utilizada no
es la adecuada, entonces no se abrirá la puerta, y la alarma sonará. El jefe intentara abrir la puerta si, y solo
si, la llave es la adecuada. El secretario intentara abrir la puerta. El secretario no intentara abrir la puerta, o la
llave no es la adecuada. Se deduce que: La puerta no se abrirá, y la alarma sonará.
11. CUANTIFICADORES
a. Sea 𝐴 = {0, 3, 6, 9} y 𝐵 = {0, 1, 2, 3, 4,5}. Determine el valor de verdad de las siguientes Proposiciones
A. (∀𝑦 ∈ 𝐴)( ∃𝑥 ∈ 𝐵)[𝑦 = 3𝑥 ]
𝑦
B. (∃𝑥 ∈ 𝐵)(∀𝑦 ∈ 𝐴) [ ∈ 𝐵]
𝑥
b. Simbolice y negar correctamente las siguientes proposiciones:
A. Algún número entero es un número real.
B. Cualquier entero par es igual al doble de un número entero.
C. Para todos los números reales 𝑟, −𝑟 no es un número real negativo.
c. Negar las siguientes proposiciones:
A. ∀ 𝑥 ∈ 𝑅, 𝑠𝑖 𝑥(𝑥 + 1) > 0 entonces 𝑥 > 0 ó 𝑥 < −1.
B. ∃𝑦 ∈ 𝑅+ tal que √𝑦 ≥ 0.
C. ∀𝑥 ∈ 𝑍 𝑦 ∀𝑦 ∈ 𝑍, ∃𝑧 ∈ 𝑍 tal que 𝑧 = 𝑥 − 𝑦.

Taller 1 Lógica Proposicional 2021-1

Cargado por

Copyright:

Formatos disponibles

Taller 1 Lógica Proposicional 2021-1

Cargado por

Información del documento

Descripción 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

Taller 1 Lógica Proposicional 2021-1

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD DEL MAGDALENA

PROGRAMA DE INGENIERÍA DE SISTEMAS

1. Sean 𝑝, 𝑞 y 𝑟 los enunciados:

2. Escriba y niegue correctamente los siguientes enunciados usando los conectivos

3. Establecer si la siguiente proposición es tautología, contingencia o contradicciones:

6. Demuestra que ~𝑝 ↔ 𝑞 𝑦 𝑝 ↔ ~𝑞 son lógicamente equivalentes.

8. Conteste las siguientes preguntas:

También podría gustarte