Negazione logica (simbolo)

Niente fonti!
Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.

La negazione logica, chiamata anche semplicemente negazione, non o not, è un simbolo scientifico di tipo matematico. Essa viene utilizzata in diversi campi di questa disciplina, ma la sezione che la utilizza maggiormente è senz'altro la logica matematica: qui la ¬ viene spesso adoperata insieme ad altri simboli, come l'et e il vel. Essa consiste graficamente in un segmento orizzontale, alla cui estremità destra è unito un secondo tratto, brevissimo, verticale e discendente, formante con il primo un angolo retto. L'etimologia del non è delle più semplici: servendo, infatti, per negare qualcosa in matematica, il nome negazione [dal latino negatio, onis, l'atto del negare] è più che appropriato.

Utilizzo

Il not viene utilizzato in matematica allo scopo di negare un'affermazione: se A {\displaystyle A} è la proposizione da contraddire, la scrittura dovrà essere ¬ A {\displaystyle \neg A} ; per quanto riguarda le tabelle di verità, dunque, la negazione è l'operatore più semplice ed intuitivo: se la proposizione A {\displaystyle A} è vera, allora ¬ A {\displaystyle \neg A} è falsa, e viceversa. Due negazioni affermano, per cui: A = ¬ ¬ A . {\displaystyle A=\neg \neg A.}

Notazione

La negazione di una proposizione p è simboleggiata in vari modi a seconda dei contesti di discussione e campi di applicazione. Riportiamo le seguenti varianti:

Notazione Pronuncia
¬p p negato
p p negato
~p p negato
Np enne p
p {\displaystyle p'} p primo,

complemento p

p ¯ {\displaystyle {\bar {p}}} p barra,

barra p

! p {\displaystyle !p} non p

È indifferente quale sia la notazione o il simbolo usato, comunque la negazione ¬p si può leggere come "non p".

Codice Alt

Sui sistemi Windows si ottiene il simbolo ¬ con ALT+170 del tastierino numerico oppure ALT+0172

Voci correlate

  • Congiunzione logica (simbolo)
  • Disgiunzione logica (simbolo)

Collegamenti esterni

  • (EN) Eric W. Weisstein, Negazione logica, su MathWorld, Wolfram Research. Modifica su Wikidata
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica