sábado, 25 de abril de 2015

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