1. UNIVERSIDAD NACIONAL ABIERTA Y
A DISTANCIA CIENCIAS BÁSICAS
Tutor: ING. Clemente Silva Gutiérrez
TEMA: TAUTOLOGÍA
LÓGICA MATEMÁTICA
Para los ejercicios 1, 2, 3, y 4; Demostrar que la proposición es tautología,
contradicción o contingencia.
1. [(p˄q)˄r]→[p˄(q˄ r)]
2. (~p ˄ q )
3. (p˄q)↔[(p→r)˅(q→r)]
4. ( p →q ) ˄ ( p ˄ ~q )
En los ejercicios 5, 6, y 7; Utiliza las leyes de lógica matemática, para demostrar
las siguientes tautologías:
5. ~ { [ ( ~p ) ˅ ( ~q ) ] ˅ ~q } = p ˄ q
6. ( p ˅ ~p ) ˄ [ p ˄ ( q ˅ p ) ] = p
7. ~ [ ~( p ˄ q ) → ~q ] ˅ q = q