Fornektelse (matematikk)

I logikk og matematikk betyr negasjon en enhetlig logisk operasjon , som returnerer den inverse sannhetsverdien til en proposisjon .

Definisjon

Gitt en proposisjon p har vi at ¬ p er usant hvis p er sant, og det er sant hvis p er usant. Sannhetstabellen for fornektelsen er som følger:

$s$	${\ displaystyle \ neg p}$
F.	V.
V.	F.

Notasjon

For å indikere negasjonen av en proposisjon p skriver vi, tilsvarende:

${\ displaystyle \ neg p}$

~ $s$

${\ displaystyle {\ bar {p}}}$

${\ displaystyle! p}$

$p '$

Andre prosjekter

Wikimedia Commons inneholder bilder eller andre filer med logisk fornektelse

Eksterne lenker

negasjon , i Dictionary of Philosophy , Institute of the Italian Encyclopedia , 2009.

( EN ) Negasjon / Negasjon (annen versjon) , i Encyclopedia Britannica , Encyclopædia Britannica, Inc.