INSTITUTO UNIVERSITARIO DE TECNOLOGA

DR. JOS GREGORIO HERNNDEZ

Materia: Lgica
Docente: Ing. Marbec Uzctegui

Unidad III: Clculo Proposicional

EJERCICIOS


1. Construye las tablas de verdad e indica si se trata de tautologas, contradicciones o
contingencias.

a. ~p q
b. (p q) p
c. (p ~q) (p ~q)
d. (p ~q) (p ~q)
e. (~p q) (p q)

2. Formaliza los siguientes razonamientos, indicando qu enunciado simple corresponde a cada
variable que uses, y escribiendo la frmula lgica usando la Ley del Condicional Asociado.
Decir si los razonamientos son vlidos mediante las tablas de verdad.

a. Si Juan es mafioso, entonces lava dinero.
Juan es mafioso.
Juan lava dinero.

b. Si apruebo el primer trimestre ser que los profesores son muy generosos o que mi
madre ha hecho una novena a los santos.
No es el caso que mi madre haga novenas a los santos.
Los profesores son muy generosos.

c. Si estalla la fbrica de explosivos, entonces se derrumbarn los edificios de la
poblacin ms cercana.
Si se derrumban los edificios de la poblacin ms cercana, entonces habr un nmero
elevado de vctimas.
Si estalla la fbrica de explosivos, entonces habr un nmero elevado de vctimas