Ítéletlogika

A Wikipédiából, a szabad enciklopédiából.

Az ítéletlogika vagy ítéletkalkulus a formális logika azon ága, mely az egyértelműen igaz vagy hamis kijelentő mondatokkal, az ítéletekkel vagy – más szóhasználattal – kijelentésekkel foglalkozik. Fő problémája az ezek között értelmezhető műveletek, a logikai műveletek, illetve a különféle levezetések tanulmányozása.

Az ítéletlogika tekinthető a matematika részének, és napjaink modern felfogásában annak is tekintjük (bár eredetileg a filozófia egy részterületeként fejlődőtt ki). Ha ezt a modern nézetet elfogadjuk, akkor az ítéletlogikát a kijelentéslogika egy részeként, mégpedig mint ún. kétértékű nulladrendű kijelentéskalkulusként tárgyalhatjuk.

Megjegyzés: a magyar logikai szaknyelvben a sokak által különféle szempontok miatt helytelennek tartott „ítélet” elnevezés honosodott meg a nulladrendű mondatfüggvényekre, és a mondatfüggvényeket általában szokás ilyenkor kijelentéseknek nevezni. Azonban vannak, akik helyesebbnek tartják a nulladrendű (azaz konstans igazságértékű) mondatfüggvényekre a „kijelentés” elnevezés alkalmazását, ők a mondatfüggvényeket ilyenkor leggyakrabban predikátumoknak nevezik. Mi azonban követjük a hagyományosabb terminológiát.

Tartalomjegyzék 1 Bevezetés: előismeretek, az elmélet filozófia interpretációja 1.1 A logika filozófiai jelentősége, értelmezése 1.2 Nyílt és zárt nyelvi formák: konstans és változó 1.3 Az ítélet fogalmának értelmezése 1.4 Szemantikai értékek: jelentés és igazságérték. Extenzionalitás 2 Alapfogalmak, -jelölések és -módszerek 2.1 „Filozófiai” definíciók és alaptörvények 2.2 Igazságérték és ekvivalencia 2.3 Példa értéktáblázatra és ezek használatára 3 Junktorok 3.1 Negáció 3.1.1 Definíció és jelölés 3.1.2 A kettős tagadás törvénye 3.2 Egyváltozós junktorok 3.3 Kétváltozós junktorok

[szerkesztés] Bevezetés: előismeretek, az elmélet filozófia interpretációja

[szerkesztés] A logika filozófiai jelentősége, értelmezése

A logika, definíciója szerint, a nyelv bizonyos normatív törvényeinek leírásával, illetve ezen keresztül a gondolkodás és a valóság e törvényekkel kapcsolatos jelenségeivel foglalkozik. Magyarul, a logikát és részeit, pl. az ítéletlogikát elsődlegesen a(z emberi) nyelv- vagy gondolkodás egyes jelenségei leírásának, tehát szemantikai irányultságú tekinthetjük, bár léteznek másféle, alkalmazás jellegű interpretációk is, mint hogy pl. az ítéletlogika az áramkörök, vagy speciális algebrai rendszerek, vagy a programnyelvek, vagy általában a szintaxisközpontú formális nyelvek tudománya. Mivel a matematikában az utóbbi, a szintaktikai jelenségekre koncentráló interpretáció az uralkodó a természetes nyelvi szemantikai helyett, ezért e cikkben mindkettővel foglalkozunk.

A hagyományos matematikai logikai tankönyvektől eltérően elsődlegesnek és sorrendben az elsőnek tekintjük a szemantika, mégpedig a természetes emberi nyelvi szemantikai interpretációt; és amint ez észrevehető, az alapfogalmak elnevezését, az alapvető tételek kimondását stb. tekintve is ezt követjük.

A logikának mint valóság- vagy nyelvleírásnak alapvető fogalma, mint tárgya és mint eszköze is, a kijelentő mondat, röviden szólva a kijelentés; mi a mondat szót fogjuk használni. A valóságleíráshoz azonban kell, hogy az egyes valóságdarabokat egyáltalán meg tudjuk nevezni a saját nyelvünkön. Alapeszközeink közé tartoznak tehát a mondatokon kívül a nevek. Nevezzük e két alapeszközt nyelvi formáknak. Kis trükkel az összes nyelvi forma névnek tekinthető, ti. ha úgy tekintjük, a mondatok azt a tényt nevezik meg, amit leírnak, pl. a „Peti lement a boltba.” mondat „Peti boltba menését” nevezi meg. Mindkét nyelvi forma, mondat és név, két csoportba osztható.

[szerkesztés] Nyílt és zárt nyelvi formák: konstans és változó

A neveket két csoportba oszthatjuk:

• A zárt (határozott) formák (nevek) vagy konstansok egyértelműen nevezik meg azt a dolgot, amit megneveznek: egy vagy több dolgot neveznek meg, de egyszer s mindenkorra ugyanazokat. A nyílt nyelvi formák egyetlen konkrét dolgot sem neveznek meg: többféle dolgot is megnevezhetnek, és csak adott összefüggésben dönthető el, hogy mit is.
• A nyílt vagy változó formák (nevek) befejezetlenek: „kitölthető” részeket tartalmaznak más nevek számára.

Nem véletlen, ha ezek a meghatározások homályosak, de talán példák alapján világos lesz:

Zárt nevek: „Szabó János” (ha tudjuk, melyik Szabó J.-ról van szó), „Poroszország” kancellárja" (azaz Bismarck), nyílt nevek: „Valaki”, „Akárki”, „Ő” (ha nem egy konkrét személyre vonatkozik), „valamely ország kancellárja”; „nagynéni” (ha általában valakinek a nagynénijéről van szó) stb. A zárt nevek közül külön megemlítjük az egyedi dolgokat jelölő tulajdonneveket és a fogalmakat jelölő közneveket. A matematikában a fogalmak is egyedi dolgoknak számítanak, így neveik inkább tulajdonneveknek tekinthetőek. Ezért itt a tulajdonnevek (sin x, 1, 2,…) a gyakoribbak.

Zárt mondat pl. „Peti lemegy a boltba.”, ha tudjuk, ki az a Peti. Nyílt mondatok: „Valaki lemegy a boltba.”; „Peti lemegy valahova.”; „Valaki lemegy valahova” stb.

A példákból az is látható, hogy egy adott betűsorozat nem egyszer s mindenkorra nyílt vagy zárt, az adott kontextustól, a használat pillanatnyi módjától és aktuális értelmezésétől is függ a nyíltság vagy zártság. Pl. a „Poroszország kancellárja” csak azért tekinthető zártnak, mert hallatán általában mindenkinek Bismarck ugrik be először. Azt, hogy a logikában egyes dolgok értelmezése a nyelvhasználattól is függhet, kontextuselvnek nevezzük. A matematikai logikának azonban egyik alapfeltevése, hogy egy adott, rögzített név egyszer s mindenkorra vagy nyílt, vagy zárt (mondjuk megállapodással eldöntjük az összes szóba jövő névről, hogy melyik típusba tartozik ezek közül).

Elsőrendű fontosságú nyílt nevek a (határozatlan) névmások. Ezek olyan nevek, melyek más nevekkel helyettesíthetőek. Ilyenekre van szükség általános törvényszerűségek kimondásához. A formális logikában használt megfelelőik a változók. A névmások helyett álló szimbólumokat – ezek szokásosan latin kisbetűk (x, y,…) – változóknak nevezzük. Az ítéletlogika elsődlegesen abban különbözik a kijelentéslogika más ágaitól, s azért nevezzük nulladrendűnek, mert nem használ változókat, csak zárt nyelvi formákkal foglalkozik.

[szerkesztés] Az ítélet fogalmának értelmezése

A zárt mondatok közül eldönthetőek, melyekneknek egyértelműen igazságértéket tulajdoníthatunk: igazak és nem hamisak, vagy hamisak és nem igazak (egy nyílt mondat eldönthető, ha minden "bezárása" is az, azaz ha a belőle akármely megengedett módon képezett zárt mondat is eldönthető). Az eldönthető zárt mondatokat ítéleteknek vagy nulladrendű kijelentéseknek, az eldönthető nyílt mondatokat predikátumoknak szokás nevezni.

[szerkesztés] Szemantikai értékek: jelentés és igazságérték. Extenzionalitás

Az kijelentésnek – általában valamilyen értelemben az eldönthető mondatoknak is – van jelentése (intenzió) és igazságértéke (extenzió). A jelentés az az információ, amit az ítélet, ez a leíró kijelentő mondat, közöl velünk (ezen talán nincs is mit magyarázni). A jelentés így abban a sajátos módban rejtezik, ahogy az ítélet közöl velünk egy tényállást (ez pedig abban, ahogyan az elemeiből, a szavakból, betűkből, hangokból vagy más szemantikai értékkel bíró alapelemekből össze van téve, ld. alább a példákat).

Az igazságérték annak jelzése, hogy a kijelentésben közölt tényállás megfelel-e a valóságnak vagy sem. Így a kijelentés igazságértéke az ítélet valósághoz fűződő viszonya (ill. egy ezt jelölő szimbólum), amely a kétértékű logikában kétféle lehet: az ítélet a valóságot írja le (igaz) vagy sem (hamis). Valójában e „definíció”, vagyis inkább körülírás, elég vitatható, ld. itt; de az ítéletlogika felépítése számára ez is elegendő. Többértékű logikák is léteznek, ezekkel egy másik cikkben foglalkozunk. Az igazság definiálhatóságának nehézsége az egyik, bár nem az egyetlen ok, amiért az igazságérték helyett logikai értéket is szoktak mondani, meg ennek a kifejezésmódnak az az előnye is megvan, hogy pl. az ítéletlogika áramkörelméleti, absztrakt algebrai stb. interpretációit is figyelembe veszi (ebben a cikkben azonban megmaradunk az ítéletlogika logikai, tehát nyelvi-kognitív interpretációjánál, és ezt tekintjük elsődlegesnek).

A „Peti lement a boltba.” mondat ítélet (ha tudjuk, ki az a Peti); és igaz ha Peti tényleg lement a boltba, hamis egyébként. Jelentése is van: t.i. megtudjuk, hogy Peti lement a boltba.

A matematikai logika alapfokon nem foglalkozik a kijelentések tartalmával, csak igazságértével: ez egy extenzionális (nem tartalomközpontú) tudományág. Az intenzióra is tekintettel lévő elméleteket az intenzionális logika szócikk tárgyalja.

[szerkesztés] Alapfogalmak, -jelölések és -módszerek

[szerkesztés] „Filozófiai” definíciók és alaptörvények

Összefoglalva tehát, az alábbi „definíció” adható (ez természetesen nem tekinthető matematikai értelemben vett definíciónak, sőt az ítéletet alapfogalomnak tekintjük):

Ítéleten olyan értelmes, zárt kijelentő mondatot értünk, amely egyértelműen igaz vagy hamis.

Az egyértelműségi követelményt klasszikus és bővebb megfogalmazásban a logika három alapelve adja:

1. (az ellentmondástalanság elve): Egy ítélet nem lehet egyszerre igaz és hamis.
2. (a kizárt harmadik elve): Nincs olyan ítélet,amely se nem igaz,se nem hamis.
3. (kettős tagadás elve): Ha egy ítélet nem hamis (nem igaz hogy nem igaz), akkor az az ítélet igaz.

Összefoglalva, ítélet vagy igaz és ekkor nem hamis, vagy hamis és ekkor nem igaz, más lehetőség (másféle ítélet) nincs. A logika (három) alapelvét értsük hozzá az 1.definícióhoz: ez az egyértelműségi követelmény pontosabb meghatározásának tekintendő.

[szerkesztés] Igazságérték és ekvivalencia

• Az ítéleteket a római ABC nagybetűivel jelöljük majd: A, B, C...stb.
• Az A ítélet igazságértékét jelölje |A| (Egyébként p(A) is jelölhetné).
• Azt, hogy A igaz, az |A|=i vagy |A|=1 jelöli;
• Azt, hogy A hamis, az |A|=h vagy |A|=0 szimbólum jelöli.

Az i,1 és h,0 szimbólumok itt nem szükségképp számokat jelentenek, hanem 1 az "igaz", 0 a "hamis" logikai értéket (igazságértéket).

• Az igazságértékek {i,h} halmazában = jelöli az egyenlőségi relációt, amely a szokásos módon reflexív, szimmetrikus és tranzitv).
• |A|=|B| jelölje azt az ítéletet bármely rögzített A,B ítéletek esetén, hogy az A és B igazságértéke megegyezik: A és B is igaz vagy mindkettő hamis;
• továbbá |A|≠|B| azt a tényt,hogy A és B logikai értéke különböző; A igaz és B hamis, vagy A hamis és B igaz.
• Néha szokás |A|=|B| helyett rövidítésként bevezetni az A≡B jelölést. Ezt úgy olvassuk, hogy A ekvivalens B-vel.

Azaz két ítélet ekvivalens, ha logikai értékük egyezik. Jele a fent említett ≡.

Nyilvánvalóan érvényesek az alábbi tulajdonságok minden A,B,C ítéletre:

1. A≡A (reflexivitás);
2. Ha A≡B és B≡C, akkor A≡C (tranzitív tulajdonság);
3. (A≡B) ≡ (B≡A) (szimmetria).

(Mindezt összefoglalva úgy mondjuk: ≡ ekvivalenciareláció.). A fenti fontos ítéletek bizonyos ítéletek ekvivalenciáját mondják ki.

Hiszen

1. |A|=|A|, akár igaz A (i=i), akár hamis (h=h); emiatt aztán A≡A;
2. e tulajdonság a logikai értékek közti egyenlőség tranzitív tulajdonságából következik, nevezetesen: Ha A≡B és B≡C, |A|=|B| és |B|=|C| miatt |A|=|C| is, azaz A≡C; végül pedig
3. Ha A≡B azaz |A|=|B| akkor az {i,h} halmazbeli = szimmetriája miatt |B|=|A|, ami pontosan azt jelenti, B≡A.

[szerkesztés] Példa értéktáblázatra és ezek használatára

A szimmetria fenti szöveges-retorikus bizonyítását egy ún. (igazság)értéktáblázatba foglalhatjuk a következőképp:

│A│	│B│	│A≡B│	│B≡A│
0	0	1	1
0	1	0	0
1	0	0	0
1	1	1	1

A következőképp lehet ezt használni: az A és B ítéletek mindegyike lehet igaz és/vagy hamis, az A,B ítéletpáros együttes igazságértékeire nézve négyféle variáció lehetséges: A is és B is hamis; A hamis de B igaz; A igaz de B hamis; végül A és B is igaz. Egy-egy variáció egy-egy sornak felel meg; és minden rögzített variáció esetén „kézileg”, mindenféle bonyolultabb törvényszerűség ismerete nélkül kiértékelhetjük mind az A≡B, mind a B≡A ítéleteket ugyanis ha A, B rögzített ítéletek, akkor ez utóbbiak is azok, hisz zártak és egyértelműen igazak vagy hamisak). Például ha A igaz és B hamis, akkor az A≡B ítélet, vagyis az |A|=|B| ítélet, hamis, hiszen |A|=1 és |B|=0 és ekkor nem igaz, tehát hamis 1=0. A többi sorban is hasonlóképp lehet a kiértékelést elvégezni. Ha bárhogyan is rögzítjük az A,B ítéletváltozókat, konkrét ítéleteket mögéjük értve, akkor rögtön el is dönthetjük ezek igazságértékét, ez megadja az A,B ítéletpáros egy értékvariációját, vagyis a táblázat egyik sorát, és ennek ismeretében az ekvivalenciák érvényessége is kiértékelhető. Talán felesleges is ennél részletesebb leírást adni: minden sorban kiértékelhető a két ekvivalencia, és ha minden sorban a két ekvivalencia értéke egyezik, az azt jelenti, hogy tényleg akkor és csak akkor igaz az egyik, amikor a másik. Vagyis annak teljesülése szükséges, hogy a két utolsó oszlopban a beírt igazságértékek rendere, azaz sorról sorra megegyezzenek.

Általában is hasonlóan lehet az értéktáblázatokat ítéletlogikai bizonyításokhoz használni.

[szerkesztés] Junktorok

Az ítéleteken hasonlóképp műveleteket hajthatunk végre, mint a számokon. Ezeket ítéletműveleteknek, röviden junktornak nevezzük. A junktor fogalmának legalább háromféle értelmezése lehetséges az egyik egy „filozófiaközelibb”, a köznapi logikai műveletfogalom birtokában jobban érthető, de a jelenlegi matematika számára nehezen értelmezhető (nemvalódi) „definíció”. A másik, már-már elhamarkodottan absztrakt definíció ennek egy formalizált változata, amely azonban több hibája miatt sok gondot okoz, pl. a filozófiai interpretációt gyakorlatilag megsemmisíti. Egyéb, technikai gond is akad vele, a harmadik definíció ennek egy ilyen gondok miatti módosítása.

• I. Tekintsük ítéletek egy tetszőleges halmazát (megj.: az összes ítélet halmazát azért nem vehetjük, mert nem létezhet), legyen ez I! Legyen n természetes szám! Ekkor valamely függvényt n-változós junktornak nevezünk, ha teljesül a következő követelmény (nevezzük extenzionalitási feltételnek): bármely ebben a sorrendben vett A₁,A₂,...,A_n és B₁,B₂,...,B_n ítéletekre ha | A₁ | = | B₁ | ,..., | A_n | = | B_n | , akkor szükségképp | f(A₁,...,A_n) | = | f(B₁,...,B_n) |

A fenti követelmény azt rögzíti, hogy „az ítéletfüggvény értéke csak az ítéletek extenziójától, azaz igazságértékétől függhet” – ekvivalens ítéletekhez a művelet ekvivalens ítéleteket kell hogy rendeljen.

• II. Ha már így van, akkor az ítéletfüggvények nyugodtan definiálhatóak az {1,0} igazságértékekből képzett n-esek halmazából az igazságértékek halmazába képezhető függvényekre, azaz (formális) ítéletfüggvény egy alakú függvény. Pontosabban, minden az I. definíciónak megfelelő f ítéletfüggvényhez tartozik egy és csak egy megfelelő II. definíció szerinti φ ítéletfüggvény úgy, hogy f akkor és csak akkor legyen igaz az A₁,...,A_n ebben a sorrendben vett ítéletekre, ha φ igaz az igazságérték-n-esre.

Mivel a junktor értéke (akár ítélet, akár igazságérték értékűnek tekintjük) n-darab valamitúől függ, ezért n-változósnak vagy n-árisnak ( nulláris, unáris, bináris, ternáris stb.) nevezzük. Ez az elnevezés sem mentes a problémáktól; u.is az ún. fiktív változós n-áris műveleteket igen kényelmetlen sokszor valódi n-árisnak tekinteni – valójában, kimondatlanul a csak fiktív változóban különböző logikai függvényeket nem szokták megkülönböztetni, így bevezethetjük a III. értelmezést is:

• III. Tekintsük a II. értelemben vett összes (nulláris, unáris, bináris stb.) junktor halmazát – ezek már egy jól definiált és létező halmazt alkotnak. E halmazban a „két junktor legfeljebb csak fiktív változókban különbözik” reláció egy szabatosan is definiálható ekvivalenciareláció. Ítéletfüggvénynek nevezhetjük II. értelemben vett ítéletfüggvények e reláció szerinti ekvivalenciaosztályait is.

A matematikusok (mások szerencséjére) nem szoktak a III. definíció precizitásáig elmenni, megelégszenek a II. értelmezéssel. Azonban néha ez is fontos – furcsamód nem is elsősorban a matematikában, hanem inkább az informatikai, számítógéptudományi alkalmazásokban. Valójában azonban már az értéktáblázatos ítéletalgebrai bizonyítások nagy része sem tekinthetőek eme értelmezés nélkül érvényesnek.

[szerkesztés] Negáció

[szerkesztés] Definíció és jelölés

Az A ítélet negációja – vagy negáltja, magyarul tagadása – az a ∼(A)-val, röviden ∼A-val jelölt ítélet, mely igaz, ha A hamis és hamis, ha A igaz.

Alternatív jelölések: , , általában a zárójeleket elhagyjuk, ha ez nem okoz félreértést: , .

Ez egy egyváltozós junktor, melyet, figyelembe véve az extenzionalitás követelményét, az alábbi értéktáblázattal is definiálhatunk:

│A│	│A│
0	1
1	0

[szerkesztés] A kettős tagadás törvénye

Könnyen belátható, hogy bármely rögzített A ítélet esetén ∼(∼(A)) vagy röviden ∼&simA ekvivalens magával az A ítélettel, vagyis ha ezt kétszer tagadjuk, önmagát kapjuk.

A negáció meghatározása szerint ugyanis ha A egy igaz ítélet, akkor ∼A hamis, ekkor pedig ∼(∼(A)) igaz. Tehát |A|=|∼∼A|. De ugyanígy, ha A éppenséggel hamis, akkor ∼A igaz, tehát ∼(∼(A)) hamis, és ekkor is |A|=|∼∼A|. Ez utóbbi egyenlőség tehát igaz, akár egy igaz ítélet az A, akár hamis; de ez az egyenlőség semmi mást nem jelent, mint hogy A≡∼sim;A.

A bizonyítás értéktáblázattal (ez tulajdonképp ugyanaz, mint a fenti, csak tömörebb formában, a kiértékelést itt is sorról sorra kell végezni, mint az eddigi táblázatokban, az ekvivalencia teljesülését, mint mondottuk már, az jelzi, hogy az A és ~~A oszlopokban sorról sorra egyeznek az igazságértékek):

A	~A	~~A
1	0	1
0	1	0

[szerkesztés] Egyváltozós junktorok

Az alábbi értéktáblázat mutatja, hogy egyváltozós junktorból négyféle létezik:

A	1.	2.	3.	4.
0	0	0	1	1
1	0	1	0	1
jel I.	H(A)	id(A)	~A	I(A)
jel II.	H	A	~A	I

Az első oszlop, melyet nevezzünk inkább nulladiknak, mutatja, hogy az A ítélet milyen igazságértékeket vehet fel a kétértékű ítéletlogikában. Az 1. számmal jelölt oszlopban egy olyan junktor értékei vannak, ami tetszőleges ítéletre mindig hamis értékű; függetlenül az eredeti A ítélettől és annak értékétől; és a 4. sorszámú oszlopban is hasonló található, csak ez mindenhez az igaz értéket rendeli. Ha a junktor definíciójának I. vagy III. változatát fogadjuk el érvényesnek, akkor e két junktor interpretálható mint az abszolút hamisság (ellentmondás, kontradikció), illetve mint az abszolút igazság, és jelölhető H-val illetve I-vel. Ez a II. értelmezés mellett nehezebben tehető meg, mert ekkor minden n-re és minden A ítéletre külön-külön létezne egy-egy abszolút Igazság meg egy Hamisság, és elég furcsa lenne, hogy legalább [[megszámlálható]an végtelen sok Hamisság és Igazság létezne – akkor ezek nyilván nem is lennének olyan abszolútak (az I. junktordefiníció is felvet hasonló nehézségeket, de ez könnyen kiküszöbölhető, ha szintén megegyezünk abban, hogy a csak fiktív változóban különböző ítéletfüggvények ekvivalensek). A 2. oszlopban az A ítélet, pontosabban az A ítélethez az A ítéletet rendelő junktor áll (ez utóbbi kifejezéseket is attól függően mondhatjuk vagy nem mondhatjuk, hogy hogyan értelmezzük a junktor fogalmát). A 3. oszlop épp a már tárgyalt negáció.

[szerkesztés] Kétváltozós junktorok

Két, A és B ítélet diszjunkciója az az A∨B-vel (olv.:'A vagy B') jelölt ítélet, amely akkor és csak akkor igaz, ha A és B közül valamelyik igaz, egyébként hamis.

Két, A és B ítélet konjunkciója az az A∧B-vel (olv.:'A és B') jelölt ítélet, amely akkor és csak akkor igaz, ha A és B közül mindkettő igaz, egyébként hamis.

Két, A és B ítélet implikációja az az A→B-vel (olv.:'A implikáció B') jelölt ítélet, amely akkor és csak akkor hamis, ha A igaz és B hamis.

Két, A és B ítélet ekvivalenciája az az A↔B-vel (olv.:'A ekvivalencia B') jelölt ítélet, amely akkor és csak akkor igaz, ha A és B logikai értéke megegyezik (azaz ha A≡B).

Két, A és B ítélet kontravalenciája az az A∆B-vel (olv.'A delta B') jelölt ítélet, amely akkor és csak akkor igaz, ha A és B logikai értéke különbözik.

A kétváltozós log. műveletek által összekapcsolt ítéleteket szokás a művelet tagjainak mondani, ugyanúgy, mint pl. a "normál", számok közti összeadás esetén. Pl. A&B tagjai A és B.

Az összes kétváltozós junktort az alábbi táblázat adja meg:

A	B	1.	2.	3.	4.	5.	6.	7.	8.	9.	10.	11.	12.	13.	14.	15.	16.
1	1	1	1	1	1	1	1	1	1	0	0	0	0	0	0	0	0
1	0	1	1	1	1	0	0	0	0	1	1	1	1	0	0	0	0
0	1	1	1	0	0	1	1	0	0	1	1	0	0	1	1	0	0
0	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0

A műveletek neveit (jeleit) és magukat a műveleteket junktornak nevezzük.

Egy példa junktorra: az „és” kötőszó két mondat között a konjunkció (összekapcsolás) nevű logikai művelet jele. A matematikai logika az „és” szócska helyett a (sok szerző a &, · vagy C) jelet alkalmazza. Hasonló példa a "vagy" szócska, amely összekapcsolási mód neve diszjunkció, matematikai jele  (esetleg + vagy D ).

Az A ítélet negációja (tagadása) az a A-val (olv.'nem A') jelölt ítélet,amely akkor és csak akkor hamis, ha A hamis,egyébként (ha A igaz) hamis. Azaz A igaz ha A igaz és hamis ha A hamis.

Ezt a szócikket át kellene olvasni, ellenőrizni a szövegét, tartalmát. Részletek a cikk vitalapján. Az ezen a lapon látható jelölés 2004 szeptemberéből származik.