Logika

1. Logika

2. Ismétlés • A logika tárgya • A logika célja • Mitől függ egy következtetés helyessége? • Logikai grammatika: név, mondat, funktor • Logikai szemantika: faktuális érték és intenzió • Extenzionális mondatfunktorok • Negáció • Konjunkció • Alternáció • Kondicionális

3. Következtetések helyességének ellenőrzése a kijelentéslogikában

4. Elemzés és formalizálás A természetes nyelv és logika grammatikája nem vág egybe. Amikor tehát természetes nyelven megfogalmazott következtetések helyességét kívánjuk megvizsgálni, a premisszákat és konklúzót „le kell fordítani” a logika nyelvére. Ez az eljárás a logikai elemzés. Példa: Nem igaz, hogy nincsenek nimfák: ~(~p) Béla dühöng: q Ha nem igaz, hogy nincsenek nimfák, akkor Béla dühöng: ~(~p)→q

5. Elemzés és formalizálás Jól látható tehát, hogy a természetes nyelvi mondat mélyén rejtőző logikai szerkezet, amely a következtetés helyessége szempontjából releváns elemeket tartalmazza (kifejezi a szerkezetet és meghatározza a logikai szimbólumokat), egészen más nyelvet használ: ~(~p)→q, méghozzá csak • mondatparamétereket (p, q, r …, és szintaktikailag azonos mondatokra mindenkor ugyanazt a paramétert, különböző mondatokra különbözőt) és • logikai jeleket tartalmaz. Ezzel az eljárással a kiinduló természetes nyelvi következtetést formalizáljuk, s ezáltal alkalmassá tesszük a vizsgálatra.

6. Példa elemzésre és formalizálásra Nézzük az alábbi példát (a régi Füles évkönyvek hangulatát idézve): Jean, szólt a gróf, már közöltem korábban, hogy idén Párizsba vagy Québecbe vagy Rómába utazom. Arról is szó volt, hogy ha Québecbe megyek, akkor Párizst is útba ejtem. Most kaptam egy telefont, amelynek hatására úgy döntöttem, Rómába nem megyek. Kérem, csomagoljon gondosan. Jean töpreng egy sort és így szól magához, a párizsi csomagot bizonyos, hogy össze kell készítenem. Helyesen következetett? Vizsgáljuk meg!

7. Példa elemzésre és formalizálásra A releváns információt hordozó helyek: „Párizsba vagy Québecbe vagy Rómába utazom” „Ha Québecbe megyek, akkor Párizst is útba ejtem” „Rómába nem megyek” ______________________________ „Párizsba megyek” (mondhatja az úr) Emeljük ki a logikai szerkezetet, formalizáljuk a következtetést.

8. Példa elemzésre és formalizálásra Ehhez először meg kell adnunk egy szótárt (vagyis meg kell határoznunk, hogy melyik mondatot milyen paraméter jelöl)! p = Párizsba megy q = Québecbe megy r = Rómába megy Ezek után a szerkezet:

9. Példa elemzésre és formalizálásra „p vagy q vagy r” „ha q, akkor p” „non-r” ___________ K: „p” Logikai jelekkel: • p v q v r • q→p • ~r ________ K: p

10. A következtetés helyességének ellenőrzése Az első, kézi hajtásos, igen korlátozottan, időigényesen alkalmazható, ám szemléletes és minden lépésében intuitív evidenciára támaszkodó metódus a szemantikai módszer. Két fajtáját is megvizsgáljuk: • szemantikai vizsgálat (SV) • szemantikai ellenőrzés (SE) A szemantikát már ismerjük: mivel extenzionális logikai kontextusban fogunk mozogni (ez látszik a fomalizált következtetésben szereplő logikai jelekből) a faktuális értékekekről lesz szó. A következtetések ellenőrzésére SE-t tudjuk hatékonyan felhasználni. Első lépésként elevenítsük fel a helyes következtetés fogalmát.

11. A következtetés helyessége A helyes következtetést elsőre korábban úgy határoztuk meg, mint „kibontást”, explicitté tételt. Nevezetesen, amennyiben a konklúzió által explicitté tett információt a premisszák implicit módon valóban tartalmazzák, akkor a következtetés helyes. Másként, jól következtettünk, ha a kiinduló információk valóban tartalmazzák azt az információt, amit a konklúzióban megfogalmazunk, csak éppen nem kifejezett formában. A fenti példán szemléltetve: eszerint az a kérdés, hogy a „Párizsba megyek” valóban benn rejlik-e az összetett mondatokban. Ez azonban így félrevezető, hiszen látjuk, hogy benne van. A helyes következtetés definícióját ki is egészítettük és most már látható, hogy ez indokolt volt. Fenti meghatározásunk csak a szükséges feltételt találta el.

12. A következtetés helyessége A következtetés helyességének szükséges, de nem elégséges feltétele: bizonyosan helytelen egy következtetés, ha a premisszák nem tartalmazzák a konklúziót, ám ez még nem garancia arra, hogy a következtetés helyes, másként, nem elégséges feltétel. Megjegyzés: A szükséges feltétel sémája: ~A→~B. Ez esetben, ha a premisszák nem tartalmazzák a konklúziót (~A), akkor a következtetés helytelen (~B). Az elégséges feltétel sémája: C → B. Ezt még nem tudjuk most meghatározni, de ha az elégséges feltétel (C) teljesül, akkor a következtetés helyes (B). Felhasználva a kondicionális láncszabályát (T21) és a kontrapozíció szabályát (T18) arra jutunk, hogy C → B → A, vagyis, ha megtaláljuk az elégséges feltételt, akkor tudjuk, hogy helyes a következtetés és ebből következni fog, hogy a premisszák tartalmazzák a konklúziót.

13. A következtetés helyessége A definíció kiegészítése: helyes a következtetés, amennyiben a következtetés igazsága törvényszerűen folyik a kiinduló ismeretek igazságából, vagyis a premisszák igazsága szükségszerűen öröklődik a konklúzióra. Másként, a helyes következtetés igazságmegőrző eljárás. Ez metafora, így a kérdés megmarad: miként öröklődhet az igazság? Nos, volt egy másik definíciónk is: egy következtetés helyessége kizárólag a következtetést alkotó állítások (premisszák és konklúzió) logikai szerkezetétől, illetve a bennük szereplő logikai jelek jelentésétől függ.

14. A következtetés helyessége Vagyis: az igazság örökítése a logikai szerkezettől és a logikai jelek jelentésétől függ. Ám miként tudjuk ezt ellenőrzésre felhasználni? Egy eljárást keresünk, amely alkalmas arra, hogy eldöntsük, helyesen következtettünk-e vagy sem. Első lépésként ehhez ki kell emelni a természetes nyelvi mondatokból a logikai szerkezetet (formalizálás). Második lépésként meg kell határoznunk, hogy mit jelentenek a kiemelt logikai jelek (nem, és, vagy, ha|akkor), hiszen ezektől (és csakis ezektől) függ az igazság örökítése. Ehhez azonban be kell vezetnünk egy új nyelvet, a kijelentéslogika nyelvét, amelynek grammatikája a logikai szerkezeteket regulálja, szemantikája pedig meghatározza a logikai jelek jelentését, méghozzá mindezt az igazság fogalmára tekintettel.

15. Nulladrendű nyelv Erről is volt már szó: nulladrendű az elemzés, ha az analízis atomi (felbontathatatlan) egységei mondatok (p,q, r és így tovább). Ezt így jelezhetjük: At = {p1, … pn} A logikai jeleket már ismerjük: Log = { (, ), ~, &, V, →}

16. Nulladrendű logikai nyelv Grammatika L0 = {Log, Form} Log = { (, ), ~, &, V, →} Form = {At, Log} At = {p1, … pn} Az atomi formulák (At) formulák (Form). A formulák (Form) atomi formulák (At) vagy atomi formulákból és logikai szimbólumokból (Log) képzett alakzatok Ha A formula, akkor ~A is formula. Ha A, B formulák, akkor (A&B), (AVB), (A→B) is formulák. Más formula nincs.

17. Nulladrendű nyelv - szemantika Ám hogy kerül a képbe az igazság fogalma? Hogyan tehetjük a logika szerkezettől és a logikai jelek jelentésétől függővé az igazság öröklődését? Nos, a logikai jelek (Log) jelentését előző alkalommal már rögzítettük oly módon méghozzá, hogy megadtuk, az extenzionális logikai függvények kimeneteinek igazságértéke miként függ bemeneteik igazságértékétől. Itt van tehát az igazság, csak lajstromba kell venni a szabályokat. Másfelől, feltettük, hogy a logikai függvények bemenetei igazságértékkel bírnak (ezek az igazságtáblák rögzített bemeneti mintázatai). E bemenetek azonban éppen az atomi formulák (At). Azt kell tehát biztosítanunk, hogy minden atomi formula igazságértéket kapjon, hiszen a logikai jelek jelentéséből adódóan így már minden összetett formula is igazságértéket kap. Ehhez lesz szükségünk az interpretáció fogalmára.

18. Interpretáció Az ‘interpretáció’ kifejezés tágan értelmezést jelent. A logikában az interpretáció egy olyan értelmezési művelet, vagyis egy olyan (magasabb rendű) függvény, amely a formalizált kifejezéseket alkotó elemek (Form) mindegyikéhez szemantikai értéket rendel. Kijelentéslogika esetén ez igazságérték (igaz, hamis) Ez az operáció hasonlatos a koordinátageometriai függvényekhez ezért használhatjuk a leképezés (mapping) kifejezést is. Nevezetesen, az interpretációs függvény olyan leképezés, amely egy halmaz minden elemét egy másik halmaz elemeire képezi le. Rögvest meglátjuk, milyen halmazokról van szó. Az interpretációs függvény jelölésére bevezetjük a ‘Φ’ jelet, majd definiáljuk.

19. Interpretáció Egy függvényt úgy határozhatunk meg, hogy megadjuk (nem üres) értelmezési tartományát (Domain, Dom, D) és értékkészletét (Range, Ran, R), majd meghatározzuk a szabályt, amely a D-ből az R-re való leképezés műveletét határozza meg. Például: megadhatjuk az ‘x2=y’ műveletet végző függvény értelmezési tartományát és értékkészletét így (jelöljük f-fel az „x a négyzeten” függvényt): Dom(f) = N (a természetes számok halmaza) Ran(f) = N Az f függvény szabálya pedig semmi egyéb, mint, hogy „szorozd meg a kiválasztott számot önmagával”. Az összefüggést is rögzítve: „ha x egy természetes szám, akkor y az a természetes szám, amelyet x x-szel való szorzása jelöl meg”. Ezt ismerjük is látványról:

20. x2=y

21. Interpretáció Nos, miként definiálhatjuk ugyanilyen módon a Φ interpretációs függvényt? Vegyünk ehhez egy egyszerű, kétpremisszás következtetést, az úgynevezett modus ponenst: p → q p _______________ K: q Példa: ha alszom, hallgatok. Alszom. Következtetés: hallgatok. A következtetés egészét mondatosztálynak tekintjük és ‘MP’ címkével látjuk el.

22. Interpretáció Definiáljuk a Φ interpretációs függvényt erre az esetre (jelöljük ezt a függvényt ΦMP-vel!) Határozzuk meg elsőként az interpretációs függvény tartományait! Domain(ΦMP) = {p, q} Range(ΦMP) = {1, 0} Vagyis: két mondatparaméterünk van, ez az interpretációs függvény értelmezési tartománya (DMP), ezt képezzük le az értékkészletre (RMP), ahol ‘1’ reprezentálja az igazat és ‘0’ a hamisat, vagyis a két igazságértéket. A leképezésben részt vevő halmazokat elemeik felsorolásával definiáltuk.

23. Interpretáció Következzék ΦMP szabálya: nos, ez az úgynevezett Descartes szorzat vagy direkt szorzat (...×..., olvasd: „kereszt”), amely – egyszerűen fogalmazva – a műveletben részt vevő halmazok elemeiből minden lehetséges párt létrehoz. A mi esetünkben a következő műveletről van szó: DMP× RMP A halmazok elemeinek kibontásával: {p, q} × {1, 0}

24. Interpretáció Hamarosan általánosan is megfogalmazzuk mindezt, ám előbb végezzük el a műveletet: {p, q} × {1, 0} Íme: DMP × RMP= { {p,1}, {p, 0}, {q, 1}, {q, 0} } Ezeket az egységeket (jelen esetben ezt a négyet) rendezett párnak nevezzük, és a tulajdonképpeni ‘Descartes szorzat’ kifejezés azon halmaz neve, amelyet e párok képeznek.

25. Interpretáció Ezekből az elemekből {p,1}, {p, 0}, {q, 1}, {q, 0}, összesen 4 olyan kettőst tudunk képezni, amelyben mindkét mondatparaméter szerepel és egyik sem szerepel kétszer (ezt rögvest indokoljuk): {p,1}, {q, 1} {p,1}, {q, 0} {p, 0}, {q, 1} {p, 0}, {q, 0} Minden mondatparaméterünk minden lehetséges igazságértékkel előttünk van tehát kibontva. Ezek a vizsgált következtetés lehetséges interpretációi. Másként, ezeket az igazságértékeket veheti fel a vizsgált kétparaméteres következtetés.

26. Interpretáció Φ teljes szabálya a direkt szorzat mellett korlátozásokat is tartalmaz. Íme: Ip akkor és csak akkor interpretációja a következtetést alkotó mondatosztálynak (premisszák és konklúzió), ha Ip-ben valamennyi atomi formula szerepel Ip-ben nem szerepel egyetlen atomi formula sem egynél többször. Kommentár (1)-hez: ha nincs valamelyik atomi formula interpretálva, akkor nem határoztuk meg az adott formula (vagy azt őt tartalmazó összetett formula) igazságértékét, vagyis nem tudjuk megvizsgálni az igazság örökítését. Kommentár (2)-höz: ha M-ben egynél többször szerepelhet egy atomi formula, akkor az adott formula igazságértéke nem egyértelmű, márpedig enélkül nem tudjuk megvizsgálni az igazság öröklődését (az ellentmondásmentesség elve)

27. Szemantika S most már összegezhetünk: meghatároztuk az interpretációs függvényt, amely igazságértéket rendel a következtetést alkotó mondatokhoz (At) és korábban már definiáltuk a logikai jelek (Log) jelentését is igazságszabályuk megadásával, vagyis az őket tartalmazó mondatok (Form) igazságértéke is kiszámítható a bennük szereplő atomi formulák faktuális értékelése mellett. Φ teljes definíciója tehát az eddigieken kívül magában foglalja az összes mondat (Form) igazságértékének meghatározását is. Íme, mindez:

28. Nulladrendű logikai nyelv Szemantika Ip = {φ} Dom (φ) = {Form} Ran (φ) = {1, 0} |A|Ip = φ (A) |~A|Ip = 1−|A| |A & B|Ip = 1, ha |A|Ip = 1, és |B|Ip = 1, máskor 0 |A V B|Ip = 0, ha |A|Ip = 0, és |B|Ip = 0, máskor 1 |A → B|Ip = 0, ha |A|Ip = 1, és |B|Ip = 0, máskor 1

29. A következtetés helyességének szemantikai vizsgálata (SV) A kibővített definíció: helyes egy következtetés, amennyiben a premisszák és a konklúzió együttesen igazként értékelhető és igazra értékelt premisszák esetén lehetetlen a konklúziót hamisra értékelni. Az interpretációkra tekintettel ezt így fogalmazhatjuk meg: amennyiben a vizsgált mondatosztálynak van olyan interpretációja, amely a premisszákat és a konklúziót igazra értékeli és nincs olyan, amely a premisszákat igazra, de a konklúziót hamisra, akkor a mondatosztálynak van modellje, azaz kielégíthető. Lássuk MP esetén ezt.

30. Szemantikai vizsgálat (1) A négy lehetséges interpretáció: {p,1}, {q, 1} {p,1}, {q, 0} {p, 0}, {q, 1} {p, 0}, {q, 0} Lássuk a következtetést: p → q p _______________ K: q

32. Szemantikai vizsgálat (1) Ez annyit tesz, az MP mondatosztálynak van modellje, íme: M = {p,1}, {q, 1} valamint nincs olyan interpretáció, amely a premisszákat igazra és a konklúziót hamisra értékelné. MP tehát kielégíthető, azaz a következtetés helyes (az igazság öröklődött).

33. Szemantikai vizsgálat (2) Vizsgáljunk meg egy másik egyszerű esetet is! Vegyünk ehhez egy másik egyszerű, kétpremisszás következtetést, amelynek neve „az előzmény tagadásának hibája” (sejthető tehát, hogy helytelen következtetés) p → q ~p _______________ K: ~q Példa: ha alszom, hallgatok. Nem alszom. Következtetés: nem hallgatok. A következtetés egészét mondatosztálynak tekintjük és ‘ET’ címkével látjuk el.

34. Szemantikai vizsgálat (2) Mivel ugyancsak két paraméterünk van, minden ugyanaz, mint MP esetén. A négy interpretáció: {p,1}, {q, 1} {p,1}, {q, 0} {p, 0}, {q, 1} {p, 0}, {q, 0} A mondatosztály (ET): p → q ~p _______________ K: ~q

36. Szemantikai vizsgálat (2) A kibővített és kombinált meghatározás még egyszer: helyes egy következtetés, amennyiben a premisszák és a konklúzió együttesen igazként értékelhető és igazra értékelt premisszák esetén lehetetlen a konklúziót hamisra értékelni. Ám látjuk: ET-nek van ugyan olyan interpretációja, amely a premisszákat és a konklúziót is igazra értékeli, ám olyan interpretáció is lehetséges, ahol a premisszákat igazra értékelve a konklúziót hamisra értékelhetjük, márpedig ez utóbbit a helyes következtetés definíciója kizárja. A következtetés helytelen (mert a premisszák igazsága nem öröklődik, hiszen ezek igazsága esetén nem lehetetlen a konklúzió hamissága)

37. Szemantikai vizsgálat Az iménti eset rámutatott egy hiányosságra: ha megtaláltuk a modellt, még mindig nem lehetünk biztosak abban, hogy nincsen-e emellett olyan interpretáció, amely a premisszákat igazra, ám a konklúziót hamisra értékeli. Vagyis, ki kell zárnunk annak a lehetőségét, hogy a konklúzió hamisként való interpretációja mellett igazként interpretálhassunk minden premisszát. Vagyis a szemantikai vizsgálat pozitív eredménye csak szükséges feltétel. Ha van egy modellünk, ez önmagában még nem garantálja, hogy nincs olyan, amely a premisszákat igazra, míg a konklúziót hamisra értékeli. Elégséges feltételt ily módon csak az adhatna, ha minden olyan interpretációt megvizsgálnánk, amelyben a konklúzió hamis. Márpedig ez nagyon nagy munka. Más ötlet kell.

38. A következtetés helyességének szemantikai ellenőrzése (SE) A kibővített és kombinált meghatározás megint még egyszer: helyes egy következtetés, amennyiben a premisszák és a konklúzió együttesen igazként értékelhető és igazra értékelt premisszák esetén lehetetlen a konklúziót hamisra értékelni. Nem ez a definíció lesz azonban irányadó számunkra, mivel a szemantikai vizsgálat amúgy is olyan heurisztikát kíván, amely minél kevesebb munkát követel. Láthattuk, a direkt igazoláshoz minden interpretációt meg kell vizsgálni (öt paraméter esetén ez 25= 32 számú interpretáció: iszonyú munka), hiszen csakis így mondhatnánk biztosra, hogy a modell mellett nincs olyan interpretáció, amely a premisszákat igazra értékelve megengedi a konklúzió hamisságát. Ezért egy következtetés helyességét (egy mondatosztály kielégíthetőségét) indirekt módon fogjuk bizonyítani.

39. A következtetés helyességének szemantikai ellenőrzése A helyes következtetés gyakorlati definíciója tehát: helyes egy következtetés, amennyiben a konklúzió hamisra értékelése mellett lehetetlen a premisszák mindegyikét igazra értékelni. A heurisztika maximája: értékeld hamisra a konklúziót és vizsgáld meg, hogy ezen feltétel mellett lehet-e mindegyik premisszát igazra értékelni! Megjegyzés: olyan formációkkal, amelyekben a premissza hamis, nem foglalkozunk, mert hamis premisszából nem vonunk le következtetést (nincs, ami öröklődjön)

40. Szemantikai ellenőrzés (1) Lássuk, hogyan zajlik ez. Legyen a vizsgálat tárgya az MP mondatosztály. p → q p _______________ K: q Tegyük fel tehát, hogy a konklúzió, tehát q hamis. Ha q hamis, akkor az 1. premissza igazságát csak úgy lehet biztosítani, ha p hamis (a kondicionális szabálya szerint). Ám ez esetben a 2. premissza hamis lesz. Más lehetőség pedig nincs, vagyis lehetetlen a premisszákat igazra értékelni azon feltétel mellett, hogy a konklúzió hamis. A következtetés tehát helyes.

41. Szemantikai ellenőrzés (2) Vizsgáljuk meg ET-t is! p → q ~p _______________ K: ~q Tegyük fel tehát, hogy q igaz, hiszen, a negáció miatt, ekkor kapunk hamis konklúziót. A 2. premissza miatt p-t hamisra kell értékelni, mivel a negáció miatt csak így lehet a premissza igaz. Attól, hogy p hamis, az 1. premissza még lehet igaz, mivel q (az utótag) igaz. Nem lehet kizárni tehát a premisszák igazra értékelését azon feltétel mellett, hogy a konklúzió hamis. A következtetés tehát helytelen.

42. A következtetés helyességének szemantikai ellenőrzése És most térjünk vissza Jean esetére! Emlékszünk: „Párizsba vagy Québecbe vagy Rómába utazom” „Ha Québecbe megyek, akkor Párizst is útba ejtem” „Rómába nem megyek” ______________________________ „Párizsba megyek”

43. Szemantikai ellenőrzés (3) 1. p v q v r 2. q→p 3. ~r ________ K: p Legyen tehát p = 0. Ha p hamis, akkor a 2. premissza igazságát csak úgy menthetjük meg, ha q-t is hamisra értékeljük (a kondicionális igazságszabálya szerint csakis akkor kapunk igaz kimenetet, amennyiben az utótag hamis, ha az előtag is hamis). Ha p is hamis és q is hamis (ezeknek kell lenniük, hogy a 2. premissza igaz legyen), úgy az 1. premissza csakis akkor lehet igaz (az alternáció szabálya szerint), ha legalább egy, ez esetben a maradék r, igaz. Csakhogy ez az interpretáció lehetetlen, mivel 3. premissza csakis akkor lehet igaz, ha r hamis. És ezzel vége: beláttuk, hogy a konklúzió hamis interpretációja mellett lehetetlen a premisszák mindegyikét igazra értékelnünk.

44. Szemantikai ellenőrzés (3) Vagyis (indirekte) igazoltuk, hogy a következtetés helyes (mert nincs olyan interpretáció, amely a premisszák mindegyikét azon feltétel mellett igazra lenne képes értékelni, hogy a konklúziót hamisra értékeli. Keressük azonban meg a következtetés modelljét is!

45. Szemantikai vizsgálat (3) 1. p v q v r 2. q→p 3. ~r ________ K: p Nem nehéz kiokoskodni, hogy p-nek feltétlenül igaznak kell lennie, mivel ő a konklúzió, azaz a keresett modell első eleme csak {p, 1} lehet. Az sem kétséges, hogy r csak hamis lehet, azaz {r, 0} a keresett modell harmadik eleme. Több megszorítás nincs, az eddigiekre tekintettel q egyaránt lehet igaz is és hamis is (ellenőrizzük!). Következésképp, ennek a mondatosztálynak két modellje is van. Íme:

46. Szemantikai vizsgálat (3) A nyolc lehetséges interpretáció és a két modell: {p,1}, {q, 1}, { r, 1} {p,1}, {q, 1}, {r, 0} {p,1}, {q, 0}, { r, 1} {p,1}, {q, 0}, {r, 0} {p, 0}, {q, 1}, { r, 1} {p, 0}, {q, 1}, {r, 0} {p, 0}, {q, 0}, { r, 1} {p, 0}, {q, 0}, {r, 0} Megjegyzés: a továbbiakban a {p, 1} jelölést egyszerüsítjük így: {p1}, mivel a betű- (D) és a számkarakterek (R) összekeverhetetlensége folytán vessző nélkül is egyértelmű melyik elem melyik halmazból származik.

47. Szemantikai ellenőrzés (4) Ellenőrizzük az alábbi következtetés helyességét (Ruzsa 2001: 61): Premissza (1): Ha sötét van, akkor senki sincs otthon; vagy alszanak. Premissza (2): Sötét van, pedig valaki otthon van. ________________________________________ Konklúzió: Alszanak. Első lépés a formalizálás. Ennek első feladat a megfelelő szótár elkészítése. Ehhez ki kell emelni az atomi formulákat (másként, azokat a mondatokat, amelyek igazságfeltételei között nem szerepel a többi mondat, amely ezektől függetlenül lehetnek igazak vagy hamisak). Vigyázni kell arra is, hogy megtaláljuk az affirmatív alakot (vagyis ne maradjon benne negáció). Lássuk:

48. Szemantikai ellenőrzés 4.1 - Szótár Premissza (1): Ha sötét van, akkor senki sincs otthon; vagy alszanak. Premissza (2): Sötét van, pedig valaki otthon van. ________________________________________ Konklúzió: Alszanak. Helyettesítse a ‘k’ jel az első atomi formulát: „sötét van”. A „senki sincs otthon” nem affirmatív alak, benne negáció rejtőzik, azért az ‘l’ jel a második atomi formulát így helyettesíti: „valaki otthon van”. A harmadik atomi formula nem gond, „alszanak”. Ezt helyettesítse az ‘m’ jel. Több atomi formula nincs. A szótár tehát: k = „sötét van” l = „valaki otthon van” m = „alszanak”

49. Szemantikai ellenőrzés 4.2 – Logikai jelek Premissza (1): (Ha sötét van, akkor senki sincs otthon) vagy alszanak. Premissza (2): Sötét van, pedig valaki otthon van. ________________________________________ Konklúzió: Alszanak. Emeljük ki második lépésként a logikai szimbólumokat. A mondatosztály szerkezetében szerepel kondicionális (ha..., akkor...), alternáció (...vagy...) és konjunkció (...pedig...= ...és...). És még valami: az első premissza második tagmondata egy negációt rejt magában (Nem igaz, hogy...). E mondat a „valaki otthon van” atomi fomula tagadása, azaz egyoan formula, amelyet negációval képzetünk abból az atomi formulából, amit az ‘l’ jellel helyettesítettünk. Ám még mindig van valami: a zárójelek. Az elsp premisszában a fenti módon egyértelműsítettük az állítást. Az eredetiben pontosvessző jelzi ezt a tagolást. Formalizálhatunk.

50. Szemantikai ellenőrzés 4.3.1 – Formalizálás Premissza (1): Ha sötét van, akkor senki sincs otthon; vagy alszanak. Premissza (2): Sötét van, pedig valaki otthon van. ________________________________________ Konklúzió: Alszanak. Első szakasz: (Ha k, akkor non-l) vagy m k és l ________________________________________ K: m