A  B  C  D  E  F  G  H  I  J  L  M  N O  P  R  S  T  V

Glosario N

negación

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)