CONECTIVOS LÓGICOS

Conectivos Lógicos 

Son utilizados para la unión de dos o más proposiciones simples para generar proposiciones compuestas. 

Conjunción: La tabla que define esta operación establece que la conjunción es verdadera únicamente cuando p y q son verdaderas. 

Disyunción: La proposición disyuntiva o disyunción , p v q, es falsa únicamente cuando las proposiciones simples son falsas. 

Condicional o implicación: La proposición p  se llama antecedente, y la proposición q se llama consecuente de la condicional o implicación. La tabla nos muestra que la implicación solo es falsa si el antecedente es verdadero y el consecuente es falso. 

Bicondicional o doble implicación: Sólo es verdadera si ambas proposiciones tienen el mismo valor de verdad. 

LEYES DE MORGAN 

Las leyes de Morgan son una parte de la lógica proposicional y analítica, creada por Augustus de Morgan.

Son muy útiles cuando se quieren encontrar equivalentes para proposiciones que se optienen por negación de proposiciones compuestas. 

"La negación de una conjunción equivale a la disyunción de las negaciones"

"La negación de una disyunción equivale a la conjunción de las negaciones"