Ugrás a tartalomhoz

Negáció

Ellenőrzött
A Wikipédiából, a szabad enciklopédiából

A negáció (latinul: negatio "tagadás, visszautasítás") 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ése

[szerkeszté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ágai

[szerkesztés]

A klasszikus logikában

[szerkeszté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:
, és
.

Más logikai rendszerekben

[szerkeszté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ése

[szerkeszté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 nyelv

[szerkeszté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.

Jegyzetek

[szerkeszté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ások

[szerkesztés]

Fordítás

[szerkeszté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. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.