Conectivos lógicos definición.

La negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos. Intuitivamente, la negación de una proposición es verdadera cuando dicha proposición es falsa, y viceversa.

Una conjunción lógica es un operador lógico que resulta en verdadero si los dos operadores son verdaderos.

Una Disyunción lógica es falsa cuando ambas proposiciones lo son, en caso contrario serán verdaderas.

Una implicación es falsa , cuando  el antecedente es verdadero y el consecuente falso.

Una doble implicación solo sera verdadera si ambas proposiciones tienen el mismo valor de verdad.

Una diferencia Simétrica es verdadera si ambas proposiciones tienen diferente valor de verdad.