Negación de una proposición compuesta, leyes de De Morgan
La ley lleva el nombre de Augustus De Morgan que presentó una versión formal de las leyes de la lógica proposicional clásica. Las leyes de De Morgan pueden ser probadas fácilmente, e incluso pueden parecer triviales. Sin embargo, estas leyes son útiles para hacer inferencias válidas en las pruebas y los argumentos deductivos.
Ejemplo:p= Jimena le gusta ver películas
q=Ángel le gusta escuchar música
~(Jimena le gusta ver películas y Ángel le gusta escuchar música)
Jimena no le gusta ver películas o Ángel no le gusta escuchar música
Ejemplo:
p= Jimena le gusta ver películas
q=Ángel le gusta escuchar música
~(Jimena le gusta ver películas o Ángel le gusta escuchar música)
Jimena no le gusta ver películas y Ángel no le gusta escuchar música
Comentarios
Publicar un comentario