Segno di negazione

¬ è il segno di negazione: in logica vuol dire «non», quindi ¬P si legge «non P» e, nella logica classica, è vera solo quando P è falsa. Sulle tastiere britanniche per PC si ottiene con Maiusc il tasto a sinistra dell’1. In chat, ¬_¬ è uno sguardo di traverso poco convinto.

Simbolo testuale

Cosa significa ¬

Rovescia un’affermazione: il vero diventa falso e viceversa. Se P è «piove», ¬P dice «non piove». Si incontra in logica, matematica, filosofia e informatica, accanto a (e), (o) e (se… allora). Questo semplice scambio è la lettura classica; altre logiche, come quella intuizionista, leggono ¬P come «P porta a una contraddizione».

Programmando, ¬ si scrive di rado. Il vecchio set di caratteri ASCII non lo prevedeva, e i linguaggi tipo C usano ! mentre Python la parola not. Il PL/I di IBM usa ancora ¬ sui mainframe, con al suo posto sulle macchine ASCII.

Perché premendo un tasto mi compare ¬?

Probabilmente la tastiera è impostata sul layout britannico per PC. Lì Maiusc il tasto a sinistra dell’1 dà ¬. La tastiera italiana non ha un tasto dedicato.

Fa parte delle raccolte

Cosa significa quando qualcuno te lo invia

Interpretazioni: 2

Negazione logica: «non».

Non confonderlo con

Tilde

Tilde. Alcuni manuali la usano per «non», ma è un altro carattere; non scambiarli nei programmi.

Punto esclamativo

Punto esclamativo, il «non» dei linguaggi tipo C.

⌐

Segno di negazione invertito

Segno di negazione rovesciato: l’uncino scende a sinistra.

┐

Angolo sottile verso il basso e a sinistra

Angolo per disegnare tabelle di testo, non un segno matematico.

Idee di combinazione

Sguardo di traverso: «sul serio?»

Doppia negazione: «non non P», pari a P nella logica classica.

Da sapere

Un articolo del 1930 del logico olandese Arend Heyting è il primo uso documentato di ¬. Prima, i Principia Mathematica di Russell e Whitehead scrivevano la negazione con la tilde .