Post on 19-Jul-2015
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