Logische negatie

Logische negatie of ontkenning is een bewerking in de natuurlijke talen, logica en wiskunde die de waarheidswaarde van een propositie $P$ verandert van waar in onwaar en andersom van onwaar in waar.

Als bijvoorbeeld $P$ stelt: Vandaag is het zaterdag, dan is de negatie $\neg P$ : Vandaag is het niet zaterdag.

Logica

De negatie is in de klassieke logica een eenplaatsige booleaanse operator die de waarheidswaarde van een propositie omkeert. De waarheidstabel van de negatie is als volgt:

P	¬ P
onwaar	waar
waar	onwaar

De negatie van de propositie $P$ kan op allerlei manieren worden geschreven:

${\overline {P}}\quad$ , de $P$ met een streepje erboven
$\neg P$
${\mathord {\sim }}P$
niet $P$
$!P$
$P'$

Deze zijn te lezen als: Het is niet het geval dat $P$ .

$\neg P$ is waar dan en slechts dan als $P$ onwaar is.

Een dubbele negatie is in de klassieke logica gelijk aan een bevestiging, dus kan de dubbele negatie in de propositie $\neg \neg P$ worden weggehaald en eenvoudiger worden geschreven als $P$ . De proposities $P$ en $\neg \neg P$ zijn logisch equivalent. De implicatie $\neg \neg P\Rightarrow P$ volgt uit de eliminatie van de dubbele negatie.

De negatie kan in andere logische bewerkingen worden gedefinieerd. Zo kan $\neg P$ worden gedefinieerd als $P\rightarrow F$ , waarin de $\rightarrow$ de logische implicatie is en $F$ onwaar. Andersom kan $F$ worden gedefinieerd als $P\land \neg P$ voor iedere propositie $P$ , waarbij $\land$ de logische conjunctie is. Dit geldt zowel in de klassieke als in de intuïtionistische logic. In de klassieke logica geldt bovendien dat $P\rightarrow Q$ gedefinieerd kan worden als $\neg P\lor Q$ , waarin $\lor$ de logische disjunctie is.

In de intuïtionistische logica is $\neg \neg P$ een zwakkere uitspraak dan $P$ . Hoe dan ook zijn $\neg \neg \neg P$ en $\neg P$ logisch equivalent.

Distributiviteit

De wetten van De Morgan verdelen de negatie distributief over de logische conjunctie en disjunctie.

\neg (P\land Q)\Leftrightarrow (\neg P\lor \neg Q)

\neg (P\lor Q)\Leftrightarrow (\neg P\land \neg Q)

Overige

De negatie komt in programmertalen in een voorwaardelijke opdracht voor.
Schakelingen in de elektrotechniek zijn op de booleaanse algebra gebaseerd. De logische negatie wordt daarbij door een NOT-poort geïmplementeerd.