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

Entradas más populares de este blog

Proposiciones y valores de verdad. Negación

Estrategia: resolver un problema similar más simple

Conjunción y Disyunción