Negazione (matematica)

La negazione è un'operazione logica unaria che applicata ad una proposizione p dà come risultato una nuova proposizione non p il cui valore di verità è l'inverso del valore di verità di p, ossia non p è vera se p è falsa ed è falsa se p è vera. Per indicare la negazione di una proposizione p si scrive, equivalentemente:

• $\neg p$

• ~$p\,$

• ${\bar {p}}$

• $!p\!$

• $p'\!$