Matemáticas Discretas 2023-1

UNIVERSIDAD DEL MAGDALENA

PROGRAMA DE INGENIERÍA DE SISTEMAS
MATEMÁTICAS DISCRETAS
TALLER 1: Lógica Proposicional
Valor: 15 Puntos
Mg. Alvaro Espinosa Pérez

1. Sean 𝑝, 𝑞 y 𝑟 los enunciados:

𝑝: Se han visto osos pardos por la zona.
𝑞: Es seguro caminar por el sendero.
𝑟: Las bayas del sendero están maduras.
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. Estamos bajo cero y nieva.
b. Si 𝑛 es divisible entre 6, entonces 𝑛 es divisible entre 2 o 𝑛 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.
3. Tabulas de Verdad:
a. Establecer si la siguiente proposición es tautología, contingencia o contradicciones:
[~𝑝  (𝑞 ~ 𝑟)]  [(~𝑝  𝑞) (~𝑝 ~𝑟)]
b. Si 𝑝 y 𝑟 son falsas y que 𝑞 y 𝑠 son verdaderas, halle el valor de verdad de:
[∼ 𝑠  ( 𝑞 𝑟)]  {[(𝑝  (∼ 𝑟  𝑝)]  𝑠}
4. Hallar la Reciproca, la contraria y la contrareciproca de la siguiente proposición:
Si no hay un error de sintaxis en las primeras cinco líneas, entonces, falta un punto y
coma y el nombre de una variable está mal escrito.

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

6. Establecer las siguientes equivalencias simplificando las proposiciones del lado izquierdo:
{[𝑝 ∧ (∼ (∼ 𝑝 ∨ 𝑞))] ∨ (𝑝 ∧ 𝑞)}  𝑝

7. 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.

8. 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.