Negacija suda

Iz Wikipedije, slobodne enciklopedije
Idi na navigaciju Idi na pretragu

Neka su date duži a i b

P: a = b

¬P : a b

sudu P pridružuje se sud ¬P (nije p). Svakom sudu pridružuje se jedna negacija. Ova operacija je unarna (unus-1) Negacija negacije nekog suda je sam taj sud. Iskaz ¬P je istinit ako je P neistinit

Istinite vrijednosti
Negacija jednostavno "obrne" istinitu vrijednost iskaza: ako je iskaz istinit, njegova je negacija neistinita, a ako je neistinit, negacija mu je istinita. Vrijednost cijelog iskaza piše se ispod znaka negacije. Evo i tablice:

¬ P
n i
i n