El documento presenta varias proposiciones lógicas y evalúa sus tablas de verdad. Explica conceptos como proposición, enunciado aseverativo, verdadero y falso. Muestra ejemplos y demuestra si algunas proposiciones son tautologías o contingencias evaluando sus tablas de verdad.

1. DEMETRIO CCESA RAYME

3. Proposición.- Es aquel enunciado aseverativo
(afirma algo) del cual se puede señalar si es
verdadero o falso, pero no ambos a la vez, con
respecto a su realidad. Verdadera
Proposición
Falsa
Ejemplos: - Messi es un gran futbolista.
ENUNCIADO
ASEVERATIVO
REALIDAD
OBJETIVA

4. Proposición.- Es aquel enunciado aseverativo
(afirma algo) del cual se puede señalar si es
verdadero o falso, pero no ambos a la vez, con
respecto a su realidad.

14. p q ~ (p ˄ q) ↔ (~p v ~q)
V
V
F
F
V
F
V
F
Evaluar la tabla de verdad de la proposición compuesta
~ (p Λ q) ↔ (~p V ~q)

15. p q ~ (p ˄ q) ↔ (~p v ~q)
V
V
F
F
V
F
V
F
F
V
V
V
V
F
F
F
V
V
V
V
F
V
V
V
Evaluar la tabla de verdad de la proposición compuesta
~ (p Λ q) ↔ (~p V ~q)

16. p q [(p v ~q) ˄ q] → p
V
V
F
F
V
F
V
F
Demostrar que las proposiciones dadas es una tautología:
[(p v ~q) ˄ q] →p

17. p q [(p v ~q) ˄ q] → p
V
V
F
F
V
F
V
F
V
V
F
V
V
F
F
F
V
F
V
F
V
V
V
V
V
V
F
F
Demostrar que las proposiciones dadas es una tautología:
[(p v ~q) ˄ q] →p

18. p q r [~p ˄ (q v r)] ↔ [(p v r) ˄ q]
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
Verificar que la proposición dada es una contingencia:
[~p ˄(q v r)] ↔ [(p v r) ˄ q]

19. p q r [~p ˄ (q v r)] ↔ [(p v r) ˄ q]
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
F
V
V
V
F
V
V
V
F
F
F
V
V
V
F
F
V
V
V
V
V
V
F
V
F
V
V
F
F
V
F
F
F
V
V
F
F
V
V
F
F
Verificar que la proposición dada es una contingencia:
[~p ˄(q v r)] ↔ [(p v r) ˄ q]

20. p q r [(~p v q) v (~r ˄ ~p)] ~q→~p
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
Determinar si las proposiciones:
[(~p v q) v (~r ˄ ~p)] y ~q→ ~p son equivalentes

21. p q r [(~p v q) v (~r ˄ ~p)] ~q→~p
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V
F
F
F
F
F
V
F
V
V
V
F
F
V
V
V
V
Determinar si las proposiciones:
[(~p v q) v (~r ˄ ~p)] y ~q→ ~p son equivalentes

27. B)
A)
C)
D)
E)

29. 3.

30. 3.

31. 4.

32. 4.

33. 5.

34. 5.