La negación es una función veritativa que afecta a una sola fbf (es monaria) una es verdadera cuando su componente es falso, y falsa cuando su componente es verdadero. También se usa la voz “negación” para referirse a la conectiva que denota esta función y a la fbf en la que actúa como conectiva dominante.
La negación se representa con el signo "¬", sí, la negación de p sería "¬p". A veces también se emplea la tilde "~" en su lugar ("~p"). Convencionalmente se admite que una letra proposicional p sin más representa la afirmación de p. La negación viene definida por su tabla de verdad:
| p | ¬p |
|---|---|
| V | F |
| F | V |
(v. función veritativa, conectiva)