UNIVERSIDAD DE LA AMAZONIA

FACULTAD DE INGENIERÍA
ASIGNATURA: Lógica y Algoritmos 1
Tema: LÓGICA PROPOSICIONAL

TALLER: Formalización de expresiones

Formalizar una expresión, se refiere a llevar una expresión dada (proposición compuesta)
a un lenguaje simbólico utilizando en este caso, letras para las proposiciones simples y
la aplicación de los respectivos conectores lógicos que las unen, de acuerdo con el sentido
de la expresión.

Ejemplo.
Expresión a formalizar: Si llueve y hay sol se ve el arcoíris.
Identificación de Proposiciones simples: p = Llueve
q = Hay sol
r = Se ve el arcoíris.
Formalización: (p ∧ q) → r

Con esta expresión formalizada se construye la respectiva tabla de verdad, aplicando

las reglas de cada conector lógico.

ACTIVIDAD A REALIZAR

1. Formalizar las siguientes expresiones, llevando a cabo el procedimiento

explicado en clase y en este documento.
2. Construir la tabla de verdad de cada una de las expresiones formalizadas

EXPRESIONES

1. Si no estuvieras loca, no habrías venido aquí.

2. Llueve y, o bien nieva o sopla el viento.
3. O está lloviendo y nevando o está soplando el viento.
4. Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras
violaciones de los derechos civiles.
5. Roberto hará el doctorado cuando y solamente cuando obtenga la licenciatura.
6. En los polos el frío es intenso únicamente si los planetas giran en torno al sol.
7. Siempre que los herbívoros corren o el frío en los polos es intenso, los planetas
giran en torno al sol.
8. Si no hay subsidios del gobierno para la agricultura, hay controles sobre la
agricultura.
9. Si hay controles sobre la agricultura, no hay depresión.
10. Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como
una regadera y dejaría que me internaran en un psiquiátrico.