UNIVERSIDAD NACIONAL
AUTÓNOMA ALTOANDINA
DE TARMA
PLAN DE CLASE
CÓDIGO: CA-FI-EC-10
VERSIÓN: 01
VIGENCIA: A partir del 27 de
marzo de 2019
PÁGINA: 1 de 1
Práctica 2. Lógica proposicional
Formaliza las siguientes proposiciones y construya la tabla de verdad
1. Estás seguro y lo que dices es cierto o mientes como un farsante.
2. … “Si un animal fabuloso se enfada, te quedas paralizado del susto; y si te quedas
paralizado del susto, entonces no puedes sino apelar a su bondad y así no ser
engullido. Por lo tanto, si un animal fabuloso se enfada, tendrás que apelar a su
bondad o serás engullido.” …
3. Si acepto este trabajo o dejo de pintar por falta de tiempo, entonces no realizaré mis
sueños. He aceptado el trabajo y he dejado de pintar. Por lo tanto, no realizaré mis
sueños.
4. Todo número entero es primo o es compuesto. Si es compuesto, es un producto de
factores primos y si es un producto de factores primos, entonces es divisible por
ellos. Pero si un numero entero es primo, no es compuesto, aunque es divisible por
sí mismo y por la unidad y consiguientemente también divisible por números
primos. Por lo tanto, todo número entero es divisible por números primos.
Construya la tabla de verdad de los siguientes casos, indique si existe
Tautología, Contradicción o Contingencia (Indeterminaciones)
5. ~p ˄ q
6. ~p ˅ q
7. ~p ˄ ~q
8. (p ˄ q) → p
9. (~p ˅ q) → ~q
10. p ↔ ~p
11. (p ˅ ~q) ˅ p
12. (p → q) ↔ (p ˄ q)
13. (p ↔ q) ˄ ~p
14. (p ↔ ~q) ˄ (p ˅ ~q)
15. (p ↔ ~q) ˅ (p ˅ ~q)
16. (~p ˅ q) ↔ (p → q)
17. [~ (p → q) ˅ (p ↔ q)] ˄ [(~p → q) ˅ ~p]
18. (p ˄ q) → [~ (~p ˅ ~q)]
19. (p → q) ↔ [~ (p ˄ ~q)]
20. (p ˅ q) → [~ (~p ˄ ~q)]
