A negáció olyan logikai művelet, amely egy állítás igazságértékét az ellenkezőjére váltja. George Boole angol matematikus vezette be a kijelentések szerkezetének szimbólumokkal és műveletekkel való leírását. A negáció jelei a ~, ¬, J, lengyel jelölésben N. Charles S. Peirce egzisztenciagráfjában a tagadott állítást zárt élsorozat veszi körül.

A negáció esetében, eltérően a többi logikai művelettől, nem egy, a szó szoros értelmében vett kötőszóval van dolgunk. A negáció nem két elemi kijelentést kapcsol össze, hanem csak egyet. Ha A elemi kijelentés elé tesszük a ~ jelet, akkor egy összetett kijelentést kapunk, amit úgy lehet kiolvasni, hogy „nem A” vagy „nem igaz, hogy A”. A negáció az ellenkezőjére változtatja az igazságértéket, tehát az összetett mondat igazságértéke ellenkezője lesz az elemi mondat igazságértékének. Ha A igaz, akkor nem A hamis, és ha A hamis, akkor nem A igaz. A kettős negáció pedig visszaállítja az eredeti igazságértéket (kettős tagadás törvénye). Egy állítás és tagadása nem lehet egyszerre igaz (ellentmondásmentesség elve). Egy állítás és tagadása nem lehet egyszerre hamis (kizárt harmadik elve)

Teljesen mindegy, mi A értelme, mivel a ~ jel a mondat igazságértékére hat, nem az értelmére. Például:

A: Esik az eső.

~A: Nem esik az eső.

KifejezéseSzerkesztés

A logikai műveleteket igazságtáblázattal is megadhatjuk. A negáció igazságtáblázata a következő:

A ~A
I H
H I

A tagadás kifejezhető más műveletekkel:

  • implikációval:   akkor igaz, ha p hamis, és akkor hamis, ha p igaz;
  • a NAND és a NOR Sheffer-operátorokkal: a p NOR p illetve a p NAND p ellenkezőjére változtatják a p igazságtartalmát.

TulajdonságaiSzerkesztés

A klasszikus logikábanSzerkesztés

A tagadásnak többek között a következőek a tulajdonságai:

  • Involúció, azaz a kettős tagadás állítás:   és   igazságértéke ugyanaz. (kettős tagadás elve)
  • Önduális,

  minden   esetén.

  • Egy   alakú kifejezés azonosan igaz (kizárt harmadik elve)
  • Egy   alakú kifejezés azonosan hamis (ellentmondás elve)
  • A De Morgan-szabályok alapján a negáció disztributív a konjunkcióra és a diszjunkcióra:
 ,  and
 .

Más logikai rendszerekbenSzerkesztés

Egy logikai művelet lineáris, ha minden operandusára teljesül, hogy mindig hatással van az eredményre, vagy sosincs hatással. A tagadás lineáris.

Az elsőrendű logikában van két kvantor, a   minden és az   létezik. Ezek között a tagadás összefüggést ad meg:   illetve  .

Az intuicionista logikában egy állítás implikálja a kettős tagadását, de az ellenkező irány nem érvényes. Ez fontos különbség a klasszikus és az intuicionista logika között. Viszont az intuicionista logika is tudja, hogy  . Továbbá egy állítás klasszikusan bizonyítható, ha kettős tagadása intuicionista úton bizonyítható. Ez Glivenko tétele.

A háromértékű logikában két tagadás van: a gyenge és az erős. A kettő abban különbözik, hogy az erős tagadás megőrzi a preszuppozíciókat.

A Kripke-szemantikában, ahol a lehetséges világok határozzák meg a logikai formulák értékét, a tagadás a halmazelméleti komplementer megfelelője.

Bevezetése és kivezetéseSzerkesztés

A természetes dedukcióban, ha   és   állítások, és a   állításból következik   és  , akkor következik  . Ezt úgy nevezik, hogy reductio ad absurdum. A tagadás kivezetése az a szabály, hogy   és  -ből következik  . Ezt úgy is nevezik, hogy ex falso quodlibet. A kettős tagadás kivezetése az a szabály, hogy  -ből következik  .

A negáció bevezetése azt használja fel, hogy, ha  -bőlé következik egy hamis állítás, akkor   is hamis, vagy cáfolható. A tagadás kivezetését gyakran a   jellel írják fel. Továbbá a szabály zt mondja, hogy  és  -ből hamis következik. A kettős tagadás kivezetésével következik, hogy hamisból bármi következik.

Egy   állítás intuicionista negációját,  -t úszokás úgy definiálni, mint  . A tagadás be- és kivezetése az implikáció be- és kivezetésének speciális esetei.

Halmazelméleti megfelelőSzerkesztés

Halmazelméleti megfelelője a komplementerképzés. Vagyis, ha az alaphalmaz  , és   éppen az a halmaz, melynek elemeire az állítás teljesül, és semmi más elemre nem, akkor az állítás tagadását éppen   halmaz elemei teszik igazzá.

Természetes nyelvSzerkesztés

A tagadószó megjelenése azonban nem feltétlenül jelent negációt. A természetes nyelv „nem” szava ennél sokoldalúbb:

Béla nem ment el színházba.

Nem Béla ment el színházba.

Béla nem színházba ment el.

A logikai „tagadás” mindig kijelentésekre érvényes. A nyelvészetben a tagadást kifejezheti elutasítás, vagy valaminek a megszüntetése is.

Frege szerint nem kell állító és tagadó kijelentéseket megkülönböztetni, mivel a tagadás nem az illokúciós erőhöz, hanem a gondolathoz tartozik.[1] Minden gondolathoz tartozik egy neki ellentmondó gondolat.[2]

Több programozási nyelvben a tagadás jele a !. Innen átkerült az írott szlengbe, még nem informatikai témákban is. Így például !voting azt jelenti, hogy az illető nem szavaz.

JegyzetekSzerkesztés

  1. Frege, Gottlob: Die Verneinung: eine logische Untersuchung. In: Beiträge zur Philosophie des deutschen Idealismus I. 3/4 (1919), S. 143. In: Frege, Logische Untersuchungen, 3. Auflage. (1986) - ISBN 3-525-33518-0, S. 54 ff.
  2. Frege, Gottlob: Die Verneinung: eine logische Untersuchung. In: Beiträge zur Philosophie des deutschen Idealismus I. 3/4 (1919), S. 143. In: Frege: Logische Untersuchungen. 3. Auflage. 1986, ISBN 3-525-33518-0, S. 54(67).

ForrásokSzerkesztés

FordításSzerkesztés

Ez a szócikk részben vagy egészben a Negation című angol Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel.