INSTITUTO DE ESTUDIOS BANCARIOS “GUILLERMO SUBERCASEAUX”

Fundado en 1929

GUIA DE EJERCICIOS DE LOGICA PROPOSICIONAL

SEMESTRE 1-2011

1.- Use tablas de verdad para clasificar las siguientes proposiciones como: Tautología,
Contradicción o Contingencia.

2- Sea p, q, r proposiciones. Demostrar con y sin tabla de verdad que las siguientes proposiciones
son tautologías.

3.- Demuestre mediante algebra de proposiciones:

4.- Usando los datos proporcionados en cada caso, obtenga el valor de verdad solicitado:
 INSTITUTO DE ESTUDIOS BANCARIOS “GUILLERMO SUBERCASEAUX”
Fundado en 1929

5.- Sabiendo que la proposición compuesta es verdadera,

Determine el valor de verdad de

6.- Demuestre que cada una de las siguientes proposiciones son tautología utilizando algebra de
proposiciones.

7.- Construya la tabla de verdad de las siguientes expresiones lógicas:

i) (p → ~q) v (~p v r)
ii) p → (q ^ r)
iii) (p → ~ r) ↔ (q v p)
iv) (~p ^ q) → ~ (q v ~r)
 INSTITUTO DE ESTUDIOS BANCARIOS “GUILLERMO SUBERCASEAUX”
Fundado en 1929

8.- Construya una tabla de verdad indicando si corresponde a una Tautología, contradicción o
contingencia los siguientes enunciados:

a) “O estás seguro y lo que dices es cierto o mientes como un bellaco.”

b) Si Pablo no atiende en clase o no estudia en casa, fracasará en los exámenes y no será
aplaudido
c) Si no es el caso que Pablo atiende en clase y estudia en casa, entonces fracasará en los
exámenes o no será aplaudido

9.- Sean P, Q y R fórmulas. Determinar cuáles de las siguientes proposiciones son tautologías:

• P ∧Q →P ∧R (P → Q ) → ( ~ Q → P )
• P →P ∧Q (P ↔ Q) ∧ (P ∧ ~ Q)
• P ∧ ~ (Q ∨ P) P ∧ ~ ((P ∨ Q) ∨ R)
• (P → (Q ∨ ~ P)) → ~ Q P ∨ (~ P ∨ R)