Matemática Estructural y Lógica

2023-2, Valérie Gauthier Umaña

Laboratorio 1
15 de agosto de 2023

Temas
1. Lógica proposicional
2. Aplicaciones de lógica proposicional
Ejercicio 1
Sean p y q las proposiciones:

p: Usted maneja a más de 65 millas por hora.

q: Usted recibe una multa.

Reescriba las proposiciones usando p, q y conectores lógicos (incluyendo negaciones)

a) Usted no maneja a más de 65 millas por hora.
b) Usted maneja a más de 65 millas por hora, pero no recibe una multa.
c) Usted recibe una multa si maneja a más de 65 mph.
d) Si usted no maneja a más de 65 mph, entonces usted no recibirá una multa.
e) Manejar a más de 65 mph es suficiente para recibir una multa.
f ) Usted recibe una multa, pero usted no maneja a más de 65 mph.
g) Cuando usted reciba una multa, usted está manejando a más de 65 mph.
Ejercicio 2
Plantee las proposicines posibles y traduzca el siguiente enunciado a lógica proposicioneal utilizando
las proposiciones anteriormente planteadas.
”Puedes ver una pelı́cula si y solo si tienes 18 años o si tienes permiso de tus padres”.
Ejercicio 3
Usando una tabla de verdad diga si la siguiente proposición es siempre verdadera:
(¬p ∧ (p → q)) → ¬q
Ejercicio 4
Realice una tabla de verdad para la siguiente proposición.

(p → q) ∧ (p → ¬q) ∧ (¬p → q) ∧ (¬p → ¬q)

Ejercicio 5 Construya una tabla de verdad para cada una de estas proposiciones compuestas.
1) (p ↔ q) ⊕ (¬p ↔ ¬r)
2) (p ⊕ q) → (p ⊕ ¬q)

Página 1 de 1