Negarea (matematica)

În logică și matematică, negația înseamnă o operație logică unitară , care returnează valoarea de adevăr inversă a unei propoziții .

Definiție

Având în vedere o propoziție p avem că ¬ p este fals dacă p este adevărat și este adevărat dacă p este fals. Tabelul adevărului negării este după cum urmează:

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

Notaţie

Același subiect în detaliu: Negarea logică (simbol) .

Pentru a indica negarea unei propoziții p scriem, echivalent:

$\neg p$ ${\ displaystyle \ neg p}$ ${\ displaystyle \ neg p}$

~ $p$ ${\ displaystyle p}$ $p$

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

$! p$ ${\ displaystyle! p}$ ${\ displaystyle! p}$

$p^{'}$ ${\ displaystyle p '}$ $p '$

Alte proiecte

Wikimedia Commons conține imagini sau alte fișiere despre refuzul logic

linkuri externe

Negation , în Dicționar de filosofie , Institutul Enciclopediei Italiene , 2009.
( EN ) Negation / Negation (altă versiune) , în Encyclopedia Britannica , Encyclopædia Britannica, Inc.

Portalul de matematică : accesați intrările Wikipedia care se ocupă de matematică

V · D · M Conectori logici
Tautologie( $\top$ ${\ displaystyle \ top}$ $\top$ )
Neconjuncție ( $\uparrow$ ${\ displaystyle \ uparrow}$ $\ Săgeata în sus$ ) · Implicare inversă ( $\leftarrow$ ${\ displaystyle \ leftarrow}$ $\ sageata stanga$ ) · Implicare ( $\rightarrow$ ${\ displaystyle \ rightarrow}$ $\ sageata dreapta$ ) · Disjuncție inclusiv ( $\lor$ ${\ displaystyle \ lor}$ $\ lor$ )
Negare ( $\neg$ ${\ displaystyle \ neg}$ $\ neg$ ) · Disjuncție exclusivă ( ${\dot {\lor }}$ ${\ displaystyle {\ dot {\ lor}}}$ ${\ dot {\ lor}}$ ) · Implicare dublă ( $\leftrightarrow$ ${\ displaystyle \ leftrightarrow}$ $\ leftrightarrow$ ) · Propunere
Nedisjuncție inclusivă ( $\downarrow$ ${\ displaystyle \ downarrow}$ $\ sageata in jos$ ) · Neimplicare ( $\nrightarrow$ ${\ displaystyle \ nrightarrow}$ $\ nrightarrow$ ) · Implicare non-inversă ( $\nleftarrow$ ${\ displaystyle \ nleftarrow}$ $\ nstânga$ ) · Conjuncție ( $\land$ ${\ displaystyle \ land}$ $\ teren$ )
Contradicție ( $\bot$ ${\ displaystyle \ bot}$ $\ bot$ )