En lógica y
matemática, 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.