Extenzionális mondatfunktorok

1. Extenzionális mondatfunktorok

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

3. Extenzionális mondatfunktorok Negáció (~) Nézzük a természetes nyelvet első lépésként. Vegyünk egy mondatot: „A vetítővászon fehér” Ez a mondat igaz (mert tényleg fehér). Mi történik, ha tagadjuk? „Nem igaz, hogy a vetítővászon fehér” Igaz ez vagy hamis? Nyilván hamis, ha egyszer tagadja azt, ami igaz. Nézzünk egy másik mondatot is.

4. Extenzionális mondatfunktorok Negáció, tagadás (~) „A teremben tájfun dúl” Itt és most ez igaz vagy hamis? Nyilván hamis. És mi történik, ha tagadjuk? „Nem igaz, hogy teremben tájfun dúl” Ha a kiinduló mondat hamis volt, akkor tagadása milyenné alakítja? Nyilván igazzá.

5. Extenzionális mondatfunktorok Negáció (~) Az aritmetika mintájára a negáció: A ‘~’ egy függvényjel, amely azt az egyargumentumú igazságfüggvényt jelöli, amelynek szabálya a következő: „a kimenethez cseréld fel a bemenet igazságértékét” A szabály tehát: Ha a bemenet ‘igaz’, akkor a kimenet ‘hamis’ Ha a bemenet ‘hamis’, akkor a kimenet ‘igaz’

6. Extenzionális mondatfunktorok Negáció (~) Az (igazság)szabály még plasztikusabban (abakuszként) Be → Ki i → h h → i

7. Extenzionális mondatfunktorok Affirmáció és negáció Affirmatív alak: állító mondat pl. „Eléggé éles ez a kés” Negált alak: tagadó mondat pl. „Nem eléggé éles ez a kés” vagy „Életlen ez a kés” E két forma független a mondatok szemantikai értékétől (attól, hogy igazak vagy hamisak). Affirmatív mondat is lehet hamis, negált mondat is lehet igaz (ám egyazon mondat affirmatív és negált alakja nem lehet együttesen igaz, erről később)

8. Extenzionális mondatfunktorok Negáció (~) Elemezzük az alábbi állítást. „Nincsenek nimfák” Az első lépés: megkeresni az állítást, az affirmatív alakot. Ez a következő: „Vannak nimfák”. Jelöljük ezt ‘p’-vel. A mondat így: ~p

9. Extenzionális mondatfunktorok Negáció (~) Nézzük a szabályt: Ha a bemenet ‘igaz’, akkor a kimenet ‘hamis’. Ha a bemenet ‘hamis’, akkor a kimenet ‘igaz’. Tehát: Ha p igaz (mert vannak nimfák), akkor ~p hamis. Ha p hamis (mert tényleg nincsenek), akkor ~p igaz. Nézzünk egy másik példát.

10. Extenzionális mondatfunktorok Negáció (~) „Nem igaz, hogy nem tudod megcsinálni” Keressük meg az affirmatív alakot! „Meg tudod csinálni”, legyen ez q. Az állítás így: „Nem igaz, hogy ~q.” Minden negációt felfedtünk? Affirmatív így az állítás? Nem. Második lépés: ~(~q) Mi történik, ha a fenti mintára az első művelet eredményét „visszatápláljuk”?

11. Extenzionális mondatfunktorok Negáció (~) Visszakapjuk az eredeti igazságértéket. Logikai szempontból nem történik semmi (noha a kettős negáció jelentése más, mint az egyszerű affirmatív alaké) Általánosítva: (Első logikai törvény, T1) ~~A => A

12. Extenzionális mondatfunktorok Negáció (~) Vegyük azonban észre, hogy A-ból is minden további következik ~~A (még ha ennek gyakorlati jelentősége még nem is látszik) vagyis A => ~~A amiből persze tovább mehetünk (T1 alkalmazásával), így: A => ~~A =>A Ez a kölcsönös (szemantikai) következményviszony, az ekvivalencia. Jele: <=>

13. Extenzionális mondatfunktorok Ekvivalencia. (<=>) (metalogikai jel) logikai (szemantikai egyenértékűség): az ekvivalenciajel két oldalán álló alakzatok szabadon felcserélhetőek a szemantikai értékek megváltozása nélkül. Ez módot ad arra, hogy egy már rendelkezésre álló kifejezés segítségével vezessünk be (posztuláljunk) újabb a definienssel logikailag ekvivalens kifejezéseket. Vagyis, úgy építkezünk a logikában, hogy első belátásainkat folyamatosan továbbörökítjük a későbbiekre. A definíció jele: <=>df A jel bal oldala a definiendum (az újonnan meghatározott), jobb oldala a definiens.

14. Extenzionális mondatfunktorok Ekvivalencia (<=>) igazolása Indirekt mód: feltesszük, hogy az ekvivalencia nem áll. Ha nem áll, akkor a jel két oldalán álló kifejezések ugyanazon bemenet esetén a feltevés szerint különböző kimenetet kell, hogy adjanak. Mivel ez lehetetlen, a feltevés hamis, tehát az ekvivalencia áll. Direkt mód: elvégezzük az ekvivalencia mindkét oldalán az igazságszabály szerint a műveletet (minden lehetséges bemenethez kimenetet rendelünk) és megvizsgáljuk, azonos bemenet esetén azonos kimeneti mintázatot kaptunk-e. Ha igen, az ekvivalencia áll. E kettő megkülönböztetésének jelenlegi szintünkön nincs jelentősége, mivel így is, úgy is el kell végeznünk a „számítást”, később másként lesz.

15. Extenzionális mondatfunktorok Feladatok a negációra Ruzsa 2001: 37

16. Extenzionális mondatfunktorok Konjunkció (&) A konjunkció (összekapcsolás) kétargumentumú mondatfunktor. Nézzük az alábbi mondatot. „A waterloo-i csatatéren esik az eső és fúj a szél.” Természetes nyelvi tapasztalataink alapján próbáljuk meghatározni, hogy ez az összetett mondat mikor igaz! Igaz, ha nem esik az eső, csak a szél fúj? Igaz, ha esik az eső, de nem fúj a szél? Igaz, ha se nem esik, se nem fúj?

17. Extenzionális mondatfunktorok Konjunkció (&) Ugye nem. Akkor és csak akkor igaz, ha esik az eső és fúj a szél. Általánosítva: az ‘és’-sel összekapcsolt összetett mondatok akkor és csak akkor igazak, ha mindkét tagmondatuk igaz. Az aritmetika mintájára megfogalmazva: A ‘&’ egy függvényjel, amely azt a kétargumentumú igazságfüggvényt jelöli, amelynek szabálya a következő: „a kimenet akkor és csak akkor igaz, ha mindkét bemenet igaz” Határozzuk meg tehát az igazságszabályt is.

18. Extenzionális mondatfunktorok Konjunkció (&) (A és B jelöli a bemeneteket) Ha A igaz és B igaz, akkor igaz. Ha A igaz, de B hamis, akkor hamis. Ha A hamis, de B igaz, akkor hamis. Ha A hamis és B is hamis, akkor hamis. Még plasztikusabban:

19. Extenzionális mondatfunktorok Konjunkció (&) Be → Ki i, i → i i, h → h h, i → h h, h → h

20. A konjunkció tulajdonságai (tábla) Kommutativitás (második logikai törvény, T2) Asszociativitás (harmadik logikai törvény, T3) (Idempotencia, T4) (A konjunkcióból következik junktorok igazsága)(T5) Zárójel ‘(‘ és ‘)’ funkciója: a tagolás és egyértelműsítés (később látunk majd kétértelmű (kétféleképpen analizálható) mondatokat

21. A konjunkció tulajdonságai A konjunkcióból következtethetünk bármelyik tag igazságára (T5): A & B => A A & B => B (T5)

22. A konjunkció Feladatok Ruzsa 2001: 37 1. igazolni a konjunkció kommutativitását és asszociativitását (hogyan is igazolunk ekvivalenciát?) 2. Vajon kommutatív-e az alábbi igazságszabállyal rendelkező (ismeretlen) funktor? i,i → h i,h → h h,i → h h,h → i

23. A konjunkció Ruzsa 2001: 37, 1.1.1/4 feladat „Őseinket felhozádKárpát szent bércére,Általad nyert szép hazátBendegúznak vére.S merre zúgnak habjaiTiszának, Dunának,Árpád hős magzatjaiFelvirágozának.”

24. Extenzionális mondatfunktorok Folytatás: két további funktor Alternáció (vagy) Kondicionális (ha…, akkor…)

25. Extenzionális mondatfunktorok Alternáció

26. Extenzionális mondatfunktorok A negáció és a konjunkció esetén természetes nyelvhasználatunk szabályát vettük alapul e függvények igazságszabályának meghatározásához. Ez biztosítja a formális szabályok és a természetes nyelvhasználat kapcsolatát, másként, a logikai szabályok alkalmazását természetes nyelvi mondatokra. Nem így haladunk azonban tovább. Ennek oka az a hagyomány, amely az axiomatikus tudományok szigorú és mértéktartó építkezését tekinti mérvadónak a logika felépítésénél. Vagyis, a további funktorokat a már rendelkezésre álló függvények kombinációjával fogjuk posztulálni (definícióval bevezetni). Csak ezután vetjük össze természetes nyelvhasználatunkkal őket. Lássuk.

27. Alternáció (V) Az első fontos belátás, ha a negációt és a konjunkciót együttesen kívánjuk alkalmazni: más kimenetet ad a konjunkció tagjainak egyenkénti negációja mint a teljes konjunkció negációja. Formulázva: ~A & ~B illetve ~(A & B) más függvények jelei. Az egyes függvényeket a bemenet és a kimenet összefüggése egyediesíti. Másként is megközelíthetjük ezt: ugyanazt a bemeneti mintázatot adjuk mindegyiknek és megvizsgáljuk, hogy milyen kimeneti mintázatot kapunk. Ha azonos bemenet esetén a kimenet más, a függvények eltérnek egymástól, ha viszont különböző jelű függvények azonos kimenetet adnak, ezeket ekvivalensnek tekintjük. Ezért rögzítjük a bemenetet és a kimeneti mintázatot fogjuk a függvények „névjegyének” tekinteni.

28. Alternáció (V) A rögzített bemeneti mintázat a következő (kétargumentumú funktor esetén): i, i i, h h, i h, h Tudjuk, hogy a konjunkció esetén a kimeneti mintázat a következő: i h h h Ez a konjunkció névjegye, ebből fogunk kiindulni.

29. Alternáció (V) Állításunk tehát az, hogy ‘~A & ~B’ illetve ‘~(A & B)’ más függvények jelei. Természetes nyelvérzékünk szerint ezek nem különböznek vagy legalábbis nem világos, hogy miben is különböznének: Alex és Bence nem buliznak Nem igaz, hogy Alex és Bence buliznak Sem Alex, sem Bence nem bulizik Alex nem bulizik, de Bence sem.

30. Alternáció (V) Vizsgáljuk meg tehát, hogy „~A & ~B” esetén milyen kimeneti mintázatot kapunk! A bemenet, még egyszer: i, i i, h h, i h, h Először a konjunkció bemeneteinek egyenkénti negációját kell elvégezni. Ez annyit tesz, hogy a bemenet minden értéke az ellenkezőjére vált így: h,h h,i i,h i,i

31. Alternáció (V) Most jön a második lépés, megvizsgálni, hogy az így kapott mintázatot bemenetként használva a konjunkció szabálya szerint milyen kimenetet kapunk. Nos, h,h esetén a kimenet: h, tovább, h,i esetén a kimenet: h, tovább, i,h esetén a kimenet:h, és végül, i, i esetén a kimenet: i. Vagyis: h,h h,i i,h i,i esetén a kimenet: h h h i

32. Alternáció (V) Összegezzük: Az „~A & ~B” jelölte függvény szabálya: i, i → h i, h → h h, i → h h, h → i A névjegy így (a rögzített bemeneti pattern esetén): h h h i

33. Alternáció (V) Lassan, nagyon lassan haladunk egy új funktor felé, de még nem látszik az alagút vége. Most ott tartunk, hogy bizonyítjuk, más függvényt jelöl a konjunkció tagjainak egyenkénti negációja, mint a teljes konjunkcióé. Az első lépés megvolt, láttuk, milyen mintázatot ad az egyenkénti negáció. Nézzük a következő alakzatot: ~(A & B) Ez esetben először a konjunkciót végezzük el, a normál módon, majd ezután alkalmazzuk a negációt.

34. Alternáció (V) A rögzített bemenet i, i i, h h, i h, h esetén a a kimeneti mintázat a következő: i h h h Ezt kell tehát negálnunk, azaz, mindegyiket az ellenkezőjére fordítanunk. Amit kapunk: h i i i

35. Alternáció (V) Ez a névjegy tehát: h i i i Összegezve:

36. Alternáció (V) Jegyezzük meg a fentieket és most nézzük meg, mi történik, ha tovább tagadjuk (tovább negáljuk) a kiinduló formulát: ~A & ~B kimenete: h h h i ~(~A & ~B) kimenete tehát i i i h És most vegyük fontolóra a következő mondatok igazságfeltételét.

37. Alternáció (V) „A waterloo-i csatatéren esik az eső vagy fúj a szél” „Béla vagy Józsi megy megszerelni a bojlert” „Töltött káposztát eszem vagy pörköltet” Közös jegyük: akkor és csak akkor hamisak, ha mindkét tagmondatuk hamis, máskülönben igazak (erről még lesz szó). Vagyis a bennük rejtőző logikai függvény szabálya a következő: i,i→i i,h →i h,i →i h,h →h

38. Alternáció (V) Egy még ismeretlen logikai függvény névjegye tehát: i i i h Korábban viszont már láttuk ezt, ~(~A & ~B) esetén. Vagyis ez a két jel ugyanazt a függvényt jelöli, csak más módon. ~(~A & ~B) rövidítésére tehát bevezetjük az „A V B” jelet, amelyet így definiálunk. A V B <=>df ~(~A & ~B)

39. Alternáció (V) Ez az alternáció (másként, megengedő vagy, mert azt is megengedi, hogy mindkét tagmondat igaz legyen). Az alternáció tulajdonságai (tábla) Kommutativitás (T7) Asszociativitás (T8) (Idempotencia)(T9) (Az igazból következő alternáció) (T10)

40. Duális A konjunkció és az alternáció egymás ún. duálisai: az egyik igazságfeltétele a másik hamisságfeltétele. Ez a szimmetria indokolja, hogy a logika fejlődésében az alternáció és nem a szigorú, kizáró vagy (diszjunkció) vált alapfunktorrá. Ez utóbbi ugyan jobban illeszkedik mindennapos nyelvhasználatunkhoz, ám a konjunkció és az alternáció együttes tulajdonságai lehetővé tették az elemi logika és az elemi aritmetika, illetve később a halmazelmélet egy rendszerben való kezelését. Ez azzal a reménnyel kecsegtetett, hogy a matematika megalapozását a logika végezheti el (Boole). Lássunk egy példát a logika és az aritmetika izomorfiájára a konjunkció és az alternáció kapcsán!

41. Duális Disztributivitás (a konjunkció és az alternáció széttagolhatósága) Vegyük szemügyre az alábbi aritmetikai egyenlőséget: a x (b + c) = (a x b) + (a x c) Kíváncsiságból nézzük meg, helyes-e. Legyen a=2, b=3, c=4. Az eredmény a műveletek (szorzás, összeadás) elvégzése után: 14=14 Ám tekintsünk most az alábbi logikai ekvivalenciára: A & (B V C) <=> (A & B) V (A & C) Ellenőrizzük igazságtáblával az ekvivalencia helyességét! (Házi feladat)

42. Duális Disztributivitás (széttagolhatóság) A & (B V C) <=> (A & B) V (B & C) A kimeneti mintázat rögzített bemenet esetén ugyanaz az ekvivalencia mindkét oldalán, így a szemantikai egyenértékűség érvényes. Emiatt is nevezik hagyományosan a konjunkciót logikai szorzásnak, az alternációt pedig logikai összeadásnak. Látható, hogy ez az izomorfia aritmetika és logika között nem állna fenn, ha a ‘vagy’ kifejezést nem alternációként (hanem akárhogyan másként) határoznánk meg.

43. De Morgan törvények Az alternáció definíciója: A V B <=>df ~(~A & ~B) Mindkét oldal negációjával az ekvivalencia továbbra is fennáll (hiszen a kimenet igazságértékeit mindkét oldalon ugyanúgy felcseréljük): ~(A V B) <=>~~(~A & ~B) A kettős negáció törlése után: (T11) ~(A V B) <=> ~A & ~B Ha most A-t ~A-val, B-t pedig ~B-vel helyettesítjük, ezt kapjuk: ~(~A V ~B) <=> ~~A & ~~B A kettős negáció törlésével ehhez jutunk: ~(~A V ~B) <=> A & B Negáljuk most mindkét oldalt: (T12) ~A V ~B <=> ~(A & B)

44. De Morgan törvények Ellenőrizzük ez utóbbit:: (T12) ~A V ~B <=> ~(A & B) A jobb oldali kifejezés névjegyét már kiszámoltuk: h i i i Nézzük a bal oldalt! Elsőként a negációkat végezzük el: i,i – h,h i,h – h,i h,i – i,h h,h – i,i

45. De Morgan törvények Ezt kaptuk tehát: i,i – h,h i,h – h,i h,i – i,h h,h – i,i A jobb oldali mintát bemenetként adva az alternációba a szabály szerint az alábbi kimenetet kapjuk: h i i i Ez pedig ugyanaz a mintázat, mint a ~(A & B) kimenete, az ekvivalencia áll.

46. Egyértelműsítés zárójelekkel Vegyük az alábbi mondatot: „Hozd a feleséged vagy gyere egyedül és érezd jól magad!” Hogyan formalizáljuk? Másként, mire gondolt az, aki így fogalmazott? Mi az állítás logikai szerkezete? Legyen p=hozd a feleséged, q=gyere egyedül, r=érezd jól magad (p v q) & r p v (q & r)

47. Feladatok Ruzsa 2001: 38

48. Extenzionális mondatfunktorok Kondicionális

49. Kondicionális (→) Az alternáció esetén alkalmazott eljárással tudjuk definiálni a feltételes állítások (ha…, akkor…) igazságfeltételét is. Látni fogjuk majd, hogy a kondicionális meghatározásával igen mély szakadék képződik természetes nyelvünk és a logikai nyelv között (ennek is megvan a maga indoka, miként az alternáció esetén is).

50. Kondicionális (→) A feltételes mondatok igazságfeltétele nehezen meghatározható. Egyvalami biztos pontnak tűnik azonban: amikor hamisak. Példa: hogyan cáfoljuk az alábbi feltételes összefüggést? „Ha Zsozsó gólt rúg, megeszem a kalapom” mondja Béla bácsi a meccs előtt. És lássanak csodát, Zsozsó gólt rúg, ám Béla bácsi nem eszi meg a kalapját. Vagyis a cáfolat (azon eset, amikor az összefüggés hamis): „Zsozsó gólt rúg, de Béla bácsi nem eszi meg a kalapját” Formulázva: A és non-B vagyis A & ~B