NEGACIONES DE PREPOSICIONES Y LEYES DE MORGAN
NEGACIONES DE PREPOSICIONES Y LEYES DE MORGAN Las leyes de De Morgan son dos leyes lógicas pertenecientes a la lógica proposicional que fueron formuladas por el matemático El opuesto de una conjunción es equivalente a la disyunción que se forma con los opuestos o negaciones de las proposiciones que conforman la conjunción. La negación de la disyunción se puede expresar como una conjunción conformada por los opuestos o negaciones de las proposiciones involucradas en la disyunción . En la notación de la lógica proposicional, las leyes de De Morgan se expresan de una forma compacta y más formal así: ∼ (p ∧ q) ⇔ ∼p ∨ ∼q ∼ (p ∨ q) ⇔ ∼p ∧ ∼q