Lógica matemática.

Operadores lógicos:

Negación:



Sea a una proposición, la negación de a, representada simbólicamente por ¬a  es una nueva proposición, cuyo valor de verdad esta dado por la siguiente tabla de verdad.

  a       ¬a  

o         1

1         0

Este operador lógico cambia el valor de verdad de una proposición. la negación se representa en los siguientes términos gramaticales: "no", "ni", "no es verdad", "que no es cierto que".

Ejemplo:

• Tengo un auto rojo.

Negación de a:

• No tengo un auto rojo.

  a       ¬a  

o         1

1         0