Logica matematica (tautología)
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
-
Upload
ing-clemente-silva-gutierrez -
Category
Documents
-
view
1.167 -
download
0
Transcript of Logica matematica (tautología)
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