A LOGIKA ELEMEI

Bta Lszl

MDIAINFORMATIKAI KIADVNYOK

A LOGIKA ELEMEI

Bta Lszl

Eger, 2011

Lektorlta: CleverBoard Interaktv Eszkzket s Megoldsokat Forgalmaz s Szolgltat Kft.

A projekt az Eurpai Uni tmogatsval, az Eurpai Szocilis Alap trsfinanszrozsval valsul meg.

Felels kiad: dr. Kis-Tth Lajos Kszlt: az Eszterhzy Kroly Fiskola nyomdjban, Egerben Vezet: Krszy Lszl Mszaki szerkeszt: Nagy Sndorn

Kurzusmegoszts elvn (OCW) alapul informatikai curriculum s SCORM kompatibilis tananyagfejleszts Informatikus knyvtros BA, MA lineris kpzsszerkezetben TMOP-4.1.2-08/1/A-2009-0005

A LOGIKA ELEMEI

Tartalom
1. Bevezets ..................................................................................................................... 10 1.1 Clkitzs ........................................................................................................ 10 1.2 A kurzus tartalma ............................................................................................ 10 1.3 A kurzus tmr kifejtse ................................................................................. 10 1.4 Kompetencik s kvetelmnyek .................................................................... 11 1.5 Tanulsi tancsok, tudnivalk ......................................................................... 11 2. A logika trtnete, trgya .......................................................................................... 12 2.1 Clkitzs ........................................................................................................ 12 2.2 Tartalom .......................................................................................................... 12 2.3 A tananyag kifejtse ........................................................................................ 12 2.3.1 A logikai gondolkods szletse ......................................................... 13 2.3.2 Az kor s Arisztotelsz ..................................................................... 14 2.3.3 Az igazsgfggvnyek megjelense ................................................... 17 2.3.4 A kzpkor Arisztotelszi logika ismt ........................................... 17 2.3.5 Az jkor............................................................................................... 18 2.3.6 A szimbolikus logika kialakulsa........................................................ 21 2.3.7 A 20. szzadi fejlds ......................................................................... 22 2.3.8 A szimbolikus logika .......................................................................... 24 2.3.9 A szimbolikus logika trgya ............................................................... 26 2.3.10 Matematika s logika .......................................................................... 27 2.3.11 Matematikai logika ............................................................................. 29 2.4 sszefoglals................................................................................................... 29 2.5 nellenrz krdsek ...................................................................................... 30 3. Alapfogalmak .............................................................................................................. 31 3.1 Clkitzs ........................................................................................................ 31 3.2 Tartalom .......................................................................................................... 31 3.3 A tananyag kifejtse ........................................................................................ 31 3.3.1 Matematikai alapfogalmak .................................................................. 31 3.3.2 A matematikai logika .......................................................................... 32 3.3.3 A kijelents ......................................................................................... 33 3.3.4 Az Arisztotelszi alapelvek ................................................................. 34 3.3.5 A logikai rtk..................................................................................... 36 3.3.6 Tbbrtk logikk ............................................................................. 36 3.3.7 Logikai szimblumok, jellsek ......................................................... 38 3.3.8 Feladatok ............................................................................................. 40 3.4 sszefoglals................................................................................................... 40 3.5 nellenrz krdsek ...................................................................................... 40 4. Logikai mveletek ...................................................................................................... 41 4.1 Clkitzs ........................................................................................................ 41 4.2 Tartalom .......................................................................................................... 41 4.3 A tananyag kifejtse ........................................................................................ 41 5

A LOGIKA ELEMEI 4.3.1 A matematikai mvelet ....................................................................... 41 4.3.2 Logikai mveletek............................................................................... 43 4.3.3 A logikai kifejezs. A kijelentsek formulja ..................................... 44 4.3.4 A negci ............................................................................................ 45 4.3.5 A konjunkci ....................................................................................... 47 4.3.6 A sem-sem mvelet ............................................................................. 50 4.3.7 A diszjunkci ...................................................................................... 51 4.3.8 A De Morgan-azonossgok ................................................................. 55 4.3.9 Az abszorci s a disztributivits ttele .............................................. 56 4.3.10 Az implikci ...................................................................................... 56 4.3.11 Az ekvivalencia ................................................................................... 60 4.3.12 Feladatok ............................................................................................. 61 4.4 sszefoglals................................................................................................... 62 4.5 nellenrz krdsek ...................................................................................... 62 5. A halmazelmlet ......................................................................................................... 64 5.1 Clkitzs ........................................................................................................ 64 5.2 Tartalom .......................................................................................................... 64 5.3 A tananyag kifejtse ........................................................................................ 64 5.3.1 Halmazelmlet .................................................................................... 64 5.3.2 Mveletek halmazokkal ...................................................................... 67 5.3.3 Az uni (egyests).............................................................................. 68 5.3.4 A metszet (kzs rsz) ........................................................................ 68 5.3.5 Klnbsg (differencia) ...................................................................... 70 5.3.6 Komplementer (kiegszt) halmaz .................................................... 72 5.3.7 A szimmetrikus klnbsg .................................................................. 73 5.3.8 A naiv halmazelmlet.......................................................................... 73 5.3.9 Feladatok ............................................................................................. 74 5.4 sszefoglals................................................................................................... 76 5.5 nellenrz krdsek ...................................................................................... 77 6. A kijelentslogika ....................................................................................................... 78 6.1 Clkitzs ........................................................................................................ 78 6.2 Tartalom .......................................................................................................... 78 6.3 A tananyag kifejtse ........................................................................................ 78 6.3.1 A formulk interpretcija .................................................................. 78 6.3.2 A kvetkeztets ................................................................................... 82 6.3.3 Kijelentslogikai korltok ................................................................... 84 6.3.4 Gyakran hasznlt kvetkeztetsi szablyok ........................................ 85 6.3.5 A levlasztsi szably (modus ponens) ............................................... 86 6.3.6 Az elvev szably (modus tollens) .................................................. 86 6.3.7 A lncszably (feltteles szillogizmus) ............................................... 87 6.3.8 Az indirekt bizonyts ......................................................................... 88 6.3.9 A kontrapozci (elvetsi md) ....................................................... 88 6.3.10 A diszjunktv szillogizmus (modus tollendo ponens) ......................... 89 6.3.11 Egy klns plda ............................................................................... 90 6

A LOGIKA ELEMEI 6.4 6.5 6.3.12 Feladatok ............................................................................................. 91 sszefoglals................................................................................................... 92 nellenrz krdsek ...................................................................................... 93

7. A kijelentslogika alkalmazsai ................................................................................ 94 7.1 Clkitzs ........................................................................................................ 94 7.2 Tartalom .......................................................................................................... 94 7.3 A tananyag kifejtse ........................................................................................ 94 7.3.1 Logikai ramkrk .............................................................................. 94 7.3.2 A konjunkci ....................................................................................... 95 7.3.3 A diszjunkci ...................................................................................... 95 7.3.4 Implikci ........................................................................................... 95 7.3.5 Az ekvivalencia ................................................................................... 96 7.3.6 rtkes azonossgok ........................................................................... 96 7.3.7 Feladatok ............................................................................................. 97 7.4 sszefoglals................................................................................................... 98 7.5 nellenrz krdsek ...................................................................................... 98 8. A prediktumlogika elemei...................................................................................... 100 8.1 Clkitzs ...................................................................................................... 100 8.2 Tartalom ........................................................................................................ 100 8.3 A tananyag kifejtse ...................................................................................... 100 8.3.1 A prediktumlogika szerepe .............................................................. 100 8.3.2 A prediktum..................................................................................... 100 8.3.3 A konkretizci ................................................................................. 102 8.3.4 A prediktum igazsghalmaza .......................................................... 102 8.3.5 A kvantifikci.................................................................................. 104 8.3.6 A prdiktum logikai rtke .............................................................. 104 8.3.7 A prediktum tagadsa ...................................................................... 105 8.3.8 Feladatok ........................................................................................... 105 8.4 sszefoglals................................................................................................. 106 8.5 nellenrz krdsek .................................................................................... 106 9. Prediktumlogikai kvetkeztetsek ........................................................................ 107 9.1 Clkitzs ...................................................................................................... 107 9.2 Tartalom ........................................................................................................ 107 9.3 A tananyag kifejtse ...................................................................................... 107 9.3.1 Mveletek prediktumokkal.............................................................. 107 9.3.2 A prediktum s a negltja ................................................................ 107 9.3.3 A prediktumok konjunkcija s diszjunkcija ................................ 108 9.3.4 A prediktumok implikcija s ekvivalencija ............................... 108 9.3.5 Kvetkeztets Venn-diagram segtsgvel........................................ 109 9.3.6 A helyes kvetkeztets ...................................................................... 111 9.3.7 Plda a kvetkeztetsre ..................................................................... 112 9.3.8 Feladat ............................................................................................... 114 9.4 sszefoglals................................................................................................. 115 9.5 nellenrz krdsek .................................................................................... 115 7

A LOGIKA ELEMEI 10. Leckk feladatainak megoldsa .............................................................................. 116 10.1 Clkitzs ...................................................................................................... 116 10.2 Tartalom ........................................................................................................ 116 10.3 A tananyag kifejtse ...................................................................................... 116 10.3.1 Alapfogalmak .................................................................................... 116 10.3.2 Logikai mveletek............................................................................. 118 10.3.3 Halmazelmlet .................................................................................. 122 10.3.4 Kijelentslogika ................................................................................ 127 10.3.5 A kijelentslogika alkalmazsai ........................................................ 134 10.3.6 A prdiktumlogika elemei ............................................................... 137 10.3.7 Prediktumlogikai kvetkeztetsek ................................................... 138 10.4 sszefoglals................................................................................................. 144 11. Gyakorl feladatok s megoldsaik ........................................................................ 145 11.1 Clkitzs ...................................................................................................... 145 11.2 Tartalom ........................................................................................................ 145 11.3 A tananyag kifejtse ...................................................................................... 145 11.3.1 Kijelentslogika ................................................................................ 145 11.3.2 Prediktumlogika .............................................................................. 149 11.3.3 Kijelentslogikai feladatok megoldsai ............................................ 150 11.3.4 A prediktumlogikai feladatok megoldsai ...................................... 159 11.4 sszefoglals................................................................................................. 166 11.5 nellenrz krdsek .................................................................................... 166 12. sszefoglals ............................................................................................................. 168 12.1 A kurzusban kitztt clok sszefoglalsa.................................................... 168 12.2 Tartalmi sszefoglals ................................................................................... 168 12.3 A tananyagban tanultak rszletes sszefoglalsa .......................................... 168 12.3.1 A logika trtnete, trgya .................................................................. 168 12.3.2 Alapfogalmak .................................................................................... 169 12.3.3 Logikai mveletek............................................................................. 169 12.3.4 Halmazelmlet .................................................................................. 169 12.3.5 Kijelentslogika ................................................................................ 169 12.3.6 A kijelentslogika alkalmazsai ........................................................ 169 12.3.7 A prediktumlogika elemei ............................................................... 169 12.3.8 Prediktumlogikai kvetkeztetsek ................................................... 169 12.3.9 A leckk feladatainak megoldsa ...................................................... 170 12.3.10 Gyakorl feladatok s megoldsaik .................................................. 170 13. Kiegsztsek ............................................................................................................. 171 13.1 Irodalomjegyzk ............................................................................................ 171 13.1.1 Hivatkozsok ..................................................................................... 171 14. brajegyzk .............................................................................................................. 172 15. Mdiaelemek ............................................................................................................. 174 16. Tesztek ....................................................................................................................... 175 8

A LOGIKA ELEMEI 16.1 16.2 16.3 16.4 Prbateszt ...................................................................................................... 175 Zrteszt A. ................................................................................................... 178 Zrteszt B. ................................................................................................... 182 Zrteszt C. ................................................................................................... 186

A LOGIKA ELEMEI

1. BEVEZETS
A jegyzet a mai modern szemllet logika alapjait taglalja szabatos matematikai megkzeltssel, tekintettel az informatikus knyvtros szakos hallgatk ignyeire. 1.1

CLKITZS

A szimbolikus logika s a matematikai logika kapcsolatnak megrt etse. A matematikai logika alapvet fogalmi rendszernek, jellsnek, sszefggseinek bizonytsra tr megrtetse. Cl tovbb a tananyaggal szmos tanegysg feldolgozsnak elsegtse, melyek tmaszkodnak a szimbolikus logika elemeire.

1.2

A KURZUS TARTALMA

1. A logika trtnete, trgya 2. Alapfogalmak 3. Logikai mveletek 4. A halmazelmlet 5. A kijelentslogika 6. A kijelentslogika alkalmazsai 7. A prediktumlogika elemei 8. Prdiktumlogikai kvetkeztetsek 9. A leckk feladatainak megoldsa 10. Gyakorl feladatok s megoldsuk

1.3

A KURZUS TMR KIFEJTSE

A jegyzetben bemutatjuk a matematikai logika, ezen bell a kijelentslogika s a prediktumlogika alapvet fogalmait. A kijelents- s a prediktumkalkulus szmra viszonylag knnyen lehet kvetkeztetsi szablyokat megadni, amelyek megengedik a szoksos tartalmi kvetkeztets szigor formulzst, de messzemenen megengedtnk olyan bizonytsokat is, amelyeket csupn a tartalom vezrli, azaz nem formalizltak. A trgyalt tananyag matematikai mdszereket, jellseket alkalmaz, de nem jut el az axiomatikus trgyals mlyebb szintjre. A tananyag mlysgnl s a bizonytsoknl figyelembe vettk a szak sajtossgait, a szakmai hasznossgot s a vizualitst, klns tekintettel az elvonatkoztatott logikai bizonytsok esetn. A formlis logika elemeinek alapjain tl az olvas ms trgyak esetn tovbbptkezhet, de ott mr nem biztos, hogy a szabatos trgyals lesz szksges. A feldolgozand anyag trgyalsa sorn szmtalan plda segti a megrtst, a leckk feladatai igyekeznek tltetni a tanultakat a gyakorlatba. A pldk megoldsa minden esetben a tananyag szvegben, a plda utn, mg a leckk feladatainak megoldsa egy kln leckben tallhat. A leckkhez kapcsoldva mg egy jabb, sszefoglal feladatsor is rendelkezsre ll az utols leckben, melynek a megoldsa a feladatsor utn megtekinthet.

10

A LOGIKA ELEMEI 1.4

KOMPETENCIK S KVETELMNYEK

A knyvtros szmra hasznos a logika elemeinek ismerete. Segtsget nyjt a tjkoztat munkhoz szksges tudsanyag strukturlsban, a rejtett informcik kvetkeztetsek rvn val feltrsban, a problmamegold gondolkods fejlesztsben, a szabatos s egyrtelm kommunikls kpessgnek kialaktsban. A tananyag elsajttsa utn a hallgat kpes a matematikai logika alapoz elemeit matematikai szabatossggal megfogalmazni, a tteleket nllan, ignyesen beltni, az elemleti ismereteket a gyakorlatban alkalmazni. A logika elmei kpess teszik arra, hogy a ksbbiekben az internetes keresrendszerek valamint a knyvtri rendszerek keresfunkcit megrtse s a gyakorlatban alkalmazza. A hardverismereteket tmogatja a matematikai logika s az ramkri tervezs rsz. A bizonytsi igny a szabatossgra s tudomnyos precizitsra nevel.

1.5

TANULSI TANCSOK, TUDNIVALK

A teljes tananyag nll tanulsra is alkalmas, de csak abban az esetben, ha a hallgat a leckket sorban, egyms utn sajttja el, mivel a tananyag trgyalsa ersen pl az elz rszekre. A leckket nem rdemes tlpni, hiszen az olykor lehetetlenn teszi a kvetkez leckk valamelyiknek a megrtst. Egy leckben ppen ezrt nem helyeztnk el sok elmleti anyagot, inkbb a pldk s a feladatok vannak tbbsgben. A logika trtnetrl szl fejezetet rdemes a tananyag feldolgozsa eltt felletesen tolvasni, majd a tbbi lecke utn kvetkezzen az alapos feldolgozs, mivel a tudomnytrtnet hatatlanul tartalmaz a ksbbiekben kifejtett s megmagyarzott fogalmakat, tteleket. A matematikai, azaz egymsra pl trgyals miatt a korbbi leckk definciinak s a tteleinek ismerete elengedhetetlen az elrehaladshoz. A tanultakat pldk s a feladatok megoldsval rgztheti. A feladatokat a lecke vgn annyiszor kell megoldani, amg azok a megolds megtekintse nlkl nllan is elvgezhetk. Az rdekldk szmra ajnljuk a szakirodalmi utalsokat. A szmonkrs teszt formban trtnik, amiben elmleti s gyakorlati krdsek is szerepelnek. A gyakorlat hangslyos, azonban a tantrgy sikeres befejezshez az elmletre s a gyakorlatra is szksg van. A szmonkrs ersen kapcsoldik a jegyzethez, a feladat okat tekintve is. Az elmleti tudst az ellenrz krdsekkel mrheti le, de ktsgek esetn rdemes az oktatjtl krdezni, hiszen egy elakads megakadlyozhatja a tananyag fe ldolgozst. Az elmleti rsz jelentsgt ne becslje le, ha nem rtette meg, vagy nem kpes visszaadni, akkor nzze t jbl!

11

A LOGIKA ELEMEI

2. A LOGIKA TRTNETE, TRGYA

2.1

CLKITZS

A matematika trtnetn bell a matematikai logika helye, a matematika s a logika szoros kapcsolatnak megrtse. A matematikai logika szerepe a matematikai bizonytsoknl. A logika jeles szemlyei letnek megismerse. 2.2

TARTALOM

A logikai gondolkods szletse Az kor s Arisztotelsz Igazsgfggvnyek megjelense A kzpkor Arisztotelszi logika ismt Az jkor A szimbolikus logika kialakulsa A 20. szzadi fejlds A szimbolikus logika A szimbolikus logika trgya Matematika s logika Matematikai logika

2.3

A TANANYAG KIFEJTSE

A szimbolikus logika kutatsi tmit a szzadforduln fknt matematikai megalapozsa s filozfiai problmi, ksbb a tudomnyos mdszertan sztnzte. A 20. szzad msodik felben az elmleti nyelvszet problmi befolysoltk tovbbfejldst. A szimbolikus logika csrja, a logikai kalkulus skpe mr Arisztotelsz szillogisztikjban (szillogizmus) megtallhat. Egy egyetemes szimblumnyelv megteremtsnek s a logika matematizlsnak programjt G. W. Leibniz tzte ki (characteristica universalis), s lpseket tett realizlsra is. Az els matematizlt logikai rendszer G. Boole-tl szrmazik (1847, logikai algebra). G. Frege fogalomrsa (1879) magban foglalja a mai szimbolikus logika kzponti jelentsg fejezett, a klasszikus elsrend logikt; innen keltezhet a szimbolikus logika kialakulsa. Frege munkssga azonban rszben szokatlan ktdimenzis szimblumrendszere miatt kevs figyelmet keltett. A mai szimblumrendszer nagyrszt G. Peantl s B. Russelltl szrmazik. Russell s A. N. Whitehead a matematika logicista megalapozsra igyekezett felhasznlni a szimbolikus logikt (191013). A matematikai alkalmazsok szempontjbl a 20. sz. els harmadban D. Hilbert s K. Gdel munkssga a legjelentsebb. A szimbolikus logika alkalmazsa a modlis logika terletn C. I. Lewis munkssgval kezddtt. A tbbrtk logikk kidolgozst Emil Leon Post (1897, 954) s J. Lukasiewicz kezdte meg. A matematikn kvli alkalmazsok ttrje az 1920-as vektl R. Carnap. Az intenzionlis logika 1945 utn bontakozott ki; f eredmnyei Carnap, A. Church, S. Kripke s R. Montague nevhez fzdnek. Magyarorszgon Kalmr Lszl kezdemnyez-

12

A LOGIKA ELEMEI te a szimbolikus logika, illetve a matematikai logika mint matematikai diszciplna mvelst, tevkenysge azonban a matematikn kvli terletekre is hatott. 2.3.1 A logikai gondolkods szletse

Filozfiai termszet az a legkorbban keletkezett szveg, amelyben a szerz tisztn logikai ton ksrli meg lltsait bebizonytani. Az i.e. 5. szzad els felhez kthet tankltemny fennmaradt tredkei a grg filozfus, Parmenidsz kezemunkjt dicsrik. Parmenidsz a logikai gondolkods mig kiemelt eszkznek, az indirekt bizonytsnak a szlatyja. Znn tovbbfejlesztette a mdszert, Parmenidsz tantvnya volt. A logikai bizonyts igazi diadaltjt azonban nem a filozfiban hanem a matematikban futotta be. A matematika, amely a grgk eltti trsadalmakban tapasztalati eredet mrsi s szmolsi szablyok gyjtemnye volt, a Parmenidszt kvet mintegy szz-szztven vben bizonythatan Parmenidsz s Znn gondolatainak hatsra elnyerte gyszlvn mai alakjt: olyan tudomny lett, amely lltsait kevs szm kiindul llts (az aximk) igazsgt felttelezve, szigoran logikai ton, azaz minden megfigyels s egyb tapasztalat felhas znlsnak kizrsval, egyedl az rtelemre tmaszkodva bizonytja. (A korai grg filozfia s a matematika kialakulsa kztti sszefggs kutatsban magyar tuds, Szab rpd tett az utbbi vtizedekben kiemelked jelentsg felfedezseket.) Az i.e. 4. szzadban Platn filozfiai munkiban szmos matematikai utals szerepel: a bizonytson alapul matematika gyszlvn mintapldja a tudsnak, az emberi gondolkods erejnek. Platn szerint az igazi filozfinak a matematika mdszert, a tisztn logikai bizonytst kell mg magasabb tklyre emelnie, hogy a clhoz, a j megismershez eljusson. Platn mveiben szmos les elmre vall bizonytst is tallunk; ezeken tl helyenknt mr arra is trekszik, hogy megfogalmazza: mik a bizonyts alapelvei, szablyai, azaz taln els zben mond ki logikai trvnyeket. Tallkozhatunk pldul annak ltalnos kimondsval, hogy valami nem lehet egyszerre igaz s hamis. Ezt a felfedezst taln ma mr nem tudjuk a mly gondolatoknak kijr csodlattal szemllni; de nem is ez a lnyeg, hanem az, hogy kialakul s meghozza els eredmnyeit is egy olyan fogalomrendszer, amelyben teljes ltalnossgban lehet lltsokrl vagy a gondolkods ms alapel emeirl beszlni. Platn mg nem fejlesztette a logikai alapelveket sszefgg elmlett. Az els rendszeres logikai elmlet a grg filozfia msik kiemelked alakjtl, Ar isztotelsztl szrmazik. Arisztotelsz (i.e. 384322) Platn tantvnya volt, ksbb pedig filozfiai vetlytrsa. Arisztotelsz egyik mvben (Organon 3. rsz) a kvetkeztetsi smk viszonylag szles krnek szisztematikus vizsglata szerepel, amelyben a szerz kivlasztja a helyes s cfolja a hibs kvetkeztetseket. Kifejtse sorn lnyegesen felhasznlta a matematikbl tvett axiomatikus mdszert, s mr betparamtereket is hasznlt a logikai trvnyek ltalnossgnak kifejezsre. Miutn ktezer ven keresztl ezzel az elmlettel illetve ksbbi tdolgozsval, a tradicionlis logikval azonostottk a logikt, vagy legalbbis az gynevezett formlis logikt, s ennek kvetkeztben a tradicionlis logika terminolgijval s fogalomrendszervel mg ma is tallkozhatunk, rdemes Arisztotelsz gondolataival behatbban megismerkednnk.

13

A LOGIKA ELEMEI 2.3.2 Az kor s Arisztotelsz

Arisztotelsz (Aristoteles) lete

Arisztotelsz (Kr. e. 384 Sztageira, Kr. e. 322 Khalkisz); kori grg filozfus. A peripatetikus iskola megalaptja. Apja, Nikomakhosz II. Amntasz makedniai kirly hzio rvosa volt. Arisztotelsz 18 ves korban Athnba kltztt. Kr. e. 366-347 kztt Platn tantvnya volt. Mestere halla utn elhagyta Athnt, s Asszoszban, majd Mtilnben tantott. 347 ben elvllalta a makedn trnrks, a ksbbi III. Alexandrosz (Nagy Sndor) nevelst. Tantvnya trnra lpsekor (335) visszatrt Athnba, s megnyitotta iskoljt, a Lkeiont. letnek legtermkenyebb korszaka III. Alexandrosz hallig (323) tartott. A makedne llenes politikai hangulat miatt ekkor meneklnie kellett. Khalkiszra hzdott vissza, s rvidesen ott is halt meg.

1. kp

Arisztotelsz portrja

Sokrt tudomnyos tevkenysge hrom korszakra oszthat: a tanul-, a vndor- s a mestervek idszakra. Az els korszakban rott mvei csak utalsokbl s tredkesen ismertek, a fennmaradt iratok a msodik s harmadik korszak termkei. Ezt az anyagot, amely halla utn ktszz vig lappangott, a Kr. e. 1. sz. -ban rhodoszi Andronikosz szerkesztette meg. Szerkesztsben a kvetkez tematikus sorrendet alka lmazta: logikai iratok, termszetfilozfiai rtekezsek, metafizikai, etikai s politikai rsok, vgl a Poitika c. tredk. Az athni alkotmny cm szveg 1890-ben, Egyiptomban kerlt el. Arisztotelsz a logika megalapozja. Hat fnnmaradt logikai mvre (Katgorik, Hermneutika, Els s Msodik Analtika, Topika, A szofistk cfolata) az sszefoglal Organon (grgl eszkz) cmen szoks hivatkozni. A logikt Arisztotelsz nem nll tudomnynak, hanem elzetes tudnivalnak tekintette, amellyel a teoretikus tudomnyok mvelinek rendelkeznie kell. Hrom teoretikus tudomnyt klnbztetett meg: az els s msodik filozfit, valamint a matematikt. Ez utbbival maga nem foglalkozott. 14

A LOGIKA ELEMEI

Az arisztotelszi logika
Az arisztotelszi logika se a hagyomnyos s a szimbolikus logiknak, az utbbirl szl ez a jegyzet is. Arisztotelsz munki kzl elssorban a Hermneutika cm mvet kell kiemelni, az abban kidolgozott n. formlis logika kidolgozsval teremtette meg a logika tudomnyt. A logika fejldst tekintve ebben jelents a szillogisztika (kvetkeztetsek tana) rszletezse. szrevette, hogy a kvetkeztetsek helyessge kizrlag a szillogizmusban szerepl lltsok logikai szerkezettl s a logikai szavak (nem, s, minden, azonos) jelentstl fgg. E logiknak gazdag fejezete mg a kategriaelmlet. A kategrik (szubsztancia, me nynyisg, minsg, viszony, hely, id, helyzet, llapot, cselekvs, elszenveds) a legltaln osabb fogalmak, amelyeknek nllan mondva egyik sem foglal magban lltst, de megadjk a ltezk legltalnosabb tpusait. Arisztotelsz logikai vizsglatai az n. kategorikus lltsokra sszpontosultak. Az ide tartoz ngy tpust s a logikai szerkezetket egy-egy pldval illusztrljuk, hozztve, hogy a logikai szerkezet (formula) csak a tananyag megismerse utn lesz rthet. (1) Minden ember haland. (2) Nmely grg filozfus. (3) Egyetlen athni sem sprtai. (4) Nmely filozfus nem grg. Formulja: Formulja: Formulja: Formulja: x (Ex Hx) x (GxFx) x (Ax Sx) x (FxGx)

Az arisztotelszi grammatika szerint ezen lltsok szerkezete a kvetkez : alany, lltmny (azaz az els s a msodik prediktum) s az alanyhoz kapcsold mennyis gjelz (azaz a kvantorsz). A ksbbi rszek ttanulmnyozsa utn megrtjk, hogy a nyelvi forma nem mutatja a kondicionlist ill. a konjunkcit, de jelzi a negcit. A szimbolikus logika kialakulsa eltti n. tradicionlis logikban ezeket a formkat, lnyegben a termszetes nyelv grammatikja szerint elemeztk. Az tletek (az llts helyett az tlet terminus hasznltk szvesebben) szubjektumbl s prediktumbl llnak. A subiectum (latin) magyar jelentse alany, mg a praedicatum jelentse lltmny. A tananyagban a ksbbiekben alkalmazott prediktum fogalomnak azonban kevs kze van az elbbi prediktum fogalmhoz. Az tletek terjedelem tekintetben ktflk: ltalnosak, mint (1) s (3), vagy rszlegesek, mint (2) s (4), aszerint, hogy a prediktumot a szubjektum egsz terjedelmre vagy csak egy rszre vonatkoztatjuk. Minsg tekintetben ugyancsak ktflk, spedig lltak, mint (1) s (2), vagy tagadak, mint (3) s (4), aszerint, hogy a szubjektumrl lltjuk vagy tagadjuk a prediktumot. Csakhogy a fenti smkbl a szubjektum neglsval add lltsok fontosak lehetnek, de ezeket ms nyelvi formkkal (mellkmondat, alany s lltmny megcserlse stb.) fejezzk ki. Mr ez a tma is mutatja, mennyire alkalmatlan a termszetes nyelvtan fogalomrendszere a logikai elemzs szmra: megklnbzteti azt, amit nem kellene: teljesen azonos logikai termszet s szerep kifejezseket, mint a 'grg' s a 'filozfus' szavak a (2) lltsban. Ugyanakkor megklnbztets nlkl egytt trgyal teljesen klnbz dolgokat: az egyedi nv az alany helyn ppgy szubjektum, mint a fenti pldkban az alany szerepben fellp mai rtelemben vett prediktum.

15

A LOGIKA ELEMEI Teht a vizsglt lltstpusok, az gynevezett kategorikus tletek rendszere a kvetkez: 1. ltalnos llt 2. Rszleges llt 3. ltalnos tagad 4. Rszleges tagad Formulja: Formulja: Formulja: Formulja: x (Ex Hx) x (GxFx) x (Ax Sx) x (FxGx)

Az A, E, F, G, H itt interpretlatlan paramterek. Termszetesen ez a ngy sma nem feddheti le az sszes tletet. Hibs olyan kijelentst, mint pl. Szkratsz haland az 1. tpusba sorolni, azaz nem helyes a nevet (Szkratsz) behelyettesteni. Arisztotelsz munkjbl kitnik, hogy elmletnek korltaival maga is tisztban volt; tbb olyan problmt emlt, amelyben nem kategorikus lltsok szerepelnek. A legutbb emltett hibba pedig mg nem esett bele, mert kvetkeztetselmletben neveket tartalmaz lltsokat sehol sem szerepeltetett. Elmlett nem fejlesztettk tovbb az ltala flvetett, de meg nem oldott problmk irnyba, viszont lland iskolapldaknt szerepeltettk ezt a kvetkeztetst: Minden ember haland. Szkratsz ember. Teht Szkratsz haland, noha ez valjban nem kategorikus lltsokbl ll. Ez arrl tanskodik, hogy mennyire megmerevtettk s flrertettk sokszz ven keresztl Arisztotelszt. A kategorikus lltsok tanulmnyozst valban Arisztotelsz kezdte meg, s az emltett ngy tpust is vezette be; m szerepk s jelentsgk egyoldal eltlzsa nem az mve. A kategorikus szillogizmusok a tradicionlis logika alapvet kvetkeztetsi smi. Arisztotelsz a helyes kategorikus szillogizmusoknak megfelel feltteles llts-smkat nevezte szillogizmusoknak, a kategorikus-nak megfelel jelzt pedig nem hasznlt. Kategorikus szillogizmus egy kvetkeztetsi sma, ha eleget tesz a kvetkez kiktseknek: 1. Mind a premisszk (sorrendben a fels s az als ttel), mind a konklzi kategorikus lltsok. 2. A premisszkban elfordul kt-kt fogalom (prediktum) kzl az egyik kzs, ez a kzpfogalom; amelyik csak a fels ttelben fordul el, az a ffogalom, amelyik pedig csak az alsban, az az alfogalom. 3. A zrttel alanya az alfogalom, lltmnya a ffogalom. Arisztotelsz azt tekintette feladatnak, hogy az sszes lehetsges ilyen sma kzl kivlassza a helyeseket. Ha tekintetbe vesszk azt a ki nem mondott fltevst, hogy egy fogalom terjedelme sohasem lehet res, akkor eredmnyei kifogstalanok. Ha ezt a korltozst elvetjk, akkor Arisztotelsz helyesnek minstett szillogizmusai kzl nhnyat hibsnak kell mondanunk. Megjegyezzk azonban, hogy a hibs szillogizmusok egy-egy ltezsi ptpremissza felvtelvel kijavthatk. Azok az esetek, amelyeket Arisztotelsz elvetett, valban mind hibs kvetkeztetsek, s nem is javthatk kzenfekv mdon.

16

A LOGIKA ELEMEI Arisztotelsz mdszere az volt, hogy a szillogizmusok helyessgt elszr kln-kln rvelssel bizonytotta, a hibsakat pedig cfol interpretci megadsval szrte ki. Ezek utn a helyes szillogizmusokat mg kt, aximnak tekintett (tkletes) szillogizmusbl is levezette. Arisztotelsz elmlete mind eredmnyeit, mind mdszert tekintve az eurpai tudomny hajnalnak egyik kiemelked teljestmnye. Elsnek oldotta meg a helyes kvetkeztets problmjt az lltsok egy meghatrozott krben. Helytll eredmnyei korszerbb megfogalmazsban rszt alkotjk mai logikai tudsunknak is. Az arisztotelszi kvetkeztetseket ma legegyszerbben a Venn-diagramok mdszervel vizsglhatjuk, melyet a prdiktumlogikrl szl leckben taglalunk. 2.3.3 Az igazsgfggvnyek megjelense

Az igazsgfggvnyekre vonatkoz els rendszeres elmlet az egyik ksbbi grg filozfiai iskola hveinek, a sztoikusoknak a nevhez fzdik. A sztoicizmus ma elssorban ksbbi mvelinek munkssga s lete alapjn mint etikai s erklcsi irnyzat, magatarts kzismert. Az i.e. 3-2. szzadban a rgi sztoikusok azonban az etika mellett a logikt s a fizikt a termszetfilozfit is egyenrang gazatoknak tekintettk. Igazsgfggvnyknt definiltk a nem, s, ha ... akkor, vagy kifejezsek (funktorok) jelentst, azaz meghatroztk s hasznltk a legfontosabb igazsgfggvnyeket. A negci s a konjunkci definilsa nem jelentett problmt. A kondicionlis mr akkor s sok vitt vltott ki, de uralkod felfogss a maival me gegyez meghatrozs vlt (eredetileg nem sztoikus filozfus, hanem az gynevezett megarai iskolhoz tartoz Philn gondolata). A vagy hasznlata nem volt egysges: egyesek az alternci, msok a kizr vagy rtelmben alkalmaztk. Kvetkeztetsi szablyok megfogalmazsra trekedtek, mgpedig az axiomatikus mdszer alkalmazsval, s e tren a rendszeressg s kvetkezetessg tekintetben tlszrnyaltk Arisztotelszt. Nhny egyszer kvetkeztetsi smt elfogadtak helyesnek, majd ezekbl igen nagy biztonsggal vezettek le klnbz sszetett szablyokat. A smk ltalnos rvnynek kifejezsre nem hasznltak betparamtereket mint Arisztotelsz, hanem a konkrt lltsokra sorszmozssal utaltak. A sztoikus megfogalmazsban az a sma, amelyet mi levlasztsi szablynak neveznk, s amely egyik aximjuk volt, ilyesflekpp hangzott: Ha az els, akkor a msodik. Az els. Teht: A msodik. Ha az itt hasznlt szmozst nem keverjk ssze ms sszefggsben hasznlt so rszmnevekkel, akkor ez a kifejezsmd teljesen pontos. A sorszmnevek itt az lltsparamterek funkcijt tltik be. Ksbbi kommentrok nha rtetlen mdon empirizmust vetettek a sztoikusok szemre, pedig sz sincs arrl, hogy kvetkeztetsek helyessgnek igazolsakor a tapasztalatra hivatkoztak volna; m szemlltet pldkrt gyakran fordultak a fizikhoz. 2.3.4 A kzpkor Arisztotelszi logika ismt

Az arisztotelszi elmlet hossz egyeduralomra tett szert a logika trtnetben. A szto ikusok elmlett rszben elfelejtettk, rszben perifrira szortottk. Az arisztotelszi ngy 17

A LOGIKA ELEMEI tletfajtt kiegsztettk ugyan a hipotetikus (kondicionlist tartalmaz) s a diszjunktv (kt- vagy tbbtag alterncit tartalmaz) tletekkel, melyekkel szemben kellett az arisztotelszi tpusakat kategorikusoknak minsteni. Ezekkel kapcsolatban fellltottak nhny kvetkeztetsi szablyt, de ezek a bvtsek inkbb zavart okoztak, mint egysges elmletet. Arrl, hogy igazsgfunktorok a kategorikus tletek bels szerkezetben is szerepet jtszhatnak, nem is esett sz. A kzpkorban sokan s les elmvel foglalkoztak az arisztotelszi logika, valamint kisebb jelentsg kibvtsei szmos rszletkrdsvel. Megtalljuk pldul a De Morganszablyok viszonylag pontos megfogalmazst. Miutn a ksbbiekben ezeket elfelejtettk, gy a mai nevket mlt szzadi, a szablyokat ismtelten felfedez De Morgan utn kaptk. Itt-ott mg a korltokat is lttk; tudtk pldul (nevezetes plda), hogy a szill ogizmusok elmletbe nem fr bele ez az egypremisszs kvetkeztets: Plda: Minden l llat. Teht: Minden lfej llatfej. (Ez kzenfekv, mert lnyeges szerepe van benne az x feje y-nak ktargumentum prediktumnak.) Mgsem tettek ksrletet a fogalmi keret megvltoztatsra.

Matematika s a logika kapcsolata

Kzben a matematika s a logika kezdeti gymlcsz kapcsolata megszakadt. Az kori matematika legnagyobb mvben, a kevssel Arisztotelsz utn lt Ei ukleidsz Elemek cm gyjtemnyben a bizonytsok kzben seregestl fordulnak el olyan lpsek, amelyeket a matematikus termszetesen elfogad helyesnek, de a szillogisztika keretein bell nem igazolhatk. Egszen a 19. szzad vgig fennllt az a helyzet, hogy a kvetkeztetsek, levezetsek alkalmazsnak legtgabb terlete, a matematika semmire sem tudta has znlni a logikt, a kvetkeztetsek elmlett. Igazsg szerint a matematikusok meg is elgedtek annyival, hogy kvetkeztetseik h elyessge szemlletesen nyilvnval. Amikor pedig a matematika fejldsvel, bonyolultabb s elvontabb vlsval felvetdtt a helyes matematikai bizonyts szigor kritr iumai meghatrozsnak szksgessge, akkor vgl matematikusok jtottk meg a logikt. 2.3.5 Az jkor

A kzpkor terjedelmes logikai irodalma utn hossz idn keresztl kizrlag kisiskols szint logikt rtak. Az jkor elejn a filozfin bell is cskken a logika irnti rdeklds. Francis Bacon korszaknyit mve, a Novum Organum (j mdszer) mr cmben is jelzi, hogy Arisztotelsz logikai mdszervel szemben az empirikus mdszer kidolgozst tekinti feladatnak, s a filozfit a hagyomnyos spekulci helybe lp tapasztalsra alapozva akarja megjtani. Egyetlen nagy kivtelrl kell megemlkeznnk: Leibnizrl, aki a filozfia s a matematika trtnetben egyarnt kiemelked egynisg volt.

18

A LOGIKA ELEMEI

Leibniz lete
Gottfried Wilhelm Leibniz (16461716) nmet matematikus s filozfus. Foglalkozott mg biolgival, geolgival, nyelvszettel, teolgival s joggal. Lipcsben szletett. Kezdetben, szlvrosban s Jnban jogot tanult. Jogtudomnyi munkssgra felfigyelt a mainzi vlasztfejedelem, s 1672-ben fontos diplomciai feladattal Prizsba kldte. Az itt tlttt vek sok kivl tudssal hoztk ssze. Nmetalfldi tja sorn megismerkedett Spinozval, Londonban felkereste Newtont. Utazsai alatt sok neves tudomnyos trsasg tagjul vlasztotta.

2. kp

Gottfried Wilhelm Leibniz portrja

1676-ban Hannoverbe kltztt. Itt a hannoveri herceg knyvtrosa, a braunschweigi uralkodhz trtnetrja volt. 1700-ban az kezdemnyezsre szletett meg a berlini akadmia. Levelezett Nagy Pter orosz crral, s 1711-ben az tervei szerint alakult meg a szentptervri akadmia. Mint politikus, teolgus, filozfus s tuds fennklt szellemhez mlt munkssgot fejtett ki. Politikusknt Nmetorszg egysgnek megteremtsrt kzdtt. Mint teolgus a katolikus s a protestns egyhz kztti ellenttet akarta megszntetni. A filozfus Lei bniz pedig kereste azt az ltalnos mdszert, a scientia generalis-t, amely lehetv teszi a tudomnyos megismerst, a vilg jelensgeinek megrtst. A matematikus Leibniz minden tudomnyos munkjnak ez volt a kerete, ppen gy, mint Descartes esetben, de mkdsi terlete sokkal szlesebb volt Descartes-nl. Mindenben az ltalnost, a nagy szszefggseket kereste. Trtnetri mkdse is a mdszere miatt jelents. Nyelvtudomnyi mkdsben sszehasonlt szempontokat rvnyestett. Mint jogsz, a nemzetkzi jogot fejlesztette. Az ltalnos nyelv, a lingua universalis keresse vezette el a szimbolikus logikhoz. Mg prizsi tartzkodsa alatt bartkozott ssze Huygensszel. Az ifj Huygens nagy hatssal volt Leibnizre. Br prizsi tja eltt is foglalkozott matematikval, hiszen amint ez egynisgbl kvetkezik a mennyisgek ltalnos tudomnyban, a matematikban is a mg ltalnosabbat kereste, s megjsolta a mai matematika lnyegt, mint specilis esetet tartalmaz, ltalnos matematikt, amely mr nem a mennyisgek, hanem a mi19

A LOGIKA ELEMEI nsgek tudomnya lesz. Ezt, a szimblumokkal lerhat, a minsgek kapcsolatait kifejez matematikt a kombinatorikban vlte felfedezni. A kombinatorikus mvszet a sorrend, a viszony, a hasonlsg, ltalban a szimblumokkal kifejezhet minsgi kapcsol atok tudomnya. Ez lenne, Leibniz szerint, a mennyisgi sszefggseket trgyal matematikt magba foglal, j matematika. Ezrt foglalkozott intenzven a kombinator ikval, amelytl azt remlte, hogy elvezeti a matematika feletti matematikhoz. Leibniz nagy mestere volt az j szimblumok megalkotsnak. Kevesen lttk olyan mlyen a tartalom s a forma egysgt, mint ppen . A ma hasznlatos matematikai jelek kztt tle szrmazik tbbek kztt az egyenl (=), a szorzs (), a hasonlsg (~) jele. Leibniz hasznlta elszr tbbek kztt a fggvny s a a koordinta fogalmakat. Neves tantvnyai s kveti, klnsen Jacob s Johann Bernoulli, valamint Euler kezben a Leibniz felfedezte differencil- s integrlszmts mdszerei varzslatos eredmnyeket hoztak, s hossz idre megszabtk a matematika fejldsnek az irnyt. Ha arisztokrata rangokkal mrhetnnk a szellemi nagysgot, akkor Leibniz a matematikban is elrte azt a bri cmet, amellyel a hannoveri fejedelem elismerte e nagy szellem igazsgot kutat, nemes clokra tr, munks letnek eredmnyeit. A mai rtelemben vett matematikai logika megszletst Leibniznek ksznhetjk. letcljnak tekintette egy olyan mdszernek a megtallst, amely lehetv teszi az j ismeretek felfedezst s vgs fokon vilgunk megismerst. Ezt az ltalnos mdszert a matematika terletn kereste, s gy jutott el a kombinatorika tanulmnyozsa kzben egy univerzlis nyelv keressnek a gondolathoz. Ez a nyelv a gondolkozs minden elemi tevkenysgt szimblumokkal fejezn ki, s a kztk feltallhat kapcsolatok ppen a logika trvnyeit szolgltatnk. E gondolatait a Dissertatio de arte combinatoria (rtekezs a kombinatorika tudomnyrl) cm munkjban fejtette ki 1665-ben.

Leibniz szerepe a logikban

Leibniz a 1718. szzad forduljn ksrletet tett egy nagyobb haterej logika kidolgozsra, br a program felvzolsn s a kezdeti lpsek kidolgozsn nem jutott tl. Munkja hossz ideig hats s folytats nlkl maradt. A 18. szzad vgtl j irnyt vett az arisztotelszi tradicionlis logikval szembeni elgedetlensg, az elgedetlensg forrsa a klasszikus nmet filozfia kapcsn eszkzlt javtsra vezethet vissza, ennek rvn torzult az arisztotelszi logika gondolati vilga. Kant, a klasszikus nmet filozfia els nagy alakja hirdette meg, hogy a logiknak nemcsak a formval, hanem a tartalommal is foglalkoznia kell, s mint az emberi megismers legltalnosabb kerete, nem maradhat kzmbs a keretbe foglalt tartalom irnt. Hegel, a klasszikus nmet idealizmus betetzje, ezt a programot valstotta meg azzal, hogy ltalnos filozfija egszt, ltelmlett logika cmmel adta el. E fordulat ta has znljk a formlis logika s a dialektikus logika megklnbztetst. A formlis logika az arisztotelszi rtelemben felfogott logika: a szabatos kvetkeztetsnek a logikai struktrra alapozott elmlete. A formlis logikt igen gyakran arisztotelszi logiknak is nevezik. A dialektikus logika arisztotelszi rtelemben nem logika, hanem ismeretelmlet (st, Hegel felfogsban, ltelmlet is). A tovbbiakban a logika terminust vltozatlanul az arisztotelszi rtelemben hasznljuk, tbbnyire mellzve a formlis jelzt. 20

A LOGIKA ELEMEI

A 19. szzad
A 19. szzadban jjled a szkebb rtelemben vett (formlis) logika, a kvetkeztetsek elmlete is. Tbb matematikus megksrel valamilyen logikai algebrt teremteni. Kzlk kiemelkedik George Boole. George Boole (18151864.) angol matematikus volt, a formalista algebra egyik kpviselje. Kt mvben, a The Mathematical Analysis of Logic -ban (A logika matematikai analzise, 1847) s az An Investigation of the Laws of Thought-ban (A gondolkozs trvnyeinek egy vizsglata, 1854) kimutatta, hogy a formlis logika trvnyei a matematikban hasznosthatk. Az ltala megalapozott algebra clja az, hogy egyestse a matematikt a logikval. Munkssga jelents az algebra, a matematikai logika s a valsznsgszmts terletn. Boole elmlett ksbb E. Schrder fejlesztette tovbb. Mdszerk lnyege az a felismers, hogy az egyvltozs nyitott mondatok negcijnak, konjunkcijnak s alterncijnak megfeleltethetk a terjedelmeikre azaz a trgyalsi univerzum rszhalmazaira vonatkoz egyszer halmazmveletek: a kiegszt halmaz, a kzs rsz, ill. az egyests kpzse. (A trgyalsi univerzum fogalma is Boole-tl szrmazik.) A terjedelmek algebrja a Boole-Schrder-algebra.

3. kp

George Boole portrja

Azt is felismertk, hogy az lltsok igazsgrtkei ugyanezen logikai mveletekre vonatkozan hasonl szerkezet algebrt alkotnak. Ebben az elmletben az lltsok s a prediktumok logikja mg nem pl egybe. Boole, Schrder s kortrsaik (A. De Morgan, J. Venn) mg csak elkszti a logika alapvet jraformlsnak, fleg a matematikai szemlletmd s jellstechnika alkalmazsa tekintetben. Eredmnyknt knyvelhetjk el azonban, hogy legalbb az azonos szerkezet, s legalbb az egyargumentum prediktumok tekintetben lnyegesen tllpnek a szillogisztika hatrain. 2.3.6 A szimbolikus logika kialakulsa

A logika valdi reformja Friedrich Ludwig Gottlob Frege (1848-1925) nmet matematikus s filozfus nevhez fzdik. Leibniz eszmihez ersen kapcsoldva Frege az aritmetika trvnyeinek a logikra val visszavezetst tekintette cljnak. Ehhez volt szksge olyan logikra, amelyben a matematikai kvetkeztetsek reproduklhatk s igazolhatk. Ezt a logikt az 1879-ben megjelent Fogalomrs cm munkjban tette kzz. 21

A LOGIKA ELEMEI

4. kp

Friedrich Ludwig Gottlob Frege portrja

Ha fel akarjuk sorolni Frege jtsait a logika tern, akkor a mai logikai elmlet gyszlvn sszes sarkalatos pontjt meg kell emlteni: felszmolta a hagyomnyos alany-lltmny megklnbztetst, helybe lltva a funktor s argumentuma szerinti elemzst, felfedezte a kvantifikcit, s ezzel megteremtette az sszefggst az igazsg funktorok s a prediktumok elmlete kztt, elsknt tette lehetv a tbbargumentum prediktumokkal kapcsolatos kvetkeztetsek vizsglatt, egysges rendszerbe foglalta az igazsgfggvnyek elmlett, st a sztoikusok ta elszr adott pontos defincikat az igazsgfggvnyekre, megalkotta a logika szmra az els teljes rtk grammatikt, amelyben vilgosan elklnlnek a logikai jelek s a vltoztathat jelents szimblumok (a paramt erek), s amelyben a logikai szimblumoknak pontosan rgztett jelentsk van. A felsoroltak alapjn egyrtelmen tekinthet a szimbolikus logika megteremtjnek, ami taln a legmegfelelbb elnevezse annak a modern logiknak, ami az 1879-tl a tradicionlis logikt vltotta fel. A mai logikai jelrendszer jrszt G. Peano olasz matematikustl szrmazik, aki az 1890-es vekben maga is egy olyan fogalomrs kidolgozsn munklkodott, amely a matematikai bizonytsok kifejezsre alkalmas. Peano jelei a 20. szzad elejn fleg Ber trand Russell kzvettsvel lettek szlesebb krben ismertt. Frege ms jellstechnikt hasznlt, mint amelyet e knyvben alkalmaztunk, de a jellsrendszernk rszben Peanotl is eltr. 2.3.7 A 20. szzadi fejlds

Az j logikai elmlet felfedezst (Frege) egy darabig kevs figyelemre mltattk. A 20. szzad elejtl kezdve viszont az j logika risi szerepet jtszik a matematika alapjaira vonatkoz kutatsokban. A szzad kezdettl fogva, de fleg az els vilghbor utn jelentss vlt a szimbolikus logika hatsa egyes polgri filozfiai irnyzatok fejldsre. 22

A LOGIKA ELEMEI A harmincas vekben szlettek a matematikai logika kibontakozsa sorn, a bizonytselmlet els nagy eredmnyei. A msodik vilghbor utn pedig a tudomny egyre tbb terletre vonul be hasznos segdeszkzknt a modern logika. Kiemelhetjk ebbl a szempontbl a szmtgp-tudomnyt, a nyelvszetet, a pszicholgia egyes gait.

Az extenzionlis s intenzionlis logika

A logikai szemantika extenzionlis elmletnek szabatos kidolgozsa az 1930-as vekben fleg a lengyel Alfred Tarski nevhez fzdik. A teljes extenzionlis logika modern kiptse 1950 krl Alonzo Church s Leon Henkin amerikai logikusok rdeme. Az extenzionlis logika olyan logikai rendszer, amely kizrlag logikai sszefggsekkel (t rvnyekkel) foglalkozik, amelyek jl formlt kifejezsek (terminusok, prediktumok, mo ndatok) extenzija (halmaza) kztti kapcsolatokon alapulnak, tekintet nlkl a kifejezsek intenzijra, azaz jelentsre. Az intenzionlis logika fel halads els lpse a modlis logika kidolgozsa volt. Ez az elmlet a szksgszer, hogy p, lehetsges, hogy p szerkezet lltsok logikai trvnyeivel foglalkozik (az ezekben szerepl mondatfunktorok ktsgtelenl intenzionlisak). Eredete Arisztotelszig nylik vissza, ugyanis kidolgozta a modlis szillogizmusok elmlett is. A modern szimbolikus logika keretben az 1910-es vektl kezdve a modlis logikai kutatsok ttrje C. I. Lewis amerikai logikus volt. Kezdetben a modalitsok trvnyeit logikai kalkulusok (szablyrendszerek) keretben vizsgltk. A modlis szemantika megalkotsa az 1960-as vek elejn alapveten S. A. Kripke amerikai logikus rdeme. Az intenzionlis logika ltalnos elmletnek els vltozata 1950-ben Churchtl szrmazik. Egy fejlettebb vltozat, amely felhasznlja Kripke modlis szemantikjnak jtsait, R. Montague amerikai logikus mve 1970-ben. A szemantikai rtkrs figyelembevtelre 1957-ben trtnt az els kezdemnyezs, amely A. N. Prior angol logikustl ered.

Logikai kutatsok
A fentiekben vzolt f fejldsi vonal mellett szmos, specilis szakterletre vonatkoz alkalmazott logikai kutatsrl is emltst tehetnk. Ide tartoznak a matematikai bizonytselmletre vonatkoz eredmnyek a harmincas vekbl (K. Gdel, B. Rosser, Church, Tarski), a matematika n. intuicionista vagy konstruktivista irnyzathoz kapcsold intuicionista logika, tovbb jrszt a modlis logikai kutatsok is. Tovbbi szakterletek: a normk logikja (G. H. von Wright), az igeidk logikja (Prior), egyes termszetes nyelvi szerkezetek modelllsa az intenzionlis logikban (Montague). A 20. szzadban j logikai irnyzatok is keletkeztek, kztk olyanok is, amelyek egyben-msban vitatjk a logika Arisztotelsztl s Fregtl szrmaz alapelveit. Ezekkel az irnyzatokkal nem foglalkozhatunk, rszben terjedelmi okokbl, rszben pedig azrt sem, mert a kzlni kvnt tananyaghoz nem kapcsoldnak.

A magyarok eredmnyei
A hazai logikakutats terletn nemcsak jelents kutatkrl beszlhetnk, hanem jelents logikaiskolkrl is. Elmondhatjuk, hogy ezen iskolk komoly szerepet jtszottak a 20. szzadi logika trtnetben. Pter Rzsa a rekurzv fggvnyek terletn rt el fontos eredmnyeket. 23

A LOGIKA ELEMEI

5. kp

Kalmr Lszl portrja

Kalmr Lszl, aki iskolt teremtett a szmtstudomny, s ezen bell is az elmleti szmtstudomny tern, a logika szmtstudomnyi alkalmazsaiban vitt ttr szerepet. Ruzsa Imre a logika humn alkalmazsainak terletn teremtett iskolt, kutatsi terlete elssorban a nem klasszikus logikk, ezen bell pldul az intenzionlis logika. Nmeti Istvn s Andrka Hajnal az algebrai logikban teremtett nemzetkzi hr iskolt. Bekapcsoldtak a Tarski-csoport munkjba, s a tmakr vezet kutati kz szmtanak, de fontos eredmnyeik vannak a logika szmtstudomnyi alkalmazsainak tern is. Makkai Mihly terlete a modellelmlet, szmos eredmny fzdik a nevhez. A fels orolt kutatk valamennyien a logika oktatsnak terletn is elvlhetetlen rdemeket szereztek. 2.3.8 A szimbolikus logika

A (formlis) logika, korszer formja. A szimbolikus logika interdiszciplinris jelleg tudomny, amely fknt a filozfia, a matematika s az elmleti nyelvszet kutatsi tm ihoz kapcsoldik. Br a logika olyan krdseket vizsgl, amelyeket elszr az korban a filozfia vetett fl, ma nem szksges s nem is elnys a logikt legalbbis a szimbolikus logikt a filozfia rsznek tekinteni, mert az egyes logikai trvnyek elismerse nem fgg ssze kzvetlenl a filozfia alapvet krdseiben elfoglalt llsponttal. A logika hasznos eszkze a filozfiai problmk elemzsnek, de mint eszkz, nmagban nem elegend azok megoldshoz. Ezrt van az, hogy nagyon klnbz vilgnzet filozfusok is eredmnyesen hasznlhatjk a logikt anlkl, hogy pusztn ennek kvetkeztben meg kellene vltoztatniuk vilgnzeti llsfoglalsukat. Mivel a filozfia a gondolkods tudomnya, rdemes tisztzni a logiknak az emberi gondolkodssal val kapcsolatt is. Mondhatjuk-e, hogy a (formlis) logika az emberi gondolkods vagy legalbb a helyes gondolkods trvnyeinek feltrsval foglalkozik? Tananyagunkban tallkoztunk a logikai igazsgokat kifejez rvnyes smkkal, kvetkeztetsi smkkal, a defincikra vonatkoz szablyokkal stb. Ezek lennnek-e a (helyes) gondolkods trvnyei? Nos, az egyszer kvetkeztetsi smk egy rszt (tudatosan 24

A LOGIKA ELEMEI vagy nem tudatosan) rendszeresen hasznljuk a mindennapi tevkenysgnk sorn (s persze a tudomnyos gyakorlatban is); ezek valban olyan szablyokat fejeznek ki, amelyeknek a megsrtse esetn nyilvnval gondolkodsi hibrl szoktunk beszlni. gy a logika szablyai, trvnyei kztt ktsgtelenl vannak olyanok, amelyek a helyes gondolkods normit fejezik ki.

Kapcsolat a matematika tudomnyval

Maga a szimbolikus logika nem rsze a matematiknak, hanem nll tudomnyg, amely (szmos ms tudomnyhoz hasonlan) matematikai eszkzket is hasznl. A szimbolikus logika a humn tudomnyokban val alkalmazsaival sszefgg kutatsi terleteit gyakran filozfiai logiknak mondjk. A szimbolikus logika s a matematikai logika elnevezseket nha szinonim rtelemben hasznljk; m az utbbi elnevezst helyesebb a matematika azon gra alkalmazni, amely egyrszt a matematika logikai problmival, msrszt a szimbolikus logikban alkalmazott matematikai appartus a logikai interpretcitl fggetlen, tisztn matematikai vizsglatval foglalkozik. A matematikai logika formalizlja azt a nyelvet, amelyen a matematikai lltsokat kimondjuk; szablyokat llt fel, hogy az lltsokbl j lltsokra kvetkeztethessnk, lltsformkat elemez, s bizonytsi mdszereket fejleszt ki. Szoksos mdon ennek alapjul a ktrtk logikt vlasztjk.

6. kp

A logika tudomnynak kapcsolata a filozfia s a matematika tudomnyokkal

A szimbolikus logika felosztsa

A szimbolikus logika jelenlegi llapota szerint tbb szempontbl is feloszthat. 1. Ktrtk s nem ktrtk logika. Mi a ktrtk (igaz, hamis) logikt vizsgljuk a jegyzetben, de az alapfogalmaknl utalunk a tbbrtk logikra is. Az utbbi szfrba sorolhatk az explicite tbbrtk rendszerek mellett azok is, amelyek ugyan nem hivatkoznak igazsgrtkekre, de tteleik sszeegyeztethetetlenek a ktrtk logika tteleivel. 2. Extenzionlis s intenzionlis logika. 3. Nullad-, els-, msod- s magasabb rend, valamint tpuselmleti rendszerek. Ez a feloszts a kvantifiklhat vltozk tpusainak szma (s egyben a kimutathat logikai sze rkezet finomsgi fokozata) szerinti. 25

A LOGIKA ELEMEI Plda: A tananyag a klasszikus elsrend logikrl szl, ez a logika ktrtk, extenzionlis s elsrend, amit a neve is tkrz.

A hagyomnyos s szimbolikus logika

A szimbolikus logika korbbi szintjtl, az n. hagyomnyos logiktl a kvetkez minsgi sajtsgokban klnbzik: 1. A logikai trvnyek pontos megfogalmazsa, hatkrk egyrtelm megvonsa rdekben nem egyetlen, univerzlis logikval, hanem logikai rendszerek sokasgval foglalkozik. 2. A logikai rendszereket formalizlt nyelvekre pti, s ezzel kvetkezetesen kereszt lviszi a logika fggetlentst az egyes termszetes nyelvek sajtsgaitl. A formalizlt nyelvek amelyek keretben az j, korbban ismeretlen szerkezeti formkat hasznl lehetv teszik a fogalmak s az lltsok logikai szerkezetnek egyrtelm feltrst, kikszblve a termszetes nyelv kifejezseinek jelents ingadozsait. Ezzel fgg ssze az elnevezs. A hagyomnyos logikban csak korltozottan hasznltak szimblumokat, n evezetesen egyes nem logikai alkatrszeket jelltek betkkel. A szimbolikus logikban a logikai alkatrszeket is szimblumok, az n. logikai konstansok reprezentljk. 3. Trvnyeit kevs alapelvre s a logikai jelek pontosan meghatrozott jelentsre pti, a legalacsonyabbra cskkentve ezzel az ontolgiai s ismeretelmleti megfontolsoktl val fggsgket. 4. A logikai rendszerek flptsben, szemantikai interpretlsban, ltalnos trvnyeik feltrsban s bizonytsban matematikai (fknt halmazelmleti) eszkzket s mdszereket hasznl. (Ehhez kapcsoldik a matematikai logika elnevezs.) E sajtsgok kvetkeztben a hagyomnyos logikt terjedelemben, mlysgben s szabatossgban egyarnt messze meghalad eredmnyeket r el, s a tudomnyok egyre tbb terletn vlik a kutat, kifejt s rendszerez munka hasznos, esetenknt nlklzhetetlen eszkzv. A hagyomnyos logika kritikailag fellvizsglt eredmnyei a szimbolikus logikban is jelen vannak. A szimbolikus logika eredmnyei s eszkzei flhasznlhatk az rvels kritikai vizsglatra, bizonytsra vagy cfolsra, fogalmak szerkezeti elemzsre stb. 2.3.9 A szimbolikus logika trgya

A (formlis) logika nem ad szmot sem az emberi megismers folyamatrl, sem a problmamegold gondolkods trvnyeirl. Durvn fogalmazva: a logikbl csak azt tudjuk meg, hogy hogyan nem szabad okoskodnunk egy problma gondolati megoldsa sorn, de nem kapunk szablyokat, mdszereket a problmk tnyleges megoldshoz. (Ez gy nem egszen igaz, de a kiss tlz fogalmazs segt a logika f funkcijnak megrtsben.) Mint tudjuk, a logika trgya lnyegben a helyes kvetkeztets fogalmnak tisztzsa, trvnyeinek feltrsa. (Minden ms logikai problma vagy ehhez kapcsoldik, vagy erre vezethet vissza.) Ennek alapjn azt mondhatjuk, hogy a logika f feladata nem a gondolkods trvnyeinek feltrsa, hanem a gondolkods eredmnynek kritikai elemzse. Segtsgvel ellenrizhetjk akr a magunk, akr msok rvelsnek (kvetkeztetsnek) helyessgt, feltrhatjuk az esetleges hibkat. A problma megoldsnak nincsenek logikai 26

A LOGIKA ELEMEI szablyai. De annak ellenrzsre, hogy megoldsunk helyes-e, a logika ad mdszereket. Ugyancsak a logika ad tmutatst a defincik s az lltsok egyrtelm megfogalmazshoz, az rvelseknek (bizonytsoknak) msok ltal is kvethet kifejtsben. Ezrt a logika tudatos felhasznlsa nlklzhetetlen a tudomnyos kommunikciban s az oktatsi gyakorlatban is. A problmamegoldst illeten az imnti eltlzott megllaptst gy kell helyesbtennk, hogy a logika a problma megoldshoz is nyjt segtsget, br eltekintve a trivilis esetektl nmagban nem elegend. Ha a problmban figyelembe veend tnyezk szma nem tl nagy, akkor az ismert logikai eszkzk analitikus tblzat vagy Venn-diagram felhasznlsval az sszes kombincik feltrhatk a problma megoldsa(i) ezek kzl kiszrhet(k). Ezek az eszkzk gyakran felhasznlhatk a problma rszekre bontsra (feltrkpezsre), vagy egyes rszletek megoldsra is. A modern szimbolikus logiknak kiemelked szerepe van tovbb az elektronikus szmol-automatk tervezsben s programozsban. Mivel ezek az automatk a problmamegoldsok fontos segdeszkzei, kzvettskkel igazoldik a logika jelents eszkzszerepe a problmamegoldsban, vagyis az alkot emberi gondolkodsban. rdekes tovbb megfigyelni, hogy a tisztn logikai jelleg feladatok megoldsa bizonyos szempontbl a tudomnyos problmk megoldsnak modellje is. Kezdetben rengeteg, ltszlag sszefggstelen adat ll a tuds rendelkezsre, amelyekbl alig lehet trvnyszersgeket vagy sszefggseket felismerni. E kiindul adatokbl a tuds felttelezseket llt fel. A felttelezsekre alapozza kutatmunkjt, s a feladatra kapott megoldst sszehasonltja a kiindul adatokkal. Ha a megolds s a kiindul adatok nincsenek sszhangban, arra a kvetkeztetsre jut, hogy hibs felttelezsekkel dolgozott, ezrt azokat elveti, s jakat llt fel. Ez a folyamat tbbszr ismtldhet, de vgl a kii ndul adatoknak megfelel megoldsra jut az immr helyes felttelezsek alapjn. Ezutn megvizsglja. hogy a megolds egyrtelm-e, vannak-e mg ms megoldsvltozatok, s csak ezutn tekinti a feladatot megoldottnak. Hasonlkppen megy vgbe a logikai feladatok megoldsa is. A logikai feladatok termszetesen annyira eltrk, hogy egy-kt szabvnyos megoldsi md nem vezethet eredmnyre. 2.3.10 Matematika s logika

A matematika trtnete szmtalan szempont alapjn oszthat korszakokra, de csak az utbbi vtizedek erstettk meg a kt tudomny kapcsolatt. Ha a matematika tartalma szerint, azaz a kutatsi mdszerek, eredmnyek, elvek alapjn trtnik a feloszts, akkor elfogadhatjuk az A. N. Kolmogorov szovjet matematikus ltal megllaptott korszakokat: a matematika keletkezsnek a korszaka, az elemi matematika korszaka, a vltoz mennyisgek matematikja, a modern matematika korszaka. A korszakok sajtossga mellett kitrnk arra is, hogy a matematikai logika alapjt kpez bizonytsi igny, azaz a matemat ikai szabatossg mennyire volt hangslyos az egyes korszakokban. A matematika keletkezsnek kezdete az sidkbe vsz s addig tartott, amg ki nem alakult sajtos mdszere, ssze nem gylt a matematika sajtos anyaga, meg nem szlettek az elemi fogalmak: azaz amg nll tudomnny nem lett. Ez kb. az i. e. 4-5. szzadig tart idszak. Kialakult a termszetes s a trtszmok fogalma, megszlettek az elemi szmolsi mveletek, a gyakorlati feladatok szmolsi szablyai. A feladattpusok mego l27

A LOGIKA ELEMEI dsra receptszer utastsokat adtak. Kialakultak a szmrendszerek. Ksztettek tblzat okat a szmols megknnytsre. Megoldottk az egyszer gyakorlati geometriai feladat okat. Azonban a bizonytsi igny, a pontossgra trekvs, az ltalnosts, az elmleti megalapozottsg nem jellemezte ezt a korszakot, hiszen az eredmnyeket egyedl a tapasztalat igazolta. Az elemi matematika korszaka (i. e. 6-5. szzad, s a 16. szzad kztti id) az lland mennyisgek tanulmnyozsnak a kora, ekkor fejldtt ki a mai rtelemben vett tteles, deduktv matematika, ami lnyegben minden lltst a bizonyts nlkl elfogadott aximkra vezet vissza. A dedukci (levezets) a logikai kalkulusokban szerepl szintaktikai fogalom. Egy dedukci olyan vges, de nem res formulasorozat, amelynek minden tagja vagy premissza, vagy a kalkulus valamely alapformulja (aximja), vagy a sorozat tagjaibl az elre rgztett formlis szablyokkal kpezhet. Kialaktsban az kori grgk jtszottk a f szerepet: Thalsz, Pthagorasz, Hippokratsz, Eudoxosz, Eukleidsz, Arkhimdsz, Apollniosz, Ptolemaiosz, Diophantosz, Papposz. A grg-rmai kultra hanyatlsa utn fejldsnek indult az indiai matematika, ami a tzes helyrtkrendszert, a zrt, a magasabb fok egyenletek megoldst adta a vilgnak. Az kor matematikjt az arabok mentettk meg Eurpa szmra (Al-Hvrizmi, al-Battni, Abul-Vafa, al-Birni). A vltoz mennyisgek matematikja Descartes-tl kezddtt, ami nagyon termkeny idszak volt. A sok vita kzepette nem maradt id az eredmnyt hoz j meg j fogalmak s eljrsok aprlkos, szabatos vizsglatra s megalapozsra. A modern matematika korszakra maradt az alapoz tevkenysg. A 19. szzad vgn s a 20. szzadban hress vlt matematikusok (Bolzano, Cauchy, Dirichlet, Weierstrass, Dedekind, Cantor, Stieltjes, Riemann, Hilbert) vizsglatai ptoltk azt, amit az elz korszak elmulasztott. A felfedezsek ideje azonban nem rt vget. j elmletek, a vizsglatra rdemes j trgykrk, a matematika j gai szlettek s szletnek. Korunkban azonban a matematikai kutatsok klnsen ott kapnak han gslyt, ahol a matematika alapjainak tisztzsrl van sz, azaz ott, ahol lnyegben az emberi gondo lkozs alapvet logikai trvnyeit kell megllaptani. Ugyanakkor a technika s a termszettudomnyok szles terleten alkalmazzk a matematikai eredmnyeket, s az j kutatsokra sztnzi a matematikusokat. A matematika terletei: matematikai logika, halmazelmlet, szmelmlet, algebra (klasszikus algebra, lineris algebra, csoportelmlet, gyr- s testelmlet, hlelmlet, absztrakt algebra, univerzlis algebra stb.), geometria (elemi geometria, euklideszi geometria, nemeuklideszi geometrik, brzol geometria, analitikus geometria, trigonometria, projektv-geometria, differencil-geometria, topolgia, grfelmlet), analzis (sorok elmlete, vals fggvnytan, komplex fggvnytan, differencilegyenletek, integrlegyenletek, variciszmts stb.), funkcionlanalzis, valsznsg szmts (matematikai statisztika, jtkelmlet, informcielmlet stb.), numerikus, grafikus s gpi mdszerek elmlete, szmtgp tudomny. A felsorolt gak kztt vannak tfedsek, ezeken tl a jvben egyegy zrjeles alfejezet nll gknt jelenhet meg (pl. a topolgia), hiszen folyton vltoz, rohansszeren fejld tudomnyrl van sz. A felsorolt fejezetek kzl kiemelked a matematika kt alapvet terlete a matematikai logika s a halmazelmlet, ugyanis a matematika tbbi ga ezekre pl.

28

A LOGIKA ELEMEI 2.3.11 Matematikai logika

A logika fejldsnek trtnete a kezdetektl fogva fontos rsze az eurpai tudomnyos gondolkods trtnetnek. Klnsen a filozfia s a matematika llt a logikval gyakran szoros klcsnhatsban; olyannyira, hogy a logikt egyrszt hagyomnyosan, st olykor mg ma is a filozfia rsznek tekintik, msrszt pedig a 20. szzad matematikjnak egyik legjelentsebb s legdinamikusabban fejld gazata a matematikai logika, amely a modern matematika egsz arculatra rnyomja a blyegt, s a szimbolikus logika sajt fejldsben is risi lpst jelent. A matematika logika elssorban a matematika megalapozsval foglalkozik, a matematikai fogalomalkotsok jogossgt, azok tulajdonsgait matematikai eszkzkkel vizsglja. Fontosabb gai a bizonytselmlet, a modellelmlet, a rekurzielmlet s idnknt ide soroljk a halmazelmletet is. Tulajdonkppen a helyes gondolkods kortl tanulmnyozott szablyai (logika) is a matematikai logika rszt kpezik, de igazn a matematika struktrjnak vizsglatra hozta ltre a 1920. sz. forduljn az alapok tisztzsnak ignye. A modern logikt nha matematikai logiknak is nevezik. Ez az elnevezs annyiban helytll, hogy a modern logika matematikai jelleg eszkzket hasznl egy-egy logikai elmlet pontos krvonalazsra s trvnyeinek bizonytsra. Az elnevezs azonban azt a tves elkpzelst keltheti, hogy ez a logika a matematika logikja, azaz csak a matematikn bell hasznlhat; noha errl sz sincs, ezrt a szimbolikus logika elnevezs a szerencssebb. A matematiknak a fent emltett fejezett nevezhetjk inkbb matematikai logiknak, mivel ennek trgya valban a matematikai elmletek s bizonytsok szerkezetnek, sszefggseinek, trvnyeinek, valamint a modem logikban alkalmazott matematikai eszkzknek s ezek ltalnostsainak a logikai alkalmazsoktl teljesen fggetlen , tisztn matematikai jelleg vizsglata. 2.4

SSZEFOGLALS

A megismers trvnyei mindig izgattk a kutat elmket. A logika a gondolkods ltalnos trvnyszersgeit, szablyait vizsglja. A logika alapvet feladata a helyes kvetkeztets fogalmnak szabatos meghatrozsa, trvnyeinek feltrsa. A logikai megismers trvnyeinek vizsglata rgi mltra tekinthet. A logikai trvnyek els nagy rendszerezje Arisztotelsz volt. A logika teht az korig visszavezethet tudomny. A filozfia rszeknt volt ismert egszen a 19. szzad vgig. Tulajdonkppen a helyes gondolkods kortl tanulmnyozott szablyai (logika) is a matematikai logika szablyait kpezik, de a matematikai logikt igazn matematika struktrjnak vizsglata hozta ltre a 19-20. szzad forduljn az alapok tisztzsnak ignye rvn. A D. Hilbert ltal megfogalmazott program krdsei s az azokra adott vlaszok (aximarendszer, Gdel-ttel) jelentettk az els nagy korszakt. A logika a gondolkods tudomnya. A matematikai logika a logika tudomnynak az az ga, amely matematikai mdszereket alkalmaz s a matematikban megszokott pontoss gra trekszik. A matematikai logika ugyanazon alapelvekre pl, mint a hagyomnyos arisztotelszi (formlis) logika, eredmnyei azonban tlhaladnak rajta. 29

A LOGIKA ELEMEI A matematikai logika a matematikban hasznlt gondolkodsi formk s kvetkeztetsek formlis szablyaival foglalkozik. Feltrja az lltsok szerkezett, elvonatkoztatva azok tartalmi jelentstl, s feladata a helyes kvetkeztetsi szablyok megllaptsa. A matematikai logika gy a matematika, az informatika s ms tudomnygak megalapozst is szolglja. Hozzjrul a helyes gondolkodsmd kialaktshoz s a nyelvi kifejezsek megfelel hasznlathoz. A matematikai logika formalizlja azt a nyelvet, amelyen a matematikai lltsokat kimondjuk; szablyokat llt fel, hogy az lltsokbl j lltsokra kvetkeztethessnk, lltsformkat elemez, s bizonytsi mdszereket fejleszt ki. Szoksos mdon ennek alapjul a ktrtk logikt vlasztjk. Leibniz nyomn fleg az algebra terletn indultak meg azok a kutatsok, amelyek a logikai s matematikai tletalkots mdszerei kztti hasonlsgot vagy eltrst vizsg ltk. Ezek eredmnyeknt szletett meg a Boole-fle algebra is, melyet az angol G. Boolenak ksznhetnk. Eredmnyeit a valsznsg szmtsban alkalmazta. Hasonl szelle mben mkdtek Augustus de Morgan (18061871) s W. S. Jevons (18351882) angol kutatk, akik a Boole-algebrt tovbbfejlesztettk. A matematikai logika kivl amerikai mvelje C. S. Peirce (18391914) volt. A D. Hilbert ltal megfogalmazott program krdsei s az azokra adott vlaszok (aximarendszer, Gdel-tte) jelentettk a matematikai logika els nagy korszakt. 2.5
1.

NELLENRZ KRDSEK

Mutassa be Arisztotelsz s Leibniz szerept! 2. Fogalmazza meg a szimbolikus logika lnyegt!

30

A LOGIKA ELEMEI

3. ALAPFOGALMAK
3.1

CLKITZS

A leckben a matematika egszhez kapcsold, a tananyag trgyalsa s a ksbbi bizonytsok alapjul szolgl fogalmakat, valamint a matematikai logika megrtshez elengedhetetlenl szksges fogalmakat ismerhetjk meg. Ezen tl sszefoglaljuk a tananyagban alkalmazott sszes jellst, amit a tanuls s a feladatok megoldsa sorn tmutatknt rdemes kezelni. 3.2

TARTALOM

Matematikai alapfogalmak Matematikai logika A kijelents Az Arisztotelszi alapelvek A logikai rtk Logikai szimblumok. lland jellsek Feladatok

3.3
3.3.1

A TANANYAG KIFEJTSE
Matematikai alapfogalmak

A nyelv egyes elemeit mindenkppen ismerni kell ahhoz, hogy megrtsk a trgyals menett. Ebben a rszben a termszettudomnyok, s azon bell a matematika legfont osabb alapfogalmait tisztzzuk. Az alapfogalom ms fogalmak alapjt alkot fogalom, el emi ismeret, mely pontos ismerete nlkl nehzkes a rpl fogalmak szabatos megrtse. Vizsgljuk meg, mit rtnk definci alatt! Defincin ltalban egy fogalom pontos krlhatrolst rtik nagyobb sszefggseken bell, ms fogalmak felhasznlsval. A problmk itt is hasonlak, mint a bizonytsnl: vgl szksgszeren alapfogalmakba tkznk, amelyek egy definci szmra a fenti rtelemben mr nem hozzfrhetk. Sok fogalmat, klnsen az olyan alapfogalmakat, mint szm, pont, egyenes, tvolsg, terlet stb., nem explicit, hanem implicit mdon, klcsns sszefggsek alapjn definilunk. A matematikban az alapfogalmak, fogalmak s a mveletek ismeretben sszefggseket llaptanak meg, melyek bizonytsi sikere utn a tovbbi feladatoknl, tteleknl ismt felhasznlhatak. A ttel a matematikban olyan llts, amely igazolhat, belthat. Vannak szemlyekrl elnevezett ttelek (pl. Pitagorasz-ttel) s trgykrrl elnevezett ttelek (pl. szinuszttel). Az axima a termszettudomnyokban az az alapfelvets, amelyet bizonyts nlkl igaznak fogadnak el. Lehetv teszik egyrszt a meglv ismeretek egysges rendszerbe foglalst, msrszt j ismeretek megszerzst a bellk logikai ton levont kvetkeztetsek tapasztalati megfigyelse-igazolsa sorn. 31

A LOGIKA ELEMEI Az axima a matematikban sok esetben bizonyts nlkl elfogadott lltst jelent. Az axima teht olyan llts, amit mindig helyesnek, igaznak tteleznk fel. Az aximt tbb rtelemben is hasznljk, pl. egy matematikai struktrt definil alaptulajdonsg is axima (pl. csoportaximk). Az azonossg olyan egyenlsg, amely a benne szerepl vltozk valamilyen krn belli (egy adott halmazbeli), brmely megvlasztsa esetn teljesl. A matematikban ms rtelmezsei is ismeretesek. Plda Azonossgra pldaknt a ksbbi rszekben szerepl De Morgan-azonossg szolglhat. Matematikai ttelknt rgztjk a kijelentsek kztt rtelmezett logikai mveletekkel meghatrozott ksbbi sszefggseket, pldul a logikai mveletek tulajdonsgait. A tteleket az esetek tbbsgben bebizonytjuk. A bizonyts a matematikban az az eljrs, amelynek sorn megmutatjuk, hogy valamely llts hogyan kvetkezik ms, lehetleg egyszerbb (axima), mr elfogadott (sejts) vagy ismert lltsokbl (ttel). Ha sikerlt az lltst bizonytani, akkor az llts ttel, klnben pedig n. sejts. Az j lltsok megfogalmazsa (sejts), valamint azok bebizonytsa (a ttel megfogalmazsa) a matematika egyik jelents feladata. rdekes, hogy a matematikban egyes sejtsek igazsgrtke mig nincs megllaptva (mg nem bizonytottk be), mgis a szoksos felfogsnl, fel szabad ttelezni, hogy ezek vagy igazak vagy hamisak. A miltoszi Thalsz volt a matematikatrtnet els ismert alakja, aki geometriai lltsait bebizonyto tta, mg az els letisztult bizonytsi eljrs az elemi filozfiai iskola ltal kidolgozott indirekt bizonyts, melynek leghresebb mvelje Arkhimdsz volt. Ez abbl indul ki, hogy egy llts s annak tagadsa kzl az egyiknek biztosan be kell kvetkeznie, teht az llts tagadsnak lehetetlensgt megmutatva is eljutunk az llts igazolshoz. A logikai bizonyts egy llts igazsgnak kimutatsa ms, igaznak elismert llts(ok)ra tmaszkodva. Szabatos bizonyts esetn a kiindul lltsoknak mint premisszknak logikai kvetkezmnye a bizonytand llts. A bizonyts megbzhatsga fgg a felhasznlt rvek (premisszk) megbzhatsgtl s a bizonyts sorn alkalmazott logikai lpsek szabatossgtl. A matematikai logika esetn az elbb emltett logikai lpsek minden esetben szabatosak. 3.3.2 A matematikai logika

A trtneti ismeretek birtokban tudjuk, hogy a logiknak, gy a matematikai logiknak is egyik lnyeges clja a helyes kvetkeztetsek feltrsa, de mivel foglakozik ezen kvl? A krdsre adott vlaszknt tekintsk t pontosan a matematika logika fogalmt!

32

A LOGIKA ELEMEI A matematikai logika a matematika egyik kiemelt ga, elssorban a matematika megalapozsval foglalkozik, a matematikai fogalomalkotsok jogossgt, azok tulajdonsgait matematikai eszkzkkel vizsglja. Fontosabb gai: bizonytselmlet, modellelmlet, rekurzielmlet s idknt ide soroljk a halmazelmletet is. Vilgoss vltak a matematika logika terletei. Ezek kzl csak a halmazelmlet s a bizonytselmlet alapjaival ismerkednk meg a kvetkezkben. 3.3.3 A kijelents

A nyelvhasznlat alapvet funkcija az informci kzlse, befogadsa s feldolgozsa, ami a kzs emberi tevkenysgek sszehangolshoz elengedhetetlenl szksges. A humn informcikzls egysgeit a logikban lltsnak vagy kijelentsnek mondjuk. Egy llts nyelvi kifejezsi formja, grammatikai egysge a kijelent mondat. A nyelvek sokflesge miatt s a kznapi beszd hasznlatnl a flrerts veszlye miatt a matematikban sokkal inkbb ttrtek arra, hogy a kijelentseket mestersges, formlis nyelven fejezzk ki, amely a kznapi nyelvnek csak logikai szempontbl jelents elemeit tartalmazza. A tananyag mlyebb trgyalst kezdjk a kijelents fogalmnak tisztzsval. Kijelents (llts, tlet) minden olyan jl meghatrozott dologra vonatkoz kijelent mondat, amely legalbbis a trgyalson bell vagy igaz, vagy hamis, de egy idben nem lehet igaz s hamis is. Plda: llaptsuk meg, hogy kijelentsek-e a kvetkez mondatok? a) Mtys kirly igazsgos volt. b) Haznkban Magyarepresen tallhat minaret. c) IV. Antal magyar kirlynak kt fia volt d) A felsoktatsi intzmnyek knyvtraiban vannak lexikonok. e) St a nap. Megolds: a) kijelents, mert fenti kirlyrl tudjuk, hogy ltezett b) nem kijelents, mert nincs alanya a mondatnak, ugyanis nincs Magyarepres telepls haznkban c) nem kijelents, mert nincs alanya a mondatnak, hiszen a trtnelmi tanulmnyaink alapjn kijelenthetjk, hogy ilyen kirlyunk nem volt. d) kijelents. e) nem kijelents, mert nem egyrtelm, hogy milyen fldrajzi terletre, milyen idintervallumra vonatkozik az llts, stb., s emiatt nem llapthat meg, hogy igaz vagy hamis, illetve ennek eldntshez tovbbi informcikra lenne szksg. A formlis nyelv alkalmazsa azzal kezddik, hogy magt a kijelents fogalmt preczen meg kell hatrozni, amit az imnt megtettnk. ltalban azt kveteljk meg, hogy a kijelentseket az igaz s hamis kijelentsek osztlyba lehessen sztosztani (a ktrtksg 33

A LOGIKA ELEMEI elve). gy a kijelents minden szban vagy rsban kifejezett kpzdmny, amelyhez vagy az igaz (i) vagy a hamis (h) igazsgrtk tartozik. Itt nem jtszik szerepet, hogy az igazsgrtket milyen mdon hatrozzuk meg. Plda: llaptsuk meg a kijelentsek logikai rtkt! a) Mtys kirly igazsgos volt. b) A felsoktatsi intzmnyek knyvtraiban vannak lexikonok. c) A 2010/11-es tanv utols vizsganapjn Egerben nem esett az es. d) Volt a 20. szzadban Sirokon egyetem. Megolds: a) igaz b) igaz c) kijelents ugyan, de csak akkor tudjuk megllaptani a logikai rtkt, ha mr az adott elmlt, s a feljegyzsekbl kikeressk (esetleg mi magunk jegyezzk le). d) hamis A matematika szmra csak a kijelentsek fontosak, ezrt kzenfekv, hogy a terjedelmes (magyar nyelv) lers helyett valamilyen rvid formban tkrzze vissza azokat, teht a logikai rtkhez hasonlan a kijelentseket is egyedi mdon jelljk. A kijelentsek jellse p, q, r, , x, y, z, betkkel trtnik, s ezeket a betket kijelentsvltozknak nevezzk. Plda: Jelljk az albbi kijelentseket klnbz kijelentsvltozkkal! a) Egy Pest megyei kzsg: Kosd. b) Vysok Tatry a Magas Ttra szlovk elnevezse. Megolds: a) jelljk p kijelentsvltozval (a Pest miatt egyszerbb megjegyezni) a kijelentst. jellssel: p:=Pest megyei kzsg Kosd olvasva: p (kijelentsvltoz) legyen egyenl Pest megyei kzsg: Kosd. b) jelljk v kijelentsvltozval (a kezdbet miatt egyszerbb megjegyezni) a kijelentst jellssel: v:=Vysok Tatry a Magasttra szlovk elnevezse olvasva: v (kijelentsvltoz) legyen egyenl Vysok Tatry a Magas Ttra szlovk elnevezse. 3.3.4 Az Arisztotelszi alapelvek

Mr az korban, a logika atyjnak tekintett grg filozfus, Arisztotelsz megfogalmazott trvnyeket, az gynevezett arisztotelszi alapelveket. Ezek az alapelvek a matematika logika jelen trgyalsnl is alapul szolglnak. Az Arisztotelszi alapelvek: ellentmondstalansg elve s a harmadik kizrsnak elve. 34

A LOGIKA ELEMEI Az ellentmondstalansg elve szerint egy kijelents egyidejleg nem lehet igaz is s hamis is. A harmadik kizrsnak (kizrt harmadik) elve rtelmben, ha egy kijelents nem igaz, akkor hamis, s harmadik lehetsg nincs. Teht az arisztotelszi elvek alapjn a kijelentseknek egyrtelm logikai rtke van, amit a tapasztalat vagy a szaktudomny dnt el. Megvizsglva a lertakat feltnhet, hogy ezeket az alapelveket a kijelents fogalmnak kialaktsnl mr hasznltuk. Az Arisztot elszi alapelvek s a kijelents defincijt figyelembe vve rdemes rgzteni, hogy sohasem tekinthet kijelentsnek a krd s a felkilt, hajt, felszlt mondat, s nem kijelents a definci sem. A krd, felkilt, hajt, felszlt mondat s a definci ugyanis nem tartalmaz logikai tletet. Pldul, az Egy 2-vel oszthat egsz szmot pros szmnak neveznk. mondat nem kijelents, de Minden pros szm oszthat 2-vel. egy igaz kijelents. A Most nem mondok igazat. mondat nem kijelents, mert ellentmondsos, ha ugyanis ez igaz lenne, akkor nem mondank igazat, teht mgsem lenne igaz, ha pedig az llts hamis lenne, akkor igazat mondank, teht az llts igaz lenne. Fontos tudni, hogy annak eldntse, hogy egy kijelent mondat kijelents-e, s hogy ez esetben mi a logikai rtke, nem a logika feladata. Ez konkrt tapasztalattal, vagy valamely szaktudomny eredmnyeivel dnthet el, vagy bizonyos esetekben megllapods krdse. Plda: llaptsa meg, hogy kijelentsek-e a kvetkez mondatok! a) Nyitva van mg a knyvtr? b) Brcsak vge lenne mr a vizsgaidszaknak! c) Magyarorszg fvrosa Esztergom. d) A bibliogrfia tbb jelents sz, az egyik rtelmezs szerint egy konkrt krds tanulmnyozshoz szksges, az elrhet sszes forrsmunka jegyzke. e) 2010-ben Heves megyben tallhat haznk legmagasabb pontja (Kkes). f) Legyen szves vrni egy pillanatot! g) Mennyi ember volt a gpteremben tegnap dlutn! Megolds: a) nem kijelents, mert krds. b) nem kijelents, mert hajt mondat. c) nem kijelents, mert nem egyrtelm, hogy milyen idintervallumra vonatkozik az llts, ezrt nem llapthat meg, hogy igaz vagy hamis. A logikai rtk eldntshez tovbbi informcikra lenne szksg. d) nem kijelents, mert definci. e) kijelents, mert egyrtelm a fldrajzi terlet, az idintervallum, gy megllapthat, hogy igaz vagy hamis. f) nem kijelents, mert felszlt mondat. g) nem kijelents, mert felkilt mondat.

35

A LOGIKA ELEMEI 3.3.5 A logikai rtk

A kijelentsek igaz vagy hamis tulajdonsga mr megjelent az elbbi ekben, most hatrozzuk meg pontosan pontosabban! Logikai rtknek nevezzk a kijelentsek igaz, illetve hamis tulajdonsgt. A p kijelents logikai rtkt |p| -vel jelljk. Az igaz logikai rtket i betvel vagy az 1 szmjeggyel, mg a hamis logikai rtket h betvel, illetve 0 szmjeggyel jelljk. Teht |p|=i, ha p kijelents igaz, s |p|=h, ha p kijelents hamis. Plda: llaptsa meg az albbi kijelentsek logikai rtkt! a) Mtys kirly 1458-tl hallig, 1490-ig uralkodott. b) Haznkban Budapesten, Egerben, rden s Pcsett tallhat minaret. c) Az egri vrvdk sohasem nyertek csatt. d) A felsoktatsi intzmnyek knyvtraiban vannak lexikonok. Megolds: a) igaz, ha a trtneti feljegyzsekben ellenrizzk. b) hamis, hiszen Budapesten nincs minaret. c) hamis, amit tanulmnyaink bizonytanak. d) igaz, hiszen az ismereteink szerint ez nem lehet msknt. 3.3.6 Tbbrtk logikk

A lertakon kvl lteznek az n. tbbrtk logikk is, de azokkal a tananyagban nem foglalkozunk mlyebben. Az rdekessg kedvrt kitekintsknt nhny gondolat szerepeljen itt a nem ktrtk logikkrl. Adott tudomnyokban, mint pldul a mszaki, a vegyszeti vagy a fizikai tudomnyokban egzakt matematikai modelleket ptenek fel a tapasztalati jelensgek megfigyelsre alapozva, majd ezeket a modelleket hasznljk fel a vals dolgok jvbeni viselkedsnek meghatrozsra. A vals vilg jelensgeinek mkdse azonban tbbnyire bizonytalan, egzakt mrtkrendszerrel nem jellemezhet. A fizikai jelensgek szigoran ktrtk megkzeltse ezrt nem mindig alkalmas a valsg megfelel lersra. A vals vilgban dominnsak a nagy bonyolultsg rendszerek, gy a szmtgpes modellezskhz szksg van valamilyen matematikai lersra, amely lehetv teszi a pontatlan krlmnyek kezelst. Ezen lersok egyike a napjainkban egyre nagyobb szerepet jtsz fuzzy logika. Br a fuzzy logika, illetve els megfogalmazsban az ezzel algebrailag azonos struktrj fuzzy halmazelmlet elszr 1965-ben kerlt megfogalmazsra, elzmnyei az kori grg logika paradoxonjaihoz nylnak vissza. Ismert problma a kvetkez. Ha egy kupac homokbl egy homokszemet elvesznk, az tovbbra is egy kupac homok marad. Mivel minden homokkupac vges szm homokszembl ll, ennek a mveletnek a vges szm ismtlsvel a homokkupac teljesen eltnik, azaz a kvetkez nyilvnvalan hamis lltshoz jutunk: egy kupac homok = se mmi. A problma megoldsa rszben lehetsges a huszadik szzad 20-as veitl kezdve intenzven kutatott tbbrtk logikk segtsgvel. 36

A LOGIKA ELEMEI

A fuzzy logika
A fuzzy logika gondolatt elszr Lotfi A. Zadeh vetette fel 1965-ben. Az els les ipari alkalmazs egy cementget-kemence volt Dniban, 1975-ben kezdett mkdni. Ma mr pldul a hztartsi kszlkekben, szles krben alkalmazzk a fuzzy rendszereket. Kszlt mr s kereskedelmi forgalomban kaphat fuzzy elven vezrelt intelligens porszv, mosgp, vide kamera. De mi is az a fuzzy logika s a fuzzy halmaz? Els pillanatban bizonytalan, kevss precz vlaszokat lehet erre a krdsre adni, ppen olyanokat, mint amit ez a fogalom maga is takar. A fuzzy sz jelentse tbbek mellett: homlyos, elmosdott. Alapveten a fuzzy logika egy pontatlansg tpus rtkein nyugszik, mely olyan elemek csoportostsbl szrmazik, melyeknek nincsenek hatrozott hatrvonalai. Ilyen csoportok (fuzzy halmazok) jhetnek ltre, valahnyszor ktrtelmsget, bizon ytalansgot runk le matematikai modellek segtsgvel. A htkznapokban a fuzzy halmazok rszei letnknek. rezzk mit jelent a msik bartsga, mennyire nevezhet a mai nap szerencssnek, milyen mrtkben sok a kapott sztndj. Ezeket a htkznapi tapasztalatokat nem tudjuk a matematikai logika s halmaze lmlet lesen elhatrolt halmazaival, ktrtk vlaszaival lerni. A fuzzy halmazok elmlete a htkznapi tapasztalatokat akarja a matematika nyelvn megfogalmazni. Az elmosdott hatr halmazok bevezetse lehetv teszi a minsgi alapokon nyugv adatfeldolgozst s szablyozst. Tekintsnk pldul egy meglehetsen htkznapi dolgot, a rntsksztst. Ha a szakcsknyv szerint egy kevs vajon vegesre proljuk az aprra vgott hagymt, me ghintjk egy csipetnyi liszttel, enyhn tpirtjuk, majd zls szerint tesznk hozz pirospaprikt, akkor a hziasszony pontosan rti teendit. Ugyanezt feladatul adva egy laikus frjnek, mindjrt krdsek garmadja merl fel: mennyi vaj, liszt stb. szksges pontosan, mit jelent az, hogy enyhn tpirtva stb. A fuzzy szablyozs kpes arra, hogy minsgre vonatkoz lltsok s htkznapi tapasztalatok alapjn fellltott szablyok segtsgvel vezreljen folyamatokat. Mindez a klasszikus, ktrtk logika les hatr halmazainak fogalmaival szembelltva vilgth at meg a legjobban. A klasszikus halmazok definci szerint meghatrozott elemek egyttesei, s minden egyes elemrl egyrtelmen eldnthet, hogy az adott halmazhoz tartozik-e, vagy sem. Ms szval, egy elem adott halmazhoz tartozsnak mrtke pl.: 0 (nem tartozik hozz), vagy 1 (hozztartozik) lehet. Ezzel szemben a fuzzy halmazok esetben a halmazhoz tartozs mrtke tetszleges 0 s l kz es szm lehet. A fuzzy logika az emberi nem pontos logika egzakt matematikai lerst kvnja megadni. Plda: Tekintsk az iskolt s a tantrgyak kedveltsgt. Ttelezzk fel, hogy valaki megkrdezi, hogy melyek az igazn kedvelt tantrgyaink. Ha a vlaszad a klasszikus halmazok nyelvn hajt vlaszolni, nehz helyzetbe kerl, hiszen kzpt, vagyis kicsit igazn kedvelem, a klasszikus logika szerint nincs. Sokkal knnyebb a helyzet, ha a vlaszads a fuzzy halmazok nyelvn trtnik.

37

A LOGIKA ELEMEI Egy msik pldval is rzkeltetjk, hogy a fuzzy halmazok a hagyomnyos, les hatrok halmazoknak az tlagos emberi gondolkodsmdhoz jobban illeszked ltalnostsai. Plda: Egy meleghz szmtgppel vezrelt ft-ntz berendezse dntseit a hmrsklet, pratartalom s ms rendszervltozk alapjn hozza meg. A hmrskletvltoz feloszthat tbb llapotra: nagyon hideg, hideg, langyos, meleg, nagyon meleg. Azonban az egyik llapotbl a msikba val tmenetet nehz meghatrozni. Egy nknyes kszb felllthat, mely elvlasztan a meleg s nagyon meleg llapotokat, de ez egy nem folyamatos vltozst eredmnyezne, amikor a bemenet tmegy ezen a kszbn. Ennek kikszblsre az llapotokat fuzzyv kell tenni, azaz lehetv tenni, hogy fokozatosan vltozzanak az egyik llapotbl a msikba. A bemeneti hmrskletllapot okat tagsgi fggvnyekkel lehet definilni, pldul a 7. kpen lthat mdon.

7. kp

A hmrskletllapotok kifejezse tagsgi fggvnyekkel

gy a bemeneti vltoz llapota nem ugrik hirtelen az egyik llapotbl a msikba, h anem rtke fokozatosan cskken az egyik tagsgban, mg a kvetkezben rtket nyer. Minden idpillanatban a hmrsklet igazsgrtke kt tagsgi fggvny valamilyen fok rtkeivel lesz egyenl: 0,6 langyos s 0,4 meleg, vagy 0,7 langyos s 0,3 hideg stb. Egy fuzzy szablyozsi rendszerben a bemeneti vltozk legtbbszr ehhez hasonl tagsgi fggvnykszletekre, fuzzy kszletre vannak lekpezve. 3.3.7 Logikai szimblumok, jellsek

A tudomnyok sajtos nyelvet hasznlnak eredmnyeik lersra. A matematika minden ms tudomnyhoz hasonlan r van utalva, hogy eredmnyeit szban s rsban megf ogalmazza. A nyelvek sokflesge miatt s a kznapi beszd hasznlatnl a flrerts veszlye miatt a matematikban sokkal inkbb ttrtek arra, hogy a kijelentseket mestersges, formlis nyelven fejezzk ki, amely a kznapi nyelv csak logikai szempontbl jele nts elemeit tartalmazza.

38

A LOGIKA ELEMEI Sajnos a szimbolika mg haznkban sem egysges, ezrt fontos tisztznunk a jegyzetben hasznlt logikai szimblumrendszert, tudnunk kell, mit jelentenek s hogyan ejtjk pontosan a hasznlt szimblumokat. Az itt lthat jells a jegyzetben egysges, minden esetben ugyanazt a jellst hasznljuk.
1.

Tblzat Logikai szimblumok

Elnevezs definil egyenlsg nem egyenl kijelentsvltoz p kijelents logikai rtke igaz hamis egzisztencilis kvantor univerzlis kvantor kvetkeztets jele negci konjunkci (AND) diszjunkci (OR) implikci ekvivalencia antivalencia (XOR) Sheffer-fle mvelet (NAND)

Olvassa legyen egyenl nem egyenl p kijelents p (logikai) rtke igaz hamis ltezik minden kvetkezik negci, negt, neglva konjunkci, s diszjunkci, (megenged) vagy implikci ekvivalencia kizr vagy | Sheffer-fle mvelet, vagy (?) Webb-fle mvelet, sem-sem (NOR) vagy || sem sem eleme eleme nem eleme nem eleme adott elemekbl ll halmaz {a, b, } a, b, elemek halmaza azon x elemek halmaza, melyre {x|} x, melyre teljesl res halmaz res halmaz rszhalmaz rszhalmaza valdi rszhalmaz valdi rszhalmaza metszet metszet uni uni klnbsg \ klnbsg szimmetrikus klnbsg szimmetrikus klnbsg ~H vagy komplementer H halmaz komplementere Jel := p, q, r, |p| i vagy 1 h vagy 0

39

A LOGIKA ELEMEI 3.3.8 Feladatok

1) Kijelentsek-e a kvetkez mondatok? (Indokoljuk lltsunkat!) a)Budapest Magyarorszg fvrosa 2010-ben. b)Hny ra van? c)3 nagyobb, mint 2. d)A tanrunk szigor. e)Br vakci lenne! f)kos nem szemveges fi. 2) llaptsa meg, hogy kijelentsek-e a kvetkez mondatok! Indokolja vlaszt! a) Sokig tart mg az t? b) Brcsak jeles lenne a zrthelyi dolgozatom! c) Magyarorszg fvrosa Tiszafred. d) Hrom kisebb ngynl. e) A knyvtrak kulturlis intzmnyek. f) Legyen szves alrni! g) De megszrtam a kezem! 3) Jelljk az albbi kijelentseket klnbz kijelentsvltozkkal! a) 1932-ben, Cserpfalu hatrban, a Subalyuk-barlangban neandervlgyi ember leleteket tallnak: egy gyermek koponyjt, egy n llkapcst s nhny tredkes vzcsontjt. b) A Nmet Szvetsgi Kztrsasg (NSZK) 1955-ben a NATO tagja lett. 4) llaptsuk meg a kijelentsek logikai rtkt! a) A Tisza-t egy mestersges t. b) Karcsony janur 1-jn van haznkban. c) 1939. prilis 11-n Magyarorszg kilp a Nemzetek Szvetsgbl. d) Nullnl nincs nagyobb egsz szm. 3.4

SSZEFOGLALS

A matematikhoz kapcsold, a tananyag trgyalsa s a ksbbi bizonytsok alapjul szolgl fogalmakat, valamint a matematikai logika megrtshez elengedhetetlenl szksges fogalmakat ismerhettk meg. Megismertk az arisztotelszi alapelvek mellett az egy s a tbb rtk logikt. Ezen tl sszefoglaltuk a tananyagban alkalmazott sszes jellst, amit tmutatknt rdemes a tanuls s a feladatok megoldsa sorn kezelni. 3.5

NELLENRZ KRDSEK

1)Mit rtnk logikai rtelemben kijelents alatt? 2)Mit rtnk egy kijelents logikai rtkn? 3)Fogalmazzuk meg az ellentmondstalansg s a harmadik kizrsnak az elvt!

40

A LOGIKA ELEMEI

4. LOGIKAI MVELETEK
4.1

CLKITZS

A matematikai s a logikai mvelet fogalmnak megismerse. A logikai mveletek, mint a negci, konjunkci, diszjunkci, implikci s ekvivalancia megrtse, s a logikai mveletek tulajdonsgainak bizonytsi igny elsajttsa. 4.2

TARTALOM

A tananyag kifejtse A matematikai mvelet Logikai mveletek Logikai kifejezsek A negci A konjunkci A diszjunkci De Morgan-azonossgok Az abszorci s a disztributivits ttele Az implikci Az ekvivalencia Feladatok

4.3

A TANANYAG KIFEJTSE

A matematika trgyalshoz hozztartoznak az alapfogalmak, ttelek s azok matematikai bizonytsa. Mivel a matematikai logika trgyalsa ezen az alapon trtnik, a fogalmak megismerse segt abban a trekvsben, hogy a tananyag komolyabb matematikai erfeszts nlkl is feldolgozhat legyen. A trgyalshoz nem nlklzhetjk a matemat ikai logika alapfogalmait sem, valamint a tovbbi leckk kiindulpontjt , a logikai mveleteket. 4.3.1 A matematikai mvelet

A logikai mveletek trgyalsa eltt a matematikai mvelet fogalma kvetkezik, mel ynek segtsgvel ttekinthet a trgyalt logikai mveletek nhny ltalnos rvny jellemzje. A matematikai mvelet a halmaz egy, kt, vagy tbb elemhez a halmaz egy elemt hozzrendel szably. Attl fggen, hogy a halmaz hny elemhez rendelnk szablyt beszlnk egy-, ktvagy tbbvltozs mveletrl. (A halmaz valamely algebrai struktrn rtelmezett.) Az algebrban leggyakrabban egy- s ktvltozs mveletek fordulnak el, de tetszleges szm vltozra (argumentumra) definilhat matematikai mvelet pl. az igazsgfg gvnyek kzl a tbbtag konjunkci.

41

A LOGIKA ELEMEI Plda: Az algebrai mveletek (illetve ezen bell az alapmveletek) kzl az sszeads k t szmhoz a kt szm sszegt rendeli, gy ez ktvltozs mveletnek tekintend. A 32 szorzsnl a vals szmok halmaznak kt elemhez rendeljk azok szorzatnak rtkt, teht a szorzs szintn ktvltozs mvelet. Egyvltozs mvelet pl. a ksbbiekben trgyalt negci mvelete. A mveletek leggyakrabban operandusokbl (pl.: a, b, x, y, P, Tx), opertorokbl (pl. +, -, ) s zrjelekbl llnak. A matematika szmos terletn nagy jelentsge van az egyes matematikai mvelet-tpusoknak, gy beszlhetnk tbbek kztt halmazmveletekrl, logikai mveletekrl stb. A matematikai mveletek aszerint is vizsglhatk, hogy teljeslnek-e rjuk bizonyos tulajdonsgok: asszociativits, disztributivits, kommutativits, idempotencia. Asszociativits (csoportosthatsg). Egy tbb opertort tartalmaz mvelet asszociatv, ha a vgrehajts sorn tetszleges opertor lehet a kezdmvelet az eredmny megvltozsa nlkl, azaz az operandusokat tetszlegesen csoportosthatom. Plda: a) Az sszeads asszociatv, mivel tetszlegesen vlaszthatom meg azt az opertort (+), ahol az sszeadst kezdem. Jelekkel, ha a, b, c tetszleges operandusok: (a+b)+c = a + (b+c), azaz ha pl. a=3, b=7, c=23, akkor 10+23 = 3 + 30 (=33) b) Az oszts nem asszociatv, mivel nem vlaszthatom meg azt az opertort (+), ahol az osztst kezdem. Jelekkel, ha a, b, c tetszleges operandusok: (a/b) / c a / (b/c), azaz ha pl. a=60, b=10, c=2, akkor 6/2 60/5 Kommutativits (felcserlhetsg). Egy mvelet kommutatv, ha brmely opertorhoz tartoz kt operandust felcserlhetjk az eredmny megvltozsa nlkl, azaz a mveletek vgrehajtsi sorrendje tetszleges. Plda: a) Az sszeads kommutatv, mivel az opertorhoz (+) tartoz operandusokat felcserlhetem. Jelekkel, ha a, b tetszleges operandusok: a+b = b + a, azaz ha pl. a=3, b=7, akkor 3 + 7 = 7 + 3 (=10) b) A kivons nem asszociatv. Jelekkel, ha a, b, c tetszleges operandusok: a-b b-a, azaz ha pl. a=3, b=7, akkor 3 7 7 3

42

A LOGIKA ELEMEI Idempotencia (azonos hatvnysg). Egy mvelet idempotens, ha ugyanazzal az operandussal a mveletet brmennyiszer vgrehajtva mindig nmagt az operandust kapjuk eredmnyknt. Plda: a) Az egy kitevj hatvnyozs idempotens. Jelekkel, ha a tetszleges operandus: (a1)1 = a, azaz ha pl. a=10, akkor (101)1 = 10 b) Az sszeads nem idempotens. Jelekkel, ha a tetszleges operandus: a+a a, azaz ha pl. a=3, akkor 3 + 3 3 Disztributivits (szttagolhatsg). Kt mvelet esetn a zrjelben lv mvelet a zrjel eltt vagy mgtt ll mvelettel szttagolhat gy, hogy az rtke nem vltozik. A tagols lpsei: a zrjelben lv operandusokat rendre a zrjelen kvli operandussal s a zrjelen kvli mvelettel ktjk ssze. az gy keletkezett mveleteket a zrjelben lv mvelettel ktjk ssze. Plda: a) A szorzs az sszeadsra nzve disztributv. Jelekkel, ha a, b, c tetszleges operandusok: a (b+c) = ab + ac, azaz ha pl. a=5, b=2, c=8, akkor 510 = 10 + 40 (=50) a) Az sszeads a szorzsra nzve nem disztributv. Jelekkel, ha a, b, c tetszleges op erandusok: a + (bc) a+b a+c, azaz ha pl. a=5, b=2, c=8, akkor 5+16 5 + 10 + 8 4.3.2 Logikai mveletek

Tekintsk a kvetkez kijelentseket! 1) 2 pros szm s 2 osztja 16-nak. 2) 5 primszm (csak az 1 s nmaga az osztja) s 5 osztja 13-nak. 3) 3 osztja 18-nak, mert 3-nak 6-szorosa 18. 4) 3 osztja 18-nak, mert 5 pozitv szm. Az els kijelents a 2 pros szm, valamint a 2 osztja 16-nak kijelentseknek (mint komponenseknek) az s ktszval trtn sszekapcsolsa tjn keletkezett. A komponensek logikai rtke igaz, s igaznak tartjuk az 1) sszetett kijelents logikai rtkt is. Ha kt kijelentst az s ktszval kapcsolunk ssze, akkor az gy keletkezett sszetett kijelents logikai rtkt a megszokssal sszhangban pontosan akkor tekintjk igaznak, ha mind a kt komponens logikai rtke igaz. Ennek megfelelen a 2) kijelents logikai rtke hamis, mert br azonos szerkezet az els kijelentssel az egyik komponens logikai rtke igaz, a msik hamis. Az 1) s 2) kijelents logikai rtkt teht a komponensek logikai rtke egyrtelmen meghatrozza. A 3) s 4) kijelents kt egyszerbb kijelentsnek a mert ktszval trtn sszekapcsolsval keletkezett. Komponenseik logikai rtke igaz s igaznak tartjuk a 3) kij e43

A LOGIKA ELEMEI lentst is. Azt azonban mgsem mondhatjuk jzan sszel, hogy a 3 azrt osztja 18-nak, mert 5 pozitv szm, ahogy azt a 4) kijelentsnl olvastuk. Elmondhatjuk, hogy a 3) s 4) kijelents logikai rtkt a bennk szerepl egyszerbb kijelentsek logikai rtkei nem hatrozzk meg egyrtelmen. A mveletekre ezt a korltozst amelyet rtkelsi alapelvnek neveznk a logika matematikai mdszerekkel trtn vizsglata sorn (a matematikai logikban) vezettk be. Az elmondottakbl kitnik, hogy a logikai mveleteket a kijelentsek kztt egy vagy tbb kijelentsre rtelmezhetjk. Logikai mveletrl akkor beszlnk, ha adott kijelentsekbl gy pl fel egy sszetett kijelents, hogy annak logikai rtkt az adott kijelentsek (komponensek) logikai rtkei egyrtelmen meghatrozzk. A logikai mveletek rviden a kijelentsek kztt rtelmezett matematikai mveletek. A logikai mveletek fogalma alapjn az 1) s 2) kijelents logikai mvelettel keletkezett sszetett kijelents, a 3) s 4) nem logikai mvelettel keletkezett sszetett kijelents. A tovbbiakban a leginkbb hasznlt logikai mveleteket rtelmezzk, kitrnk azok legegyszerbb tulajdonsgaira is. 4.3.3 A logikai kifejezs. A kijelentsek formulja

Az alapfogalmaknl a kijelentst, mg az elzekben logikai mvelet defincijt ismertk meg, de nyilvnval, hogy a kijelentseket a mveletekkel szeretnnk sszekapcsolni. Kijelentsekbl teht azok logikai mveleteivel sszetett kijelentseket kpezhetnk. Egy sszetett kijelents kijelentslogikai szerkezetn (pontostva: durva szerkezetn) annak az brzolst rtjk, hogy az sszetett kijelents milyen ms kijelentsekbl s milyen mveletek segtsgvel rhat fel. A logikai kifejezs alatt a kijelentsek logikai vltozinak s a logikai mveletek egyttest rtjk. A logikai kifejezseket a matematikai logika jellsrendszervel lerva n. formulkat kapunk. A kijelentslogikai formulk a kijelentsvltozkbl (p, q, r,), mveleti jelekbl s zrjelprokbl plnek fel. A logikai mveleti jeleknek is van egy specilis elnevezse. Logikai konstansoknak nevezzk a logikai mveleti jeleket (, , ,). A kifejezs s a formula kztt a klnbsg teht annyi, hogy a kifejezs az l nyelv korltozott, a logika ltal engedett eszkzeit hasznlva, mg a formulk ugyanazt rviden, szimblumokkal rjk le. A kt fogalmat gyakran hasznljk egyms szinonimjaknt is. Plda: Kedvelem a bartaimat s utlom a hideget. A kt kijelentshez rendeljk a kvetkez vltozkat: b:= kedvelem a bartaimat 44

A LOGIKA ELEMEI h:= utlom a hideget A kt kijelentst a hamarosan rszletezett s mvelet kapcsolja ssze, a jele: . A tblzat els sorban ltjuk a logikai kifejezst, mg a msodik sora annak a kijelen tslogikai formuljt tartalmazza: Kedvelem a bartaimat b 4.3.4 A negci s utlom a hideget. h

A kznapi beszdben gyakran fordul el egy kijelents tagadsa, amit legtbbszr a nem tagadszval tesznk, pl.: Nem igaz, hogy nehz a nyelvvizsga. A Nem igaz, hogy kezdet mondatok az eredeti kijelents logikai rtkt ellenttesre vltoztatjk. A beszdben tetten rhet jelensget a logikban negcinak nevezik. Brmely kijelentsbl kpezhetnk egy jabb kijelentst a kvetkez definci szerint. Tetszleges p kijelents negcijn (tagadsn) a Nem igaz, hogy p kijelentst rtjk s p-vel jelljk. A nem igaz, hogy p mellett szoksos hasznlni a nem p rvidebb megfogalmazst is. Pldk: 1) A 17 pozitv szm. A kijelents negcija: Nem igaz, hogy a 17 pozitv szm. A 17 nem pozitv szm. 2) Zsuzsa bartja Tams. A kijelents tagadsa: Nem igaz, hogy Zsuzsa bartja Tams. Zsuzsnak nem bartja Tams. Nem Zsuzsa bartja Tams. Tams nem bartja Zsuzsnak. 3) Mindenki szereti a logikt. A kijelents negcija: Nem igaz, hogy mindenki szereti a logikt. Nem mindenki szereti a logikt. Van aki nem szereti a logikt. A pldkbl kitnik, hogy egy kijelents tagadsa tbbflekppen is megfogalmazhat. A p kijelents tagadsnak a logikai rtke:

45

A LOGIKA ELEMEI (A lertakat a kvetkezkppen olvassuk: nem p logikai rtke (legyen) igaz, ha p logikai rtke hamis, illetve (legyen) hamis, ha p logikai rtke igaz.) A negci logikai mvelet, mert a p kijelents logikai rtke egyrtelmen meghatrozza p kijelents logikai rtkt. A negci logikai rtktblzattal brzolva: |p| i h |p| h i

Megjegyezzk, hogy a mveletet s annak eredmnyt is negcinak nevezzk, val amint azt, hogy a negci nem a kijelentst vltoztatja ellenkezjre, hanem annak logikai rtkt. Hangslyozzuk, hogy a magyar nyelv a mondat tagadst ltalban az lltmny tagadsval vgzi. Pldul: A szobm fala fehr. Ennek a kijelentsnek a tagadsa: A szobm fala nem fehr. Lehet, hogy zld vagy srga, de egyltaln nem biztos, hogy pl. fekete. A p kijelents tagadsnak (p) is kpezhetjk a negcijt. Ezt a p kijelentst ktszeres tagadsnak nevezzk s p-vel jelljk. A p s a p kijelentsek nyelvileg nem azonosak, de a kijelentsek negcija logikai rtknek az rtelmezse szerint rhatjuk, hogy |p| = |p|. Mind a mindennapi, mind a tudomnyos letben tallkozunk ktszeresen tagadott kijelentsekkel. Plda: 1) Nem igaz, hogy az rm nem jr pontosan. 2) Nem igaz, hogy 6 nem oszthat 2-vel. A termszetes nyelvben a tagads hasznlata igen sokfle lehet, van olyan eset is, amikor nem fejezi ki a nem tagadsz a negcit. A pldban tagadjuk az lltmnyt, gy valban kifejezzk a negcit: Plda: Pter magasabb, mint Pl. Pter nem magasabb, mint Pl. A nyelvben vannak olyan esetek, amelyekrl majd csak a prdiktumlogikban tan ulunk, de a pldkat mr itt is rdemes megvizsglni. A msodik pldban a nem sz nem jelent negcit, mivel mindkt llts igaz: Plda: Nmelyik emls tud replni. (igaz) Nmelyik emls nem tud replni. (igaz) Tagadjuk ktflekppen is az albbi mondatot, de a harmadik plda is azt mutatja, hogy egyik sem negci: 46

A LOGIKA ELEMEI Plda: Minden ember hazudik. (hamis) Egyetlen ember sem hazudik. (hamis) Minden ember igazat mond. (hamis, br tfogalmaztuk) Az elz plda negcijt a kvetkez kijelentsek fejezik ki: Plda: Nem minden ember hazudik. (igaz) Nem igaz, hogy minden ember hazudik. (igaz) Tovbbi gondot jelenthet az sszetett mondatra alkalmazott negci. Nem lehetnk biztosak abban, hogy melyik tagmondatra vonatkozik a negci. Az l nyelvben ezt jelezhe tjk hangsllyal, de a formulknl egyrtelmv teszi mindezt a zrjel. Plda: Nem igaz, hogy Kati csinosabb, mint Klra, s Klra csinosabb, mint Luca. a) (Kati csinosabb, mint Klra), s Klra csinosabb, mint Luca. b) (Kati csinosabb, mint Klra, s Klra csinosabb, mint Luca). 4.3.5 A konjunkci

A htkznapi letben gyakran hasznlt kifejezs az s sz. Ha pldul tulajdonsgokat sorolunk fel, akkor azok nem tesszk ki minden tulajdonsg utn az s szt: gi mvelt, olvasott, barna haj s magas. Kijelenthet, hogy mi voltakppen arra gondoltunk, hogy gi mvelt s gi olvasott s gi barna haj s gi magas. Azonban a nyelv lervidti ezt a logikai okoskodst, viszont ebben az esetben rhatjuk fel egyszeren a kifejezsek n. konjunkcijt. Konjunkci fogalma. Tetszleges p s q kijelentsek konjunkcijn rtjk a p s q sszetett kijelentst, illetve ennek valamilyen tfogalmazst. Jellse: pq, ahol p, q a konjunkci tagjai. Kt kijelents konjunkcijnak logikai rtkt a kvetkezkppen rtelmezzk:

A definci rtktblzattal: |p| i i h h |q| i h i h |p q| i h h h

47

A LOGIKA ELEMEI A definci ngyzetes rtktblzatba foglalva: q p i h i i h h h h

Az rtelmezsbl lthat, hogy kt kijelents konjunkcijnak logikai rtkt a komp onensek logikai rtkei egyrtelmen meghatrozzk, azaz a konjunkci logikai mvelet. Konjunkcinak szoktuk nevezni a mvelet eredmnyt is. Tekintsk a kvetkez pldkat! Plda: 1) Az a oldal ngyzet terlete aa s kerlete 4a. 2) 5 pozitv s pratlan szm. 3) A 6. osztly els lett a tanulmnyi- s msodik a sportversenyen. Mind a hrom kijelents logikai rtke sszhangban a kznapi nyelvvel csak akkor igaz, ha mind a kt komponens logikai rtke igaz. Termszetesen a lnyeg nem az s ktszn van, hanem az egyttes lltson, ezrt az s helyett sokszor hasznljuk pl. a br; mbr; de; viszont; meg; noha; szintn; is is stb. ktszavakat anlkl, hogy a logikai tartalom megvltozna. Plda: Pter is elment, Juli is elment haza. (rvidebben: Pter is, Juli is elment haza.) Br Pter elment, Juli itt maradt. Esik az es, noha st a nap. Fles tzott, mindazonltal nem lett jkedv. Habr az ibolya elhervadt, a tbbi virgzik. Felkszltem, viszont izgulok. Gulyslevest ettnk meg bort ittunk. Megjegyezzk, ha egy kijelentsben az s ktsz szerepel, az nem jelenti minden esetben azt, hogy a kijelents konjunkcival keletkezett. Plda: 1) 3-nak s 7-nek a legnagyobb kzs osztja 1. 2) 3-nak s 7-nek a legkisebb kzs tbbszrse 21. 3) A nappal s az jszaka egymst kvetik. 4) Kriszta s Imre bartok. (mskppen: Imre bartja Krisztnak) A 4)-es plda a konjunkcit kifejez alakra tfogalmazva mr mst jelent ene: Kriszta bart, s Imre bart. A bart ilyen esetben szerzetest jelent s ez mr valban konjunkci. A kvetkez rszekben szerepl tteleket T betvel jelljk, s kvetkezetesen szmozni fogjuk, hogy ksbb lehessen rjuk hivatkozni. Az eddigi ismereteink alapjn kijelenthet, hogy a modern matematika a tteleket csak akkor fogadja el helyesnek, ha a ttelben szerepl lltsok igaza belthat, amit bizony-

48

A LOGIKA ELEMEI tsnak neveztnk. A konjunkcihoz kapcsold ttelek logikai rtktblzat segtsgvel knnyen igazolhatk. Kijelents (ttel) bizonytsi lpsei. Az sszetett kijelents (ttel, azonossg) igazolsa a kvetkezkppen trtnik: 1) meghatrozzuk az egyenlsg jel bal oldaln lv kifejezs logikai rtkt minden logikai vltoz (p, q, r) sszes lehetsges logikai rtkre. 2) meghatrozzuk az egyenlsg jel msik, jobb oldaln lv kifej ezs logikai rtkt minden logikai vltoz (p, q, r) sszes lehets ges logikai rtkre. 3) Ha a bal s a jobb oldali kifejezs logikai rtkei minden esetben (az igazsgtblzat minden sorban) megegyeznek, akkor a kijelentst (ttelt, azonossgot) belttuk, azaz bebizonytottuk. 4) Ha csak egyetlen esetben is a bal oldali kifejezs logikai rtke eltr a jobb oldali kifejezs logikai rtktl (az igazsgtblzat egy vagy tbb sorban), akkor az sszetett kijelents nem bizonythat, teht nem lehet sem ttel sem azonossg. sszefoglalva a bizonytsok lnyegt: mivel egy vltoznak mindssze kt rtke (igaz vagy hamis) ltezik, ezrt a logikai rtktblzat felhasznlsval szemlletesen, az sszes lehetsg lersval lthatk be a ttelek. Adott p, q s r kijelentsekbl kpezhetjk a pq; qp; (pq)r; p(qr); pp; pp kijelentseket. Ezek logikai rtkre teljeslnek a kvetkez tulajdonsgok: T1: A konjunkci kommutatv: | pq | = | qp | A kommutativits igazolsa: |p| i i h h |q| i h i h |p q| i h h h |q p| i h h h

Mivel a harmadik s a negyedik oszlop minden sorban megegyeznek a logikai rtkek, kijelenthet, hogy p, q vltozk minden lehetsges logikai rtke esetn az egyenlsg jel kt oldala megegyezik, teht a ttelt belttuk. T2: A konjunkci asszociatv: | (pq)r | = | p(qr) |

49

A LOGIKA ELEMEI Az asszociativits igazolsa: |p| |q| i i i i i h i h h i h i h h h h |r| |(p q) i i h i i h h h i h h h i h h h 1 r| i h h h h h h h 2 |p i h h h h h h h 2 (q r)| i h h h i h h h 1

Megjegyzs: a logikai mveletek sorrendjt a zrjellel befolysolhatjuk, amit a tblzat utols sorban a szmozssal jelltnk: 1 szerepel az elsknt vgrehajtand mvelet alatt, 2 pedig a msodikknt vgrehajtand mvelet alatt. Ezt a segtsget a kvetkezkben is gy rvnyestjk. A vastag kerettel jellt, a kt oldal formuljt tartalmaz logikai rtkek minden sorban azonosak, teht a ttelt bebizonytottuk. T3: A konjunkci idempotens: |p p| = |p| Az idempotencia igazolsa: |p| i h A ttelt bebizonytottuk. T4: A konjunkcira rvnyes az ellentmondstalansg elvnek tkrzse: |p p| = h. Olvasva: p konjunkcija a nmaga negltjval mindig hamis. Az ellentmondstalansg elvnek igazolsa: |p| i h A ttelt bebizonytottuk. 4.3.6 A sem-sem mvelet |p h h 2 p| h i 1 h h h |p p| i h

A negci s a konjunkci felhasznlsval rtelmezhetnk tovbbi logikai mveleteket is. Ezek kzl egyik az gynevezett sem-sem mvelet, amelyet az albbiak szerint rtelmeznk s a || jellel jellnk.

50

A LOGIKA ELEMEI A sem-sem logikai mvelet rtelmezse: p || q := pq A sem-sem mvelet eredmnynek logikai rtke csak akkor igaz, ha |p| = |q| = h. A sem-sem mvelet logikai rtktblzata: |p| i i h h |q| i h i h |p| h h i i |q| h i h i |p || q| h h h i

A definci ngyzetes rtktblzatba foglalva: q i h i h h p h h i Idzzk fel a mvelethez tartoz taln leghresebb magyar mondat sorait Ady Endrtl: Plda: Sem utdja, sem boldog se, Sem rokona, sem ismerse Nem vagyok senkinek, 4.3.7 A diszjunkci

Az emberek letben igen gyakori az telgazs. Dnteni kell, s az esetek tbbsgben ez nem egyszer. A dntsek lersa a logikban is sszetett, hiszen a beszdben sem lehet egyrtelmsgrl beszlni. Plda: Vagy a fagylaltom nlklzm, vagy a tortt! A mondatot tbbflekppen lehet rteni, attl fggen miknt hangslyozzuk. Ha komolyan mondjuk egy dita kzepn, akkor egyszerre nem ehetjk meg a fagylaltot s a tortt, csak az egyiket, de az is lehet, hogy egyiket sem. A diszjunkci mvelete is ezt j elenti. Azonban mondhatjuk szigoran (Vagy a fagylaltom nlklzm, vagy tortt! Nincs tovbb vita!), ami jelentheti azt is, hogy kizrlag az egyik eset trtnhet meg, de az mindenkppen. Az els jelentshez kapcsoldva definiljuk az j logikai mveletet. Diszjunkci fogalma. Jelljn p, q kt tetszleges kijelentst. A p s q kijelentsekkel vgzett sem-sem mvelet negcijaknt rtelmeznk egy jabb mveletet, amelyet a p, q kijelentsek diszjunkcijnak neveznk. Jellse: pq, ahol p, q a diszjunkci tagjai. pq := (pq) Olvassa: p diszjunkcija q-val legyen egyenl nem igaz, hogy sem p, sem q. 51

A LOGIKA ELEMEI A sem-sem mvelet logikai rtkinek figyelembe vtelvel a diszjunkci logikai rtktblzatt az albbiak szerint felrhatjuk: A definci rtktblzattal: |p| i i h h |q| i h i h |p q| i i i h |p q| h h h i |(p q)| i i i h

A definci ngyzetes rtktblzatba foglalva: q p i h i i i h i h

A diszjunkci esetben is igaz, hogy a mveletet s annak eredmnyt is diszjunkcinak nevezzk. Mivel a diszjunkcit negci s konjunkci segtsgvel rtelmeztk, ezrt logikai mvelet. Ez a logikai rtk-tblzatbl is lthat. A tblzatbl az is kiolvashat, hogy a diszjunkci logikai rtke csak abban az egy esetben hamis, ha mind a kt komponens logikai rtke hamis.

Tbbfle vagy ltezik

A vagy ktszt szoks megenged, kizr, illetve sszefrhetetlensget kifejez rtelemben hasznlni. Kt kijelents megenged rtelm vagy ktszval trtn sszekapcsolsa ltal keletkezett kijelents akkor igaz, ha a komponensek kzl legalb b az egyik logikai rtke igaz, vagyis ez a diszjunkci mvelete. A vagy ktszt megenged (alternci) rtelemben (OR): Plda: a) kos matematikbl vagy fizikbl jelesre felelt. Elkpzelhet, hogy csak matematikbl, csak fizikbl kapott jelest, de lehet hogy mind a kt trgybl jelesre felelt. b) Paradicsom saltt krek a csirkhez vagy csalamdt. Lehet, hogy az illet paradicsom saltt eszik, elkpzelhet, hogy csak csalamdt, de akr mindkettt is ehet felvltva. Kt kijelents kizr rtelm vagy ktszval trtn sszekapcsolsa ltal keletkezett kijelents akkor igaz, ha a komponensek kzl csak az egyik, de csakis az egyik logikai rtke igaz, vagyis ez a mvelete. A vagy ktszt hasznlhatjuk kizr (antivalencia) rtelemben (XOR) is. Plda: a) Figyel az rn, vagy kimegy. Itt a vagy ktsz kizr rtelm, mivel figyelni illetve elmenni egyidejleg nem lehet, harmadik lehetsg nincs. b) Vagy hajval megynk, vagy replvel. Nyilvnval, csak az egyikkel utazhatunk.

52

A LOGIKA ELEMEI A vagy ktsz sszefrhetetlensget is kifejezhet. Az sszefrhetetlensget kifejez vagy ktszt (NAND- vagy Sheffer-mvelet): Plda: a ) jsgot olvasok, vagy alszok. jsgot olvasni s aludni is egyidejleg nem lehet, de egy harmadik lehetsg nem kizrt. b) n dnt: iszik, vagy vezet. Nem szksges rkk csak a vezets meg csak az ivs llapotban lenni, lehetsges, hogy se nem iszunk, se nem vezetnk. c) Teca, vagy cskos blzt veszel fel, vagy pttys szoknyt. Ebben a helyzetben egyltaln nem szksges, hogy a kett kzl valamelyik eset igaz legyen, mst is felvehet, hiszen a beszl nyilvn nem azt szndkozott kifejezni, hogy Tecnak rkk csak a cskos blzban, vagy rkk csak a pttys szoknyjban kellene jrnia. Csupn azt szeretn, hogy a kettben egyszerre ne jelenjen meg. Megjegyezzk, hogy a vagy ktsz nem megenged rtelm hasznlatrl a vagy eltti vessz, ms szerkezetben pedig a vagy ..., vagy ... informl bennnket.

Diszjunkci s a vagy ktsz

Tekintsk az albbi kijelentseket: a) Nem igaz, hogy (17 se nem pozitv, se nem pratlan szm). b) 3 osztja 6-nak vagy Zsuzsa jeles tanul. c) Nem igaz, hogy (3 nem osztja 6-nak s Zsuzsa nem jeles tanul). Az a) kijelents diszjunkci, amely azt lltja, hogy 17 pozitv szm vagy a 17 pratlan szm. A vagy ktszt megenged rtelemben hasznljuk. gy tnik, hogy kt kijelents diszjunkcija felrhat a komponenseknek vagy ktszval trtn sszekapcsolsval is. Ehhez azonban egy megjegyzst kell tenni. A b) kijelents a 3 osztja 6-nak, illetve a Zsuzsa jeles tanul komponenseknek vagy ktszval trtn sszekapcsolsval keletkezett. Ezt az sszetett kijelentst nyelvileg furcsnak tartjuk s nem is rezzk igaznak. A c) kijelents a b) kijelentsben szerepl komponensek diszjunkcija, s ezt a kijelentst nyelvileg is helynvalnak, s emellett igaznak is rezzk. Elmondhatjuk, hogy a megenged vagy ktszval sszekapcsolt kt kijelents mindig felrhat diszjunkciknt, de fordtva nem, vagyis kt kijelnts diszjunkcija nem mi ndig fejezhet ki rtelmes mdon vagy ktsz segtsgvel. Az elbbi felismersre nzznk egy pldt! Plda: A c) diszjunkcit nem rhatjuk fel a b) formban.

A diszjunkci tulajdonsgai
Adott p, q, r kijelentsekbl kpezhetjk pldul a pq, qp, (pq)r, p(qr), pp kijelentseket. Ezek logikai rtkeit sszehasonltva megllapthat, hogy a diszjunkci, kommutatv, asszociatv, idempotens tulajdonsg logikai mvelet. A diszjunkcihoz kapcsold ttelek logikai rtktblzat segtsgvel knnyen igazolhatk.

53

A LOGIKA ELEMEI T5. A diszjunkci kommutatv: |pq | = | qp | A kommutativits igazolsa: |p| i i h h |q| i h i h |pq| i i i h |qp| i i i h

Mivel a harmadik s a negyedik oszlop minden sorban megegyeznek a logikai rtkek, ezrt kijelenthet, hogy p, q vltozk minden lehetsges logikai rtke esetn az egyenlsg jel kt oldala megegyezik, teht a ttelt belttuk. T6. A diszjunkci asszociatv: | (pq)r | = | p(qr) | Az asszociativits igazolsa: |p| i i i i h h h h |q| i i h h i i h h |r| i h i h i h i h |(p q) i i i i i i h h 1 r| i i i i i i i h 2 |p i i i i i i i h 2 (q r)| i i i h i i i h 1

Megjegyzs: a logikai mveletek sorrendjt a zrjellel befolysolhatjuk, amit a tblzat utols sorban a szmozssal jelltnk: 1 szerepel az elsknt vgrehajtand mvelet alatt, 2 pedig a msodikknt vgrehajtand mvelet alatt. Ezt a segtsget a kvetkezkben is gy rvnyestjk. A vastag kerettel jellt, a kt oldal formuljt tartalmaz logikai rtkek minden sorban azonosak, teht a ttelt bebizonytottuk. T7. A diszjunkci idempotens: | pp | = | p | Az idempotencia igazolsa: |p| i h A ttelt bebizonytottuk. T8. A diszjunkcira rvnyes a harmadik kizrsa elvnek tkrzse: | pp | = i Olvasva: p diszjunkcija nmaga negltjval azonosan (mindig) igaz. 54 |p p| i h

A LOGIKA ELEMEI A harmadik kizrsa elvnek igazolsa: |p| i h A ttelt bebizonytottuk. 4.3.8 A De Morgan-azonossgok |p i i 2 p| h i 1 i i i

Konjunkcival s diszjunkcival mint logikai mveletekkel s azok tulajdonsgaival kln-kln megismerkedtnk. Most olyan sszefggseket tekintnk t, amelyekben egy logikai kifejezsben vagy egy sszetett kijelentsben a konjunkci s a diszjunkci mvelete egyszerre szerepel. Elsknt vizsgljuk meg azt az esetet, amikor a kt mvelet tag adst prbljuk meg a msik mvelet segtsgvel lerni. Az sszefggsek egy-egy azonossgot takarnak, azaz a kijelentsek logikai rtktl fggetlenl llandan igazak. De Morgan-azonossgok: Legyen p, q kt tetszleges kijelents. T9. |(pq) | = | p q | Ezt gy olvassuk: p konjunkci q negcija egyenl a p, q negcijnak diszjunkcijval. Igazoljuk az els DeMorgan-azonossgot (T9)! |p| i i h h |q| i h i h | (pq)| h i i h i h i h 2 1 |p q| h i i i

Az els azonossgot belttuk. T10. | (pq) | = | p q | Ezt gy olvassuk: p diszjunkci q negcija egyenl a p, q negcijnak konjunkcijval. Igazoljuk a msodik DeMorgan-azonossgot (T10)! |p| i i h h A 2. azonossgot belttuk. 55 |q| i h i h | (pq)| h i h i h i i h 2 1 |p q| h h h i

A LOGIKA ELEMEI 4.3.9 Az abszorci s a disztributivits ttele Abszorci. Legyen p, q kt tetszleges kijelents. T11. |(p (p q)) | = | p | T12. |(p (p q)) | = | p | A konjunkci abszorbtv (elnyel) tulajdonsg a diszjunkcira nzve, s fordtva: a diszjunkci abszortv tulajdonsg a konjunkcira nzve. A ttel bizonytst nllan prblja megoldani. Ha nem sikerl, akkor megtallja az sszefoglal feladatok kztt. Disztributivits. Legyen p, q, r kt tetszleges kijelents. T13. |p (q r) | = | (p q) (p r) | T14. |p (q r) | = | (p q) (p r) | A konjunkci disztributv tulajdonsg a diszjunkcira nzve, s fordtva: a diszjunkci disztributv tulajdonsg a konjunkcira nzve. A ttel bizonytst nllan prblja megoldani. Ha nem sikerl, akkor megtallja az sszefoglal feladatok kztt. 4.3.10 Az implikci

A htkznapi letben gyakran hasznljuk a ha p, akkor q alak sszetett kijelentseket, s a logikai rtkt is csak akkor tekintjk hamisnak, ha |p|= i s |q|=h, br nagyon ritkn tallkozunk olyan ha p, akkor q kijelentsekkel, ahol |p|= h. Ezek alapjn egy jabb logikai mveletet rtelmeznk. Plda: Ha lesz pnzem, akkor a tengernl nyaralok. Tekintsk az albbi rtktblzatot! |p| |q| i i i h h i h h |(p q)| i h i i

Lthat, hogy (p q) logikai rtke csak abban az egy esetben lesz hamis, ha |p|= i s |q|=h, ms esetben igaz. Krds, milyen ktszavakat hasznljunk az olyan sszetett kijelentsek nyelvi formjban, amelyben az sszetett kijelents logikai rtke a tblzat szerint addik. Egy ilyen lehetsges sszettel (a s nyelvi megfelelje alapjn) a nem igaz, hogy (p s nem q). Mind a negci, mind a konjunkci rtelmezhet tetszleges kijelentsek kztt, gy a fenti tpus kijelents is elllthat brmely kt kijelentsbl, s a komponensek logikai rtkei egyrtelmen hatrozzk meg az sszetett kijelents logikai rtkt.

56

A LOGIKA ELEMEI A htkznapi letben hasonl rtelemben hasznljuk a ha p, akkor q alak sszetett kijelentseket, mivel ezek logikai rtkt is csak akkor tekintjk hamisnak, ha |p|= i s |q|=h, br nagyon ritkn tallkozunk olyan ha p, akkor q kijelentsekkel, ahol |p|= h. Vizsgljuk meg, hogy tetszleges p, q kijelentsekbl sszetett, ha p, akkor q mondat tekinthet-e logikai mvelettel sszetett kijelentsnek! Plda: a) Ha tanulok, akkor j jegyet kapok az iskolban. b) Ha otthon vagyok, akkor dolgozom. c) Ha tallkozom a bartommal, akkor visszaadom a knyvt. d) Ha a 3 prmszm, akkor Kiss Pter az iskola legjobb tanulja. e) Ha st a Nap, akkor 22= 4 f) Ha az r sugar kr kerlete 2rPi, akkor a kutym vadon l llat. A d), e), f), pldkbl lthatjuk, hogy tetszleges p,q kijelentsekbl nem biztos, hogy rtelmes ha, p akkor q szerkezettel kifejezhet mondatot kapunk.

Plda: Fogalmazzuk meg a kijelentseket Nem igaz, hogy (p s nem q) formban! a) Ha tanulok, akkor j jegyet kapok. Nem igaz, hogy (tanulok s mgsem kapok j jegyet). b) Ha otthon vagyok, akkor dolgozom. Nem igaz, hogy (otthon vagyok s nem akkor dolgozom). c) Ha tallkozom a bartommal, akkor visszaadom a knyvt. Nem igaz, hogy (tallkozom a bartommal s nem adom vissza a knyvt). d) Ha a 3 prmszm, akkor Kiss Pter a legjobb tanul. Nem igaz, hogy (3 prmszm s Kiss Pter nem a legjobb tanul). e) Ha st a Nap, akkor 22= 4 Nem igaz, hogy (st a Nap s 22= 4). f) Ha az r sugar kr kerlete 2rPi, akkor a kutym vadon l llat. Nem igaz, hogy (egy r sugar kr kerlete 2rPi s a kutym nem vadon l llat. A d), e), f), pldkbl lthatjuk, hogy tetszleges p,q kijelentsekbl nem biztos, hogy rtelmes ha, p akkor q szerkezettel kifejezhet mondatot kapunk. Az a), b), c), mondatok most is rtelmesek maradtak, mg a d), e), f), ebben a megf ogalmazsban mr nem bntja nyelvrzknket, s logikai rtkket is meghatrozhatjuk. ltalban elmondhat, hogy brmely ha p, akkor q alak sszetett kijelents tfogalmazhat nem igaz, hogy (p s nem q) alakra, de nincs minden nem igaz, hogy (p s nem q) sszettelnek ha p, akkor q alak rtelmes megfogalmazsa. Megjegyezzk, hogy a ha p, akkor q alak mondat rendszerint csak akkor rtelmes, ha a komponensek kztt tartalmi s oksgi kapcsolat is van. Az eddigiek alapjn egy j logikai mveletet rtelmezhetnk: Legyen p, q tetszleges kijelents. A nem igaz, hogy (p s nem q) sszetett kijelentst a p s q kijelentsek implikcijnak nevezzk, s pq-val jelljk, azaz: 57

A LOGIKA ELEMEI pq := (p q). A p-t eltagnak, a q-t uttagnak nevezzk. Az implikci logikai rtkt a definci alapjn rtelmezzk:

A definci rtktblzattal: |p| i i h h |q| i h i h |pq| i h i i

A definci ngyzetes rtktblzatba foglalva: q i i i p h i h h i

Kt kijelents implikcijnak logikai rtkt teht csak akkor tekintjk hamisnak, ha az eltag igaz, az uttag hamis logikai rtk. Az implikci tetszleges p, q kijelentsre teljesl, egyszer tulajdonsgait foglaljuk ssze a kvetkez rszben. Ttel. T15. Az implikci nem kommutatv, azaz |pq| |qp|. T16. Az implikci nem asszociatv, azaz |(pq)r| |p(qr)|. T17. Az implikci nem idempotens, azaz |pp| |p|. Ezek a tulajdonsgok knnyen igazolhatk logikai rtktblzattal. Megjegyezzk, hogy a pq kijelents megfordtsnak nevezzk a qp kijelentst. Az albbiakban elszr kt implikcit s azok megfordtst fogalmaztuk meg. Plda: Ha kosnak j a bizonytvnya, akkor megkapja a kerkprt. Ha kos megkapja a kerkprt, akkor j a bizonytvnya. Ha egy ngyszg hrngyszg, akkor a szemben fekv szgeinek az sszege 1800. Ha egy ngyszg szemben fekv szgeinek az sszege 1800, akkor a ngyszg hrngyszg. Ttel. T18. Az implikcira igaz a kontrapozcis tulajdonsg, azaz: |pq| = |qp|. Bizonyts: A kvetkez rtktblzat bizonytja a ttelt: 58

A LOGIKA ELEMEI |p| i i h h |q| |(pq)| |q i i h h h i i i h h i i 1 i h i i 2 p| h h i i 1

A kontrapozcis tulajdonsg nyelvi vetleteit szemllteti a kvetkez plda: Plda: a) Ha jtk kzben elestem, akkor eltrt a kezem. b) Ha nem trt el a kezem, akkor nem estem el jtk kzben. Az a) s b) mondatok nyelvileg klnbzek, de logikai rtkk egyenl. A matematikban a ha p, akkor q alak kijelentseket ltalban ttelek kimondsakor szoks mg az albbi mdon is megfogalmazni: - q akkor, ha p; - p elgsges felttele q-nak; - q teljeslshez elegend p teljeslse; - q szksges felttele p-nek; - p teljeslshez szksges q teljeslse. Pldul: a) Ha a egsz szm oszthat 4-gyel, akkor 2-vel is oszthat. -a oszthat 2-vel akkor, ha a oszthat nggyel. -2-vel val oszthatsg elgsges felttele a 4-gyel val oszthatsg. -2-vel val oszthatsg szksges felttele a 4-gyel val oszthatsgnak. b) Ha egy hromszg egyenl oldal, akkor a hromszg hegyesszg. - Egy hromszg hegyesszg, ha egyenl oldal. - Egy hromszg oldalainak egyenlsge elgsges felttel ahhoz, hogy a hromszg hegyesszg legyen. - Ahhoz, hogy egy hromszg egyenl oldal legyen, szksges, hogy mindhrom szge hegyesszg legyen. Egy ha p, akkor q alakban megfogalmazott ttel bizonytsnl a p lltsbl indulunk ki, s ebbl igazoljuk a q llts helyessgt. A kontrapozcis tulajdonsg alapjn a bizonyts elvgezhet gy is, hogy a q lltsbl indulunk ki s p lltst igazoljuk. Plda: Pldul ha az elz tteleket akarjuk bizonytani, akkor egyenrtk, ha a kvetkezket bizonytjuk: - Ha az a szm nem oszthat 2-vel, akkor nem oszthat 4-gyel sem. - Ha egy hromszg nem hegyesszg, akkor nem is egyenl oldal.

59

A LOGIKA ELEMEI 4.3.11 Az ekvivalencia

Legyen p s q kt tetszleges kijelents. Kpezzk a pq ; qp kijelentseket. Mivel az implikci nem kommutatv tulajdonsg mvelet, ez a kt implikci ltalban klnbz logikai rtk. A pq, qp implikcik konjunkcival egy j logikai mveletet rtelmeznk. Legyen p, q tetszleges kijelents. A p, q kijelentsek ekvivalencijn rtjk s pq-val jelljk a kvetkezt: pq := (pq) (qp). A pq kifejezs olvassa: p ekvivalens q-val. Az ekvivalencia logikai rtktblzata a definci alapjn gy adhat meg: |p| i i h h |q| |(pq)| |(qp)| |(pq)| i i i i h h i h i i h h h i i i

A definci ngyzetes rtktblzatba foglalva: q i h i i h p h h i A feltntetett rtktblzat szerint pq logikai rtke akkor igaz, ha p-nek s q-nak azonos a logikai rtke. Az ekvivalencia logikai mveletre tetszleges p, q kijelents esetn teljeslnek a kvetkez tulajdonsgok: Ttel. T19. Az ekvivalencia kommutatv, azaz |pq| = |qp| T20. Az ekvivalencia asszociatv, azaz |(pq)r| = |p(qr)| . A ttelek logikai rtktblzattal igazolhatk, a feladatok kztt ezt a ttelt is megtallja a megoldsval egytt. Az ekvivalencinak megfelel ha p, akkor q s ha q, akkor p kijelentseket a matematikban q akkor s csak akkor, ha p, illetve p szksges s elgsges felttele qformban szoks megfogalmazni. Plda: a) Egy hromszg akkor s csak akkor egyenl szr, ha kt szge egyenl. b) Egy a egsz szm 10-zel val oszthatsgnak szksges s elgsges felttele, hogy a szm tzes szmrendszerben felrt alakja 0-ra vgzdjn. Az ekvivalencia segtsgvel megfogalmazott tteleket a matematikban kritriumo knak is nevezzk. 60

A LOGIKA ELEMEI 4.3.12 Feladatok

A kvetkezkben nhny feladatot jellnk ki a Logika mveletei alfejezeteihez.

Negci
1) Kpezzk a kvetkez kijelents (a) egy- s (b) ktszeres tagadst! Esik az es. 2) Kpezzk a kvetkez kijelents (a) egy- s (b) ktszeres tagadst! 1 kisebb, mint 2. 3) Kpezzk a kvetkez kijelents (a) egy- s (b) ktszeres tagadst! Ez a paralelogramma ngyzet. 4) Kpezzk a kvetkez kijelents (a) egy- s (b) ktszeres tagadst! 3+2=5. 5) Kpezzk a kvetkez kijelents (a) egy- s (b) ktszeres tagadst! kos j tanul. 6) Kpezzk az albbi kijelents (a) egy- s (b) ktszeres tagadst! Ezeket fogalmazzuk meg tbbflekppen is! Az iskola minden tanulja szereti a matematikt. 7) Kpezzk az albbi kijelents (a) egy- s (b) ktszeres tagadst! Ezeket fogalmazzuk meg tbbflekppen is! 11 kisebb, mint 7. 8) Kpezzk az albbi kijelents (a) egy- s (b) ktszeres tagadst! Ezeket fogalmazzuk meg tbbflekppen is! A 4 pozitv szm. 9)Hatrozzuk meg a p kijelents ngyszeres s tszrs negcijnak ( p, p) logikai rtkt! ltalnostsuk a feladatot!

Konjunkci
11) Kpezzk a kijelentsek konjunkcijt s hatrozzuk meg a logikai rtkket! A megoldsnl a kijelentsek logikai rtkt matematikai ismereteink alapjn llaptsuk meg! a) p := 7 osztja 14-nek q := 100 nagyobb, mint 3 b) p := A ngyzet skidom. q := A ngyzet nem paralelogramma.

Diszjunkci
12) Igazoljuk, hogy a diszjunkci kommutatv, azaz 61

A LOGIKA ELEMEI Brmely p,q,r kijelentsre: |pq| = |qp|! 13) Igazoljuk, hogy a diszjunkci asszociatv, azaz Brmely p,q,r kijelentsre: |(pq)r| = |p(qr)|.

De Morgan azonossg
14) Igazolja a De Morgan azonossgokat a diszjunkcira s a konjunkcira nzve!

Implikci
15) Igazolja, hogy brmely p kijelentsre : |p p||p| (Az implikci nem idempotens.)

Ekvivalencia
16) (a) Fogalmazzuk meg a kvetkez kijelentspr ekvivalencijt tbbflekppen is! (b) Hatrozzuk meg a logikai rtkt! p:= Az n egsz szm 0-ra vgzdik. q:= Az n egsz szm pros.

4.4

SSZEFOGLALS

A logika tudomnya a gondolkodssal foglalkozik. A gondolkodst termszetesen nem mint lelki folyamatot vizsglja, hanem csak az gynevezett gondolatformkat, ezeknek egymssal val kapcsolatt s ezt a kapcsolatot ltrehoz logikai mveletet. Kzponti problmja a helyes kvetkeztetsek fogalmnak szabatos tisztzsa. lltson vagy kijelentsen olyan kijelent mondatot rtnk, amely egyrtelmen igaz vagy hamis; teht a) nem lehet igaz is, hamis is (az ellentmondstalansg elve), b) nem lehet az, hogy se nem igaz, se nem hamis (a kizrt harmadik elve). 4.5

NELLENRZ KRDSEK

3)Fogalmazzuk meg az ellentmondstalansg s a harmadik kizrsnak az elvt! 5) Mit rtnk logikai mveleten? 6) Definiljuk a negcit s adjuk meg logikai rtktblzatt! ELLENRZ KRDSEK (2) 1) Definiljuk a konjunkcit s adjuk meg ngyzetes logikai rtktblzatt! 2) rjuk fel a konjunkci kommutatv s asszociatv tulajdonsgt! 3) Definiljuk a diszjunkcit s logikai rtkt! 4) Kommutatv s asszociatv tulajdonsg-e a diszjunkci? (Bizonytsuk be!) 5)Kpezzk a kvetkez kijelentsprok konjunkcijt s diszjunkcijt! a) Pista szke. Pista szemveges. b) Esik az es. 62

A LOGIKA ELEMEI Fj a szl. Ez a paralelogramma nem rombusz. Ez a paralelogramma tglalap. d) 3 nagyobb, mint 1. 2 kisebb, mint 3. 6)Mit jelent az, hogy a konjunkci a diszjunkcira (diszjunkci a konjunkcira) disz tributv? Bizonytsuk be a disztributv tulajdonsgokat! 7)rjuk fel s bizonytsuk be a De Morgan kpleteket! 8)Kpezzk a kvetkez kijelentsek tagadst s fogalmazzuk meg tbb-flekppen! a) A legjobb bartom levelet rt vagy megjtt a vonattal. b) A legjobb bartom levelet rt s megjtt a vonattal. c) A 9 nem pros s oszthat 3-mal. d) A 15 pros vagy oszthat 4-gyel. c) ELLENRZ KRDSEK (3) 1) Definiljuk az implikcit s adjuk meg logikai rtktblzatt! 2) rjuk fel s bizonytsuk be az implikci tulajdonsgait! 3) Fogalmazzuk meg a kvetkez kijelentsprok implikcijt! a) Esik az es. Fj a szl. b) 3 nagyobb, mint 1. 2 kisebb, mint 3. c) Ez a paralelogramma nem rombusz. Ez a paralelogramma tglalap. (Az implikci eltagja elszr legyen az els, uttagja pedig a msodik kijelents. F ogalmazzuk meg fordtott sorrendben is. Abban az esetben, ha az implikci ha, akkor tpus megfogalmazsa srti nyelvrz-kn-ket, akkor az implikcit nem igaz, hogy , s nem formban fogalmazzuk meg) 4)Definiljuk az ekvivalencit! rtelmezzk az ekvivalencia logikai rtkt! 5)Milyen tulajdonsgai vannak az ekvivalencinak? Bizonytsuk be ezeket! 6)Fogalmazzuk meg a 3) feladatban szerepl kijelentsprok ekvivalencijt (tbbflekppen is)! 7)rjuk le az albbi sszetett kijelentsekben szerepl egyszer kijelentseket! Milyen logikai mvelettel keletkezett az sszetett kijelents? a)Ez a cg csak akkor kaphat hitelt, ha megsznteti vesztesges termkeinek a gyrtst. b)Ezen cg hitelfelvtelnek szksges s elgsges felttele, hogy megszntesse ves ztesges termkeinek a gyrtst.

63

A LOGIKA ELEMEI

5. A HALMAZELMLET
5.1

CLKITZS

A naiv halmazelmlet fogalmait, alapvet eredmnyeit trgyaljuk. A halmazelmlet szerepnek tisztzsa utn a legfontosabb halmazokkal kapcsolatos mveletek def inilsa kvetkezik. A fejezet alapvet clja, hogy a prediktumlogikai bizonytsok alapjul szolgljon. 5.2

TARTALOM

A halmazelmlet Mveletek halmazokkal Az uni (egyests) A metszet (kzs rsz) A klnbsg (differencia) A komplementer (kiegszt) halmaz A naiv halmazelmlet Feladatok

5.3
5.3.1

A TANANYAG KIFEJTSE
Halmazelmlet

A halmazok ltalnos tulajdonsgaival a matematiknak egy, a 19. sz. vgn kialakult kln ga, a halmazelmlet foglalkozik. A halmazelmlet a matematika nll fejezetv csak a 19. szzad utols negyedben vlt G. Cantor (18451918) nmet matematikus munkssga nyomn. Ltrejttt annak ksznhette, hogy elfogadtk a halmazok tetszl eges kpezhetsgt. A halmazelmlet pontosabban 1873-ban szletett meg, amikor G. Cantor bebizonytotta, hogy a vals szmok halmaza nem megszmllhat. Maga Cantor alkotta meg a legfontosabb fogalmakat, melyeket itt trgyalunk. A halmazalgebra szimbolikja s eredmnyei a matematika klnfle rsz terleteinek egysges trgyalsra szolglnak, s fontos szerepk van a gyakorlati alkalmazsoknl (pl. szmtgpek). A halmazokkal val foglalkozs a matematika alapjainak kutatst meghatrozan befolysolta, mivel a halmazok trgyalsnl az eredetileg Cantor ltal adott definci alapjn ellentmondsokat lehetett konstrulni. Ennek ellenre mg ma is nagymrtkben ezt a defincit veszik alapul, de elkerlik olyan halmazok alkotst, amelyek ellentmondsosnak bizonyultak. Ezt az n. naiv halmazelmletet a ksbbiekben trgyaljuk. Ezek az ismeretek a korbbi tanulmnyok sorn mr biztosan elfordultak, a matematikai tanulmnyainkhoz s az iskolai matematikatantshoz alapveten szksgesek. A halmazelmlet felptsnl a kvnatos szigorsgot a halmaz defincijnak precz leszktsvel, amelynek sorn valamennyi, a matematika szmra jelents tulajdonsg megmarad, az axiomatikus halmazelmletben rjk el, ami a trgyalsunkbl kimarad. A mindennapi letben is gyakran hasznljuk a kvetkez szavakat: sokasg, sszessg, tmeg, csoport, halmaz. Pldul: a csillagok ,,sokasga; a dolgozk sszessge; a fogalmak tmege; a kirndulk csoportja; a termszetes szmok ,,halmaza 64

A LOGIKA ELEMEI stb. Valamennyi esetben hasznlhatjuk a halmaz elnevezst is: a csillagok halmaza; a dolgozk halmaza; a fogalmak halmaza; a kirndulk halmaza. Ezek s sok hasonl plda alapjn absztrakcival alakthatjuk ki a halmaz fogalmt. A halmaz bizonyos meghatrozott, klnbz (valsgos vagy gondolatban kialaktott) objektumoknak (dolgoknak) az sszessgt jelenti. Ez nem tekinthet a halmazfogalom defincijnak, csupn ms szavakkal val krlrsnak. A halmaz fogalmt e tankny vben alapfogalomknt, azaz definci (rtelmezs) nlkl elfogadott fogalomknt haszn ljuk. A halmazt alkot objektumok (dolgok) a halmaz elemei. Egy halmazban annak min degyik eleme csak egyszer fordul el. Az elem fogalmt is alapfogalomknt hasznljuk. A halmaz alapfogalom. Trgyak, dolgok, fogalmak bizonyos szszessgt halmaznak nevezzk. A matematikban a halmaz, az elem s az elemnek lenni, azaz hogy egy dolog eleme-e a halmaznak, alapfogalmak, teht ezeket nem definiljuk. Halmazt alkotnak pldul egy iskola 8. osztlyos tanuli; a polcon lv knyvek; egy egyenes pontjai stb. Egy halmaznak brmik lehetnek elemei, mg akr halmazok is. A halmazokrl is egyszerbb beszlni, ha csak a jellssel hivatkozunk rjuk. A halmazokat nagy betkkel (A, B, , H, J, K, ), az elemeket kis betkkel (a, b, c, ...) jelljk. A halmaz elemeit kapcsos zrjelek kz rjuk. Egy halmaz megadsa a halmaz elemeinek a megadst jelenti. Ez a kvetkez mdok valamelyikvel trtnhet: 1) Az elemek felsorolsval (minden elemet csak egyszer sorolunk fel) Plda: H:={1,2,3,4} Ezt gy olvassuk: H (halmaz) elemi legyenek 1, 2, 3, 4. 2) Az elemek kzs tulajdonsgnak a megadsval (vagy a rjuk vonatkoz kapcsolattal). H:={x| x a T tulajdonsggal rendelkezik} Ezt gy olvassuk: A H halmaz azon x elemekbl ll, amelyek ren-del-keznek a T tulajdonsggal. Plda: Pl: H:={x|x termszetes szm s x osztja 24-nek}

Egy adott H halmaz esetn azt, hogy a eleme a halmaznak az a H, a tagadst, azaz, hogy nem eleme az a H szimblummal jelljk. Plda: H:={1,2,3,4} 2 H Ezt gy olvassuk: 2 eleme a H (halmaz)-nak 7 H 65

A LOGIKA ELEMEI Ezt gy olvassuk: 7 nem eleme a H (halmaz)-nak Egy-egy problma trgyalsa esetn megadunk egy alaphalmazt. Alaphalmaznak nevezzk azt a halmazt, amelynek elemeit egy feladat megoldsa sorn figyelembe vesszk. Az alaphalmazt vagy ms szval univerzumot U-val jelljk. Plda: 1) U:={1,2,3,4,5,6,7,8,9} H:={3-mal oszthat szmok}={3,6,9} A 6 oszthat 3-mal, teht eleme a H halmaznak; ezt 6 H-val jelljk, az 5 nem oszthat 3-mal, ezrt nincs a H halmazban, ennek jellse pedig 5 H. res halmaznak nevezzk azt a halmazt, amelyiknek egyetlen eleme sincs. Jele: . Plda: 1. T:={x|x A mai Magyarorszg tengeri kikti}, 2. V:={x|x 8-nl kisebb, de 13-nl nagyobb vals szm}, 3. M:={x|x a vilgrben jrt magyar rhajsn} Mindhrom res halmaz, azaz T=, V=, M= Amint mr emltettk, egy halmaznak halmazok is lehetnek elemei, ekkor halmazok halmazrl beszlnk. Pldul: H={, K, L}, A H halmaznak hrom eleme van, az res halmaz, a K s az L halmaz. Ha a H s K halmazok elemei ugyanazok, akkor azt mondjuk, hogy a kt halmaz egyenl; jele: H=K. Plda: H:={8-nl kisebb pros termszetes szmok}, K:={ 7-nl kisebb, 2-vel oszthat termszetes szmok}. Ennek a kt halmaznak ugyanazok az elemei, teht H=K. A rszhalmaz fogalma. Ha H halmaz minden eleme a K halmaznak is eleme, akkor a H halmazt a K halmaz rszhalmaznak nevezzk. Jele: H K. A H K jells azt jelenti, hogy H nem rsze a K-nak. A valdi rszhalmaz fogalma. A H K szimblum jelentse: H rsze a K-nak, de H nem egyenl K-val. H valdi rsze K-nak. A jel a valdi tartalmazs jele. Plda: H:={0,4,8}; K:={0,2,4,6,8,}. H K, mert a H halmaz minden eleme a K halmaznak is. A K halmaznak a H halmaz elemein kvl van mg ms eleme is, ezrt H valdi rsze K-nak, azaz H K.

66

A LOGIKA ELEMEI *animci* Az elz defincik alapjn belthatk a kvetkez lltsok. -Minden halmaz rszhalmaza, de nem valdi rszhalmaza nmagnak. -Az res halmaz minden halmaznak rszhalmaza. -Tetszleges H s K halmaz akkor s csak akkor egyenl, ha H rsz-hal-maza K -nak s K is rszhalmaza H-nak. -Ha H K s K L, akkor H L. A halmazokat krlapokkal (esetleg ms skbeli zrt alakzattal) szemlltetjk. Ezeket az brkat Venn-diagramoknak nevezzk. Plda: Szemlltessk a H:={x|x N, 2 osztja x-nek, s x<11} halmazt a termszetes szmok (N = {0, 1, 2, 3, ...} halmazn (8. kp).

8. kp 5.3.2

A H halmaz szemlltetse a termszetes szmok (N) halmazn

Mveletek halmazokkal

A halmazokkal kapcsolatos mveletek kt vagy tbb halmaz elemei kzti viszony meghatrozsra adnak mdot. A mveletek egy rszt naponta hasznljuk, csak nem gondolunk a matematikra. Amikor sszegyjtjk a klnbz rkon kszlt jegyz eteket egy ttelhez, amikor a kt barti krbl tallgatjuk, hogy ki kinek szimpatikus, vagy a tanegy sglistrl kivlogatva az adott szemeszterben felvett trgyakat, nos, ezekben az esetekben halmazmveleteket hajtunk vgre. A mveletek teht ismertek, kt halmaz elemeit egyesthetjk, tekinthetjk kt halmaz kzs elemeit, egy halmazbl kizrhatjuk egy msik elemeit stb. A mveletek mellett fo ntosak a mveletek tulajdonsgai (asszociativits, kommutativits, disztributivits, idempo tencia, abszorpci) is, amelyek mr nem hangzanak ismeretlenl. Tekintsk t szakszava kkal ezt a tmakrt!

67

A LOGIKA ELEMEI 5.3.3 Az uni (egyests) A H s a K halmazok unijn vagy egyestsn azoknak az elemeknek a halmazt rtjk, amelyek a H s K halmazok kzl legalbb az egyiknek elemei. Jele: H K. Plda: 1. H:={0,3,6,9,12}, K:={0,4,8,12}, H K= {0,3,4,6,8,9,12}. Venn-diagrammal szemlltetjk a termszetes szmok halmazn (9. kp)

9. kp

A H halmaz s a K halmaz unija

A satrozott skrsz a mvelet eredmnyeknt elllt halmazt szemllteti. (Ezt a jellst kvetjk a tovbbiakban is.) 2. A pros szmok s a pratlan szmok halmaznak unija az egsz szmok halmaza, amelyet Z-vel jellnk. Azaz, Z={..., -2, -1, 0, 1, 2, ...}. 5.3.4 A metszet (kzs rsz) H s K halmazok metszetn vagy kzs rszn mindazon elemek halmazt rtjk, amelyek H-nak s K-nak is elemei. Jele: H K. Ha H K=, akkor H-t s K-t idegen vagy diszjunkt halmazoknak nevezzk. Plda: 1. H:={0,3,6}, K:={0,2,6}, H K = {0,6}. Venn-diagrammal szemlltetve a termszetes szmok halmazn (10. kp).

68

A LOGIKA ELEMEI

10. kp 2. H:= {x|x Z s -3<x<5}, K:={1,3,5,15}, H K = {1,3}.

A H halmaz s a K halmaz metszete

11. kp

A H halmaz s a K halmaz metszete

Megjegyezzk, hogy az uni s metszet mvelete tbb halmaz esetn is hasonlkppen rtelmezhet. Ha H K=, akkor H-t s K-t idegen vagy diszjunkt halmazoknak nevezzk. Plda: 1. H:={0,3,6,9,12}, K:={-1, -2, -3}, H K = Olvasva: H s K metszete res halmaz vagy rvidebben H s K halmaz diszjunkt halmazok.

69

A LOGIKA ELEMEI Legyenek H, K, L halmazok az U alaphalmaz tetszleges rszhalmazai. Az uni s a metszet kpzsre teljeslnek a kvetkez tulajdonsgok. Ttel. T21. H H=H s H H=H (idempotencia), T22. H K=K H s H K=K H (kommutativits), T23. (H K) L=H (K L) s (H K) L=H (K L) (asszociativits), T24. H (K L) = (H K) (H L) H (K L)=(H K) (H L) (disztributivits).

Ezek a tulajdonsgok knnyen igazolhatk Venn-diagrammal. A T24-es ttel (tulajdonsg) els rsznek igazolst szemllteti az 12. kp. A tbbi tulajdonsg igazolst vgezzk el nllan! Bizonyts:

12. kp 5.3.5

Az uni metszetre nzve disztributv tulajdonsgnak bizonytsa

Klnbsg (differencia) H s K halmazok klnbsgn azt a halmazt rtjk, amely azokat s csak azokat az elemeket tartalmazza, amelyek a H halmaznak elemei, de nem elemei a K halmaznak. Jellse: H\K.

Plda: H:={0,3,6,9,12}, K:={0,4,8,12}, H\K={3,6,9}. Venn-diagrammal szemlltetve:

70

A LOGIKA ELEMEI

13. kp

H s K halmaz klnbsge

Ttel Tetszleges H s K halmazokra rvnyesek a kvetkez tulajdonsgok: Ttel: T25. H\HH (H\H=) (nem idempotens), T26. H\KK\H (nem kommutatv), T27. (H\K)\LH\(K\L) (nem asszociatv). Bizonyts: A T26-os ttel tulajdonsgait szemllteti Venn-diagrammon a 14. kp. H\KK\H

71

A LOGIKA ELEMEI

14. kp 5.3.6

A halmazok klnbsge nem kommutatv tulajdonsg

Komplementer (kiegszt) halmaz H halmaz U alaphalmazra vonatkoz komplementer (kiegszt) halmazn rtjk azt a halmazt, amely U-nak H-hoz nem tartoz elemeibl ll. Jele: ~H, vagy a halmaz feletti vzszintes vonal (H).

Plda: Legyen U:={0,1,2,3,4,5,6,7,8,9,10} s H:={1,3,5,7,9}. Ekkor ~H = {0,2,4,6,8,10}. Venn-diagrammal brzolva (15. kp).

15. kp 72

A H halmaz U alaphalmazra vonatkoz komplementer halmaza

A LOGIKA ELEMEI Ttel: A definci alapjn knnyen belthatk a kvetkez tulajdonsgok: T28. ~ ~H= H T29. ~ = U T30. ~ U = T31. U \ H= ~H Ttel: Venn-diagrammal belthat a De Morgan azonossgok: T32. ~ (H K) = ~H ~K, T33. ~ (H K) = ~H ~K. 5.3.7 A szimmetrikus klnbsg H s K halmaz szimmetrikus klnbsgn rtjk a kt halmaz azon elemeit, melyek nem tartoznak a kt halmaz metszetbe. Jellse: Plda: Legyen H:={0, 1, 2, 3, 4} s K:={0, 2, 4, 6}. Ekkor H K = {1, 3, 6}. 5.3.8 A naiv halmazelmlet

A naiv halmazelmlet a halmazelmlet eredeti, a 19. szzadban kialakult formjnak elnevezse, amely megengedte tetszs szerinti halmazok kpzst. Az itt trgyalt halmazelmletet naiv halmazelmletnek szoks nevezni, szemben az axiomatikus halmazelmle ttel. Trgyalsunkban ugyanis nem soroltuk fel a felhasznland alapfogal makat, az ezekre vonatkoz aximkat, s azokat a logikai trvnyeket, amikre tmaszkodtunk. Nhny alapfogalmat mgis megemltettnk, mint pldul a halmaz, az elem fogalmt. A naiv halmazelmletnek az a feltevse, hogy korltlanul kpezhetnk halmazokat, ellentmondsokhoz vezetett: kiderlt, hogy halmazokbl, szmossgokbl tl sok van ahhoz, hogy egy halmazba lehessen tenni ket, ezrt a 20. szzad elejn kialakult az axiomatikus halmazelmlet, ami csak az aximk segtsgvel felpthet halmazok ltezst fogadta el.

Az axiomatikus halmazelmlet
A modern halmazelmlet felptsi formja, a tgabb rtelemben vett matematikai logika egyik fejezete. Mivel a naiv halmazelmlet korltlan halmazkpzsi eljrsai ellen tmondsokra vezettek, clja ketts: az ellentmondsok elkerlse rdekben nem engedi meg tetszleges halmazok szerepeltetst, hanem elrja a halmazok ltrehozsnak m dszereit, msrszt a matematika fogalmait (pl. fggvny, szmossg) a halmaz fogalmra vezeti vissza.

73

A LOGIKA ELEMEI 5.3.9 Feladatok

1) (a) Definilja a gymlcsk halmazt egyes elemeinek felsorolsval! (b) rja ezt rviden, matematikai jellssel is! (c) Adja meg a halmaz egy lehetsges alaphalmazt! (d) Adja meg a halaz egy elemt! (e) Adjon meg jellssel egy olyan elemet, ami nem ta rtozik a halmazba! 2) Az albbi halmazok kzl melyik res halmaz? a) R:={x|x repl fa}, b) H:={x|x hzas agglegny}, c) F:={x|x magyarorszgi folyk 2000-ben} 3) Melyik esetben neveztnk meg azonos halmazokat? a) U:={termszetes szmok}, H:={100-nl kisebb pros termszetes szmok}, K:={0-nl nagyobb pratlan termszetes szmok}. b) U:={magyarorszgi teleplsek 2000-ben}, H:={magyarorszgi megyeszkhelyek 2000-ben}, K:={Salgtarjn, Eger, Miskolc, Nyregyhza, Debrecen, Budapest, Kecskemt, Szolnok, Szeged, Bkscsaba, Pcs, Szekszrd, Szkesfehrvr, Tatabnya, Gyr, Veszprm, Zalaegerszeg, Szombathely, Kaposvr}. 4) Adott H:={0,5,10} s K:={0, 10} halmaz. Teljeslnek a kt halmazra a kvetkez lltsok? a) H K b) K H c) H K d) K H e) K H 5) Adott H:={x|x hsz s 30 v kztti magyar llampolgr} s K:={x|x hallgati jogviszonyban van egy hazai felsoktatsi intzmnyben} halmaz. Teljeslnek a kt halmazra a kvetkez lltsok? a) H K b) K H c) H K d) K H e) K H 6) Adott H:={2, 4, 6, 8, 10, 12, 14, 16} s K:={x|x 0 -nl nagyobb pros szm} halmaz. Teljeslnek a kt halmazra a kvetkez lltsok? a) H K b) K H 74

A LOGIKA ELEMEI c) H K d) K H e) K H 7) llaptsuk meg, hogy a H s K halmazok kzl rszhalmaza-e egyik a msiknak! a) H:={4,5}; K:={5,4}, b) H:={3,4,5}; K:={4,5,6}. 8) Legyen H:={-2, -1, 0, 1, 2} illetve K:={0, 2, 4,8,16} kt halmaz. Hatrozza meg az albbi halmazok elemeit! a) H K b) H K 9) Legyenek H, K, L halmazok az U alaphalmaz tetszleges rszhalmazai. Bizonytsa be az albbi tteleket! (Ezek a tulajdonsgok knnyen igazolhatk Venn-diagrammal.) Ttel. 1. ttel: H H=H (idempotencia), 2. ttel: H H=H (idempotencia), 3. ttel: H K=K H (kommutativits), 4. ttel: H K=K H (kommutativits), 5. ttel: (H K) L=H (K L) (asszociativits), 6. ttel: (H K) L=H (K L) (asszociativits), 7. ttel: H (K L) = (H K) (H L) (disztributivits). 8. ttel: H (K L)=(H K) (H L) (disztributivits). 10) Legyen H:={0,1, 2} s K:={0,3, 6,18} halmaz. Milyen elemei vannak a H\K s a K\H halmaznak? 11) Legyenek H, K halmazok az U alaphalmaz tetszleges rszhalmazai. Bizonytsa be az albbi tteleket! Ttel. 1. ttel: H\HH (H\H=) (nem idempotens) 2. ttel: H\KK\H (nem kommutatv) 3. ttel: (H\K)\LH\(K\L) (nem asszociatv) 12) Legyen U:={1, 2, 3, 4, 5} s H:={1, 5}. Hatrozza meg a H halmaz komplementer halmazt az U alaphalmazon! 13) Legyenek H, K halmazok az U alaphalmaz tetszleges rszhalmazai. Bizonytsa be az albbi tteleket! 75

A LOGIKA ELEMEI Ttel. 1. ttel: ~ ~H= H 2. ttel: ~ = U 3. ttel: ~ U = 4. ttel: U \ H= ~H 14) Legyenek H, K halmazok az U alaphalmaz tetszleges rszhalmazai. Bizonytsa be De Morgan azonossgokat! Ttel. 1. ttel: ~ (H K) = ~H ~K, 2. ttel: ~ (H K) = ~H ~K. 15) U:={x|x N s x20} H:={x|x N, 3 osztja x-nek s x20} K:={x|x N,4 osztja x-nek s x20} Kpezzk a kvetkez halmazokat! a) H K, b) H K, c) ~H d) H\K, e) K\H 16)Milyen kapcsolat van H s K halmaz kztt, ha a) H\K= s H K=H, b) H\K= s H K=H, c) H\K= s K\H=. 17)Teljesl-e minden H, K halmazra, hogy ((H\K) (K\H)) (H K)? 18)A halmazmveletekre vonatkoz tulajdonsgok alapjn bizonytsuk be, a kvetkez lltsokat, ahol H, K s L egy adott U alaphalmaza rsz-halmazai! a) H=(H K) (H ~K), b) H K=(H ~K) (H K) (~H K), c) U=(H ~K) K (L ~H) ~L

5.4

SSZEFOGLALS

A naiv halmazelmlet fogalmait, alapvet eredmnyeit trgyaltuk. A halmazelmlet szerepnek tisztzsa mellett a legfontosabb, halmazokkal kapcsolatos mveleteket definiltuk. A fejezet alapvet a prediktumlogikai bizonytsok alapjul szolglt.

76

A LOGIKA ELEMEI 5.5

1. 2. 3. 4. 5.

NELLENRZ KRDSEK
Hogyan adhatunk meg egy halmazt? Legyen H s K kt tetszleges halmaz. Mikor mondjuk, hogy H rszhalmaza (valdi rszhalmaza) K-nak? Definiljuk H s K halmaz unijt s metszett! Milyen tulajdonsgokkal re ndelkeznek ezek a mveletek? Mit jelent az, hogy a metszetkpzs (az unikpzsre), az uni-kpzs (a me tszetkpzsre) disztributv? Definiljuk H s K halmazok klnbsgt! Milyen tulajdonsgai vannak a klnbsg kpzsnek?

77

A LOGIKA ELEMEI

6. A KIJELENTSLOGIKA
6.1

CLKITZS

A kijelentsek logikai rtkt (igaz, hamis) figyelembe vve a kijelentsek kztt rtelmezett mveletekkel ellltott formulk alapjn egyszer kvetkeztetsekkel (kijelentslogikval) foglalkozunk. 6.2

TARTALOM

A formulk interpretcija A kvetkeztets Gyakran hasznlt kvetkeztetsi szablyok Levlasztsi szably (modus ponens) Elvev szably (modus tollens) Lncszably (feltteles szillogizmus) Az indirekt bizonyts A kontrapozci (elvetsi md) A diszjunktv szillogizmus (modus tollendo ponens)

6.3
6.3.1

A TANANYAG KIFEJTSE
A formulk interpretcija

Bizonytson egy lltsnak ms lltsoktl meghatrozott, logikai kvetkeztetsi szablyokkal val levezetst rtjk. Magtl rtetdik, hogy a matematikban nem lehet minden lltst bebizonytani anlkl, hogy rdgi krbe ne jutnnk. Ha megksreljk, hogy bonyolultabb lltsokat egyszerbbekre vezessnk vissza, akkor hamar olyan ttelekbe tkznk, amelyeket egyetlen korbbi ttelbl mr nem lehet levezetni. A matematikus ezrt klnbz rszterleteit aximkra, vagyis igaznak felttelezett lltsokra alaptja, amelyekhez a kvetkez bizonytsoknl vissza lehet nylni. Vgl is minden bizonytst aximkra lehet visszavezetni (aximarendszer). Hogy mit lehet egy aximarendszerbl levezetni, attl is fgg, hogy melyik logikai rendszer mellett dntnk, milyen kvetkeztetsi szablyokat engednk meg, amelyek igaz lltsokbl igaz lltso kra vezetnek. A kijelentslogika axiomatikus felptsvel mi nem foglalkozunk. A trgyals msik, ltalunk alkalmazott mdjt a kijelentsek durva szerkezet szerinti vizsglatnak nevezik. Elszr a kijelentsek igaz, hamis logikai rtkt figyelembe vve a formulkra pl egyszer kvetkeztetsekkel (kijelentslogikval) foglalkozunk. A kijelentslogika (kijelentskalkulus) kijelentseknek ebben az rtelmben vett (durva szerkezet szerinti) vizsgldsnak a hinyossgra hvjuk fel a figyelmet egy kvetkeztetsi feladat kapcsn. Plda: 1) Ha befejezdik a szemeszter, akkor elutazunk Sopronba. A komponensek legyenek a kvetkezk: v:= befejezdik a szemeszter 78

A LOGIKA ELEMEI s:= elutazunk Sopronba A tblzatban a kijelentst sszekapcsoljuk a komponensekkel s a mveletekkel: befejezdik a szemeszter v (Ha) akkor elutazunk Sopronba s

Az 1) kijelents kijelentslogikai szerkezete (formulja): vs. 2) Szeretem a nyarat s a tengert. A komponensek legyenek a kvetkezk: s:= szeretem a nyarat t:= szeretem a tengert A tblzatban a kijelentst sszekapcsoljuk a komponensekkel s a mveletekkel: szeretem a nyarat s s szeretem a tengert t

Az 2) kijelents kijelentslogikai szerkezete (formulja): st. A kijelentslogikai formulkban a zrjelprok a mveletek sorrendjnek biztostshoz szksgesek, gy egyrtelmv vlik, hogy a zrjelben lv mvelettel kezdjk a vgrehajtst. Ha nem szerepel zrjel, akkor elszr a negci mvelett hajtjuk vgre, majd balrl jobbra megllaptjuk az ppen soron kvetkez mvelet logikai rtkt. Ezt nevezzk a logikai mveletek vgrehajtsi sorrendjnek (prioritsnak). Plda: 3) Ha 12 oszthat 3-mal s 2-vel, akkor oszthat 6-tal is. A valsgban ezt sohasem tesszk, de a kijelents gy is elmondhat: Ha 12 oszthat 3-mal s 12 oszthat 2-vel, akkor 12 oszthat 6-tal is. A komponensek legyenek a kvetkezk: p:= 12 oszthat 3-mal. q:= 12 oszthat 2-vel. r:= 12 oszthat 6-tal. A tblzatban a kijelentst sszekapcsoljuk a komponensekkel s a mveletekkel, valamint a tblzat alatt szerepel a mveletek vgrehajtsnak sorrendje a zrjelnek megfelelen.

79

A LOGIKA ELEMEI 12 oszthat 3-mal (p 12 oszthat 2-vel q) (Ha) akkor 12 oszthat 6-tal r

s 1

2 A 3) kijelents kijelentslogikai szerkezete (formulja): (pq)r. 4) Ha logikbl vagy filozfibl vizsgzom, s felkszltem, akkor j osztlyzatot kapok, s nem leszek szomor. A komponensek legyenek a kvetkezk: p:= Logikbl vizsgzom. q:= Filozfibl vizsgzom. r:= Felkszltem. s:= J osztlyzatot kapok. t:= Szomor leszek. A tblzatban a kijelentst sszekapcsoljuk a komponensekkel s a mveletekkel, valamint a tblzat alatt szerepel a mveletek vgrehajtsnak sorrendje a zrjelnek me gfelelen. j nem logikbl filozfibl (Ha) vagy s felkszltem osztlyzatot s leszek vizsgzom vizsgzom akkor kapok szomor q) r) ((p (s t) 1 2 3 A 4) kijelents formulja: ((pq)r)(st). A kijelentslogikai formula egy interpretcijn a formulban szerepl kijelentsvltozk (p, q, r,) logikai rtknek megadst rtjk. Plda: Adjuk meg az elzekben szerepelt kt formula egy-egy interpretcijt! 1) A (pq)r formula egy interpretcija a kvetkez logikai rtkek megadsa: |p|=i ; |q|=h; |r|=i. 2) A ((pq))r)(st) formula egy interpretcija: |p|=i;|q|=i ; |r|=h; |s|=i; |t|=h 1

80

A LOGIKA ELEMEI Megjegyezzk, hogy ha a formulban elfordul kijelentsvltozk p1, p2, , pn (n1), akkor a mveletek defincija szerint a |p1|, |p2|,,|pn| logikai rtkek megadsa esetn a formula logikai rtke egyrtelmen meghatrozott. A formula sszes interpretcijnak a felrsa 2n sor rtktblzat megadsval lehetsges, mivel n kijelentsvltoznak 2n flekppen adhatunk logikai rtkeket. A 1) plda hrom vltozs, teht n=3. A plda formuljnak [(pq)r)] sszes interpetcijt szemllteti a kvetkez tblzat: Az interpretcik szma 23=8. interpretcik sorszma 1 2 3 4 5 6 7 8 |p| i i i i h h h h |q| i i h h i i h h |r| i h i h i h i h |(pq) i i h h h h h h 1 i h i i i i i i 2 r| i h i h i h i h 1

A 2) pldban szerepl ((pq)r)(st) formula t vltozs (n=5), ezrt az interpretcinak szma: 25= 32. Egy kijelentslogikai formult tautolginak, azonos igaz vagy rvnyes formulnak neveznk, ha minden interpretcira a formula logikai rtke igaz. Plda: A (pp)q formula azonosan igaz (tautolgia vagy rvnyes) mert: interpretcik sorszma 1 2 3 4 |p| i i h h |q| i h i h |(p h h h h 2 p) h h i i 1 i i i i 3 q| i h i h 1

Plda: 1) (p (pq))q formulnak hny interpretcija van? A formula azonosan igaz? Megolds: A formulban kt logikai vltoz szerepel (p, q), ezrt n=2. A 2 n kpletbe rva az n rtkt (22 = 4) megllapthat, hogy a formulnak 4 interpretcija van.

81

A LOGIKA ELEMEI interpretcik sorszma 1 2 3 4 |p| i i h h |q| i h i h |((p (pq)) q| i h h h 2 i h i i 1 i i i i 3 i h i h 1

A formula azonosan igaz formula, azaz tautolgia. Lthat ugyanis, hogy minden i nterpretci (sorok) esetn a formula logikai rtke igaz (vastag keret). 2)Hny interpretcija ltezik az albbi formulnak? Tautolgia az albbi formula? (pq) r Megolds: A formulban hrom logikai vltoz szerepel (p, q, r), ezrt n=3. (23 = 8) A formulnak 8 interpretcija van. interpretcik sorszma 1 2 3 4 5 6 7 8 |p| i i i i h h h h |q| i i h h i i h h |r| i h i h i h i h |(pq) i i h h h h h h 1 i h i i i i i i 2 r| i h i h i h i h 1

A formula nem rvnyes (nem tautolgia). A tblzatbl leolvashat ugyanis, hogy a msodik interpretci esetn a formula logikai rtke hamis (vastag keret). 6.3.2 A kvetkeztets

A kznapi letben s a tudomnyok terletn rendszeresen hasznlunk logikai kve tkeztetetsi eljrsokat. gy nevezzk azt a gondolkodsi folyamatot, amelynek sorn biz onyos lltsokbl gynevezett premisszkbl (felttelekbl) kvetkeztetnk valamilyen llts, gynevezett konklzi (zrttel) igazsgra. Helyes kvetkeztetsrl beszlnk, ha minden olyan esetben amikor a felttelek logikai rtke igaz, akkor a konklzi logikai rtke is igaz. A definci rtelmben, ha csak egyetlen egy olyan eset van, amikor a felttelek egy ttesen igazak, de a konklzi hamis, a kvetkeztets nem helyes.

82

A LOGIKA ELEMEI Plda Helyes-e az albbi kvetkeztets: a) 1. Ha az elem kimerlt, akkor nem szl az MP3-lejtszm. 2. Nem szl az MP3-lejtszm. 3. Az elem kimerlt. Ez a kvetkeztets nem helyes, ugyanis ha az elem nem merlt ki, akkor is elfordulhat, hogy nem szl az MP3-lejtszm, pldul meghibsods miatt. Pontosabb magyarzatot is adunk erre: A kvetkeztetsben szerepl kijelentsek a p s q egyszer kijelentsekbl plnek fel: p := Az elem kimerlt, q := Az MP3-lejtszm nem szl. Az els premissza p s q kijelentsek implikcija. Az elbbi jellst hasznlva a kvetkeztets szerkezete az albbi smval rhat fel: 1. pq 2. q 3. p Ksztsk el a kvetkez rtktblzatot: |p| i i h h |q| i h i h premisszk |pq| |q| i i h h i i i h konklzi |p| i i h h

Knnyen szrevehet, hogy a harmadik sorban olyan eset szerepel, amikor a premiszszk (pq, illetve q) egyttesen igazak, de a konklzi (p) hamis. Ez pedig a rtelmezsnk szerint elegend ahhoz, hogy a kvetkeztets ne legyen helyes. Nzznk egy jabb pldt! b) 1. Ha az elem kimerlt, akkor nem szl az MP3-lejtszm. 2. Az elem kimerlt. 3. Nem szl az MP3-lejtszm. Az elz feladatban hasznlt jellseket megtartva a kvetkeztets szerkezete a kve tkez: 83

A LOGIKA ELEMEI 1. pq 2. p 3. q Elksztve a logikai rtktblzatot: |p| i i h h |q| i h i h premisszk |pq| |p| i i h i i h i h konklzi |q| i h i h

Lthatjuk, hogy minden olyan (ebben a pldban csak egyetlen) esetben amikor a pr emisszk (pq, p) egyszerre igazak, igaz a konklzi (q) is. Teht ez a kvetkeztets mr helyes. A kvetkeztets rtelmezsbl addik, hogy tbb premissza helyett vehet egy, m gpedig azok konjunkcija. A konjunkci ugyanis pontosan akkor igaz, ha mindegyik ko mponens igaz. Pldul a feladatban szerepl pq , p premisszk helyett vehet a (pq)p. A kvetkeztets szerkezete ezrt a kvetkez alakban is felrhat: 1. (pq)p 2. q A fenti lers is rvidthet az albbi mdon: (pq)p q. A kvetkeztetsnek a a jele, amit olvasskor a kvetkezik szval helyettestnk. A kvetkeztetsek lersn ezutn ebben az egyszer formban is megtehet. 6.3.3 Kijelentslogikai korltok

A eddig lertakhoz szksges egy kis kiegszts, mert egyes kijelentseknl meglep eredmnyt kaphatunk. Megjegyzs a kvetkeztetsekhez: 1)Ha egy kvetkeztets helyes, akkor ez nem azt jelenti, hogy a benne szerepl kon klzi minden krlmnyek kztt igaz, hanem csak azt, hogy amikor a premisszk egy ttesen igazak, akkor igaz a konklzi is. 2)Egy kvetkeztets helyessge nem fgg a benne szerepl kijelentsek tartalmtl, hanem csak a kvetkeztets szerkezettl. 3)Ha a kijelentsek szerkezetnek feltartst az eddig megismert mdszerekkel vge zzk, akkor szmolni kell bizonyos ltszlagos ellentmondsokkal is. Ennek illusztrlsra vizsgljuk meg, hogy helyes-e az albbi kvetkeztets? 1. A paralelogramma tli felezik egymst. 2. A ngyzet paralelogramma. 3. A ngyzet tli felezik egymst. 84

A LOGIKA ELEMEI Ezt a kvetkeztetst matematikai ismereteink alapjn helyesnek tartjuk. A kijelentseket egyms utn jelljk a p, q, r-rel, gy a kvetkeztets: p q r. A kvetkeztets szerkezet bvebben: p q r Elksztve az rtktblzatot, lthat, hogy a kvetkeztets nem helyes, mivel t allhat olyan eset, amikor a premisszk egyttesen igazak a konklzi pedig hamis. (2. sor |p|=i, |q|=i de |r|=h): premisszk |p| |q| i i i i i h i h h i h i h h h h konklzi |r| i h i h i h i h

|p| i i i i h h h h

|q| i i h h i i h h

|r| i h i h i h i h

Ismereteink alapjn azrt tartjuk helyesnek a kvetkeztetst, mert figyelembe vesszk a kijelentsek tartalmt is. Ha a tartalomtl eltekintnk, s csak a szerkezetet vesszk f igyelembe, akkor a kvetkeztets nem helyes. A ltszlagos ellentmondst oka az, hogy nem tudtuk feltrni a kijelentsek kztti kapcsolatot. Hogy ezeket a ltszlagos ellentmondsokat is kikszbljk finomtani kell a mdszernket, ms szval fel kell trni a kijelentsek gynevezett finom szerkezett is. Ezzel a predikatumlogikban foglalkozunk, ahol erre a feladatra majd visszatrnk. 6.3.4 Gyakran hasznlt kvetkeztetsi szablyok

A kijelents- s a prediktumkalkulus szmra viszonylag knnyen lehet kvetkeztetsi szablyokat megadni, amelyek megengedik a szoksos tartalmi kvetkeztets szigor formulzst. A kvetkeztetsi szablyok mindegyike megjelent mr a matematikai tanulmnyainkban, de sokkal tallkozhatunk a htkznapi beszdben is. Gondoljunk bele hnyszor hangzik el hasonl fejtegets. Ha Istvn eljn a szakestre, akkor Sra is. Ha Sra jn, akkor a testvre, Tibi is. Az elmondottakbl kvetkezik, hogy ha Istvn megjelenik a szakesten, akkor biztosan ott lesz Sra s Tibi is, ha Istvn nem megy el, akkor nem biztos, hogy a msik kt illet megjelenik, de ott lehet. A fentiekben az n. lncszablyt ismertettk, de szmos ms szably ltezik.

85

A LOGIKA ELEMEI 6.3.5 A levlasztsi szably (modus ponens)

Gyakran, teljesen magtl rtetden hasznljuk ezt a szablyt. Ha egy szm 0-ra vgzdik, akkor oszthat 5 tel. Ez a szm 0-ra vgzdik, teht ez a szm oszthat 5-tel. Milyen lltsokbl pl fel ez a kvetkeztets? p:= a szm 0-ra vgzdik q:= a szm oszthat 5-tel a) Ha egy szm 0-ra vgzdik, akkor oszthat 5 tel. b) Ez a szm 0-ra vgzdik, c) (teht) ez a szm oszthat 5-tel. Teht a kvetkeztets smja: (pq) p q Ttel: T34. p q Az elzekben mr igazoltuk, hogy ez a kvetkeztets helyes. 6.3.6 Az elvev szably (modus tollens) Ttel: T35. p q Plda: Ha 127 oszthat 6-tal, akkor (1+2+7=) 10 oszthat 3-mal. 10 nem oszthat 3-mal. 127 nem oszthat 6-tal. pq pq

Egyik leggyakrabban hasznlt kvetkeztetsi szably: (pq) q p

86

A LOGIKA ELEMEI A szably igazolsa: |p| i i h h |q| i h i h premisszk |pq| |q| i h h i i h i i konklzi |p| h h i i

Az rtktblzatbl lthat, hogy az elvev szably helyes kvetkeztets. 6.3.7 A lncszably (feltteles szillogizmus) Ttel: T36. qr pr A szably tmren lerva: (pq) (qr) pr Pldul: Ha egy szm oszthat 6-tal, akkor oszthat 2-vel is. Ha egy szm oszthat 2-vel, akkor a szm pros. Ha egy szm oszthat 6-tal, akkor a szm pros. A szably igazolsa: |p| i i i i h h h h |q| i i h h i i h h |r| i h i h i h i h premisszk |pq| |qr| i i i h h i h i i i i h i i i i konklzi |pr| i h i h i i i i pq

A lncszablyt hipotetikus szillogizmusnak is nevezik.

87

A LOGIKA ELEMEI A kvetkeztets helyes mert minden olyan esetben, amikor a premisszk egyszerre igazak, igaz a konklzi is. 6.3.8 Az indirekt bizonyts

A matematikban gyakran alkalmazzuk ezt a kvetkeztetsi szablyt. Az eljrs lny ege az, hogy egy p lltst gy bizonytunk be, hogy megmutatjuk, hogy a tagadsa nem lehet igaz, pldul azrt, mert akkor kt egymsnak ellentmond llts is bizonythat. A kvetkeztetsi szably smja: (pq) q p Ttel: T37. q p Pldul: 1) Tegyk fel, hogy c racionlis azm. a) Ha b+c racionlis szm, akkor b is racionlis szm. b) b nem racionlis szm. c) b+c nem racionlis szm. 2) a) Ha vges sok prmszm van, akkor nem igaz a szmelmlet alapttele. b) A szmelmlet alapttele igaz. c) Vgtelen sok prmszm van. A szably igazolst logikai rtktblzattal vgezzk el nllan! Megjegyezzk, hogy az indirekt bizonytsnak ez az alakja az elvev szably alkalmazst jelenti. 6.3.9 A kontrapozci (elvetsi md) pq

Ha egy sszetett mondatban a rszmondatokat velk logikailag ekvivalens (egyenrtk) kifejezsekkel helyettestnk, akkor az eredetivel logikailag ekvivalens mondatot kapunk. Plda: a) A versenyen (OTDK) csak jeles tanulk indulhatnak. Vele logikailag ekvivalens: Csak az indulhat a versenyen (OTDK), aki jeles tanul. Hiszen itt is csak a jeles tanulk indulhatnak, de nem kell minden jeles tanulnak indulnia. A htkznapi beszd emltett fordulataira pt a kontrapozcis kvetkeztetsi szably. Nzzk meg ezt a kvetkeztetsi mdot egy pldn keresztl!

88

A LOGIKA ELEMEI Plda: a) Ha az a szm oszthat 3-mal, akkor szmjegyeinek az sszege is oszthat 3-mal. b) Ha az a szm szmjegyeinek az sszege nem oszthat 3-mal, akkor a szm nem oszthat 3-mal. A kvetkeztets smja: pq qp Ttel: T38. qp Igazolsa logikai rtktblzattal: |p| i i h h |q| |p| |q| i h h h h i i i h h i i premissza |pq| i h i i konklzi |qp| i h i i pq

6.3.10

A diszjunktv szillogizmus (modus tollendo ponens)

A szably jelekkel lerva: (pq) p q A kvetkeztets smja: Ttel: T39. p q Plda: A b szm oszthat 2-vel vagy 3-mal. A b szm nem oszthat 2-vel. A b szm oszthat 3-mal. A szably igazolst vgezzk el nllan! pq

89

A LOGIKA ELEMEI 6.3.11 Egy klns plda

A matematikai rejtvnyek, fejtrk egy rszt is meg lehet oldani a leckben lert kvetkeztetsek segtsgvel. Tekintsnk meg ehhez kapcsoldva egy pldt! Az gyben ngy lehetsges vdlott van, s el kell dnteni, hogy bnsk vagy rtatl anok, vagy esetleg ktsges-e a szerepk az adott lltsok alapjn. Ezek az lltsok a kvetkezk (premisszk): 1. Ha A s B mindketten bnsek, akkor C bntrs. 2. Ha A bns, akkor B s C kzl legalbb az egyik bntrs. 3. Ha C bns, akkor D bntrs. 4. Ha A rtatlan, akkor D bns. A konklzi elsknt az A, majd a B, ezutn a C, vgl a D bnssge, azaz ngy kvetkeztetst kell megnznnk, de az azonos premisszk miatt ezt elhelyezhetjk egyetlen tblzatba is. Formalizljuk az lltsokat! Legyenek elemi lltsok a kvetkezk: a: A bns b: B bns c: C bns d: D bns Ezek s a logikai mveletek felhasznlsval az lltsok: 1(a b) c 2.a (b c) 3. c d 4.a d

Feltve, hogy mind a ngy llts igaz a tblzatbl kiolvashatjuk, hogy csak D)-rl tudhatjuk biztosan, hogy bns, a tbbi gyanstott lehet rtatlan is, bns is. 90

A LOGIKA ELEMEI 6.3.12 Feladatok

1) Formalizljuk a kvetkez kijelentst! Feltve, hogy a szemtan megbzhat s az rsszakrt vlemnye helytll, a bncselekmnyt akkor s csak akkor kvettk el elre megfontolt szndkkal, ha a tallt ujjlenyomatok a tettestl vagy a tettestrstl szrmaznak. 2) rjuk fel a ((pq) r)q formula sszes interpretcijt! rvnyes-e a formula? 3) Igazolja, hogy az albbi sszefggs tautolgia: (pp)q! 4) Bizonytsa be a levlasztsi szablyt (modus ponens)! 1. pq 2. p 3. q 5) Helyes-e az albbi kvetkeztets? Ha nlam van a kulcs, akkor ki tudom nyitni az ajtt. Nlam van a kulcs. Ki tudom nyitni az ajtt. 6) Helyes-e az albbi kvetkeztets? Ha lmodom, akkor alszom. lmodom. Alszom. 7) Helyes-e az albbi kvetkeztets: Ha a benzin elfogyott az autbl, akkor az aut megll. Az aut megll. Elfogyott a benzin az autbl. 8) Helyes-e az albbi kvetkeztets? Ha a benzin elfogyott az autbl, akkor az aut megll. Nem fogyott el a benzin. Az aut nem ll meg. 9) Helyes-e az albbi kvetkeztets? Ha tartozom, akkor ads vagyok. Nem tartozom. Nem vagyok ads. 91

A LOGIKA ELEMEI 10) Helyes-e az albbi kvetkeztets? Ha egy hallgat vizsgzik, akkor felvette az adott tanegysget. Ha felvette az adott tanegysget, akkor hallgati jogviszonya van. Ha egy hallgat vizsgzik, akkor hallgati jogviszonya van. 11) Bizonytsuk be az indirekt bizonytst logikai rtktblzattal! 12) Helyes-e az albbi kvetkeztets? a) Ha szeretem igazn, akkor sszehzasodunk. b) Nem szeretem igazn. c) Nem hzasodunk ssze. 13) Helyes-e az albbi kvetkeztets? a) Ha a bartom, akkor moziba megyek vele. b) Ha nem a bartom, akkor nem megyek vele moziba. 14) Bizonytsuk be a diszjunktv szillogizmust logikai rtktblzattal! 15) Dntsk el az albbi kvetkeztets helyessgt! A b szm oszthat 2-vel vagy 3-mal. A b szm nem oszthat 2-vel. A b szm oszthat 3-mal. 16)Helyes-e az albbi kvetkeztets? a)Ha a logika vizsgn j ttelt hzok, akkor jelesre vizsgzom. b)Ha nem tanulom rendszeresen a logikt, akkor nem vizsgzom jelesre. c)Ha nem tanulom rendszeresen a logikt, akkor nem hzok j ttelt a logika vizsgn. 17) Helyes az albbi kvetkeztets? a) Ha 12 oszthat 3-mal, akkor 12 sszetett szm. b) 12 oszthat 3-mal. c) 12 sszetett szm. 6.4

SSZEFOGLALS

Egy p kijelents negcijn (tagadsn) a nem igaz, hogy p kijelentst (vagy ennek egy nyelvtanilag tfogalmazott alakjt) rtjk. Kt kijelents p s q konjunkcijn (sszekapcsolsn) a p s q kijelentst (vagy ennek egy nyelvtanilag tfogalmazott alakjt) rtjk. 92

A LOGIKA ELEMEI Kt kijelentsnek a megenged rtelm vagy ktszval val sszekapcsolsa olyan mvelet, amelynek a logikai rtkek krben a diszjunkci (sztvlaszts) mvelete felel meg: akkor s csak akkor hamis, ha mindkt kijelents hamis. Ha p, akkor q alak kifejezseket (p eltag s q uttag) implikcinak nevezzk. Ha p, akkor q, s ha q, akkor p alak kifejezseket ekvivalencinak nevezzk. Nhny helyes kvetkeztetsi forma: modus ponens, hipotetikus szi llogizmus, indirekt bizonyts. 6.5
1. 2. 3. 4. 5. 6.

NELLENRZ KRDSEK
Mit neveznk kijelentslogikai formulnak? Mit rtnk egy formula interpretcijn? Definiljuk a tautolgit! Milyen gondolkodsi folyamat a kvetkeztets? Mikor helyes egy kvetkeztets? Milyen kvetkeztetsi szablyokat ismernk?

93

A LOGIKA ELEMEI

7. A KIJELENTSLOGIKA ALKALMAZSAI
7.1

CLKITZS

Az informatikban az eszkzk (hardverelemek) tervezshez nlklzhetetlen ramkrk tervezsi alapjait tekintjk t. A cl, hogy az informatikai eszkzk adatkezelsnek elemi szintjt megismerjk. 7.2

TARTALOM

Logikai ramkrk A konjunkci, a diszjunkci, az imlikci, az ekvivalencia ramkri megvalstsa rtkes azonossgok Feladatok

7.3

A TANANYAG KIFEJTSE

Az informatikban az eszkzk (hardverelemek) tervezsnl, azok ramkreinek szszelltsnl gyakori problma, hogy a szksges feladatot ellt ramkrt milyen elemekbl, s hogyan kell sszelltani. A matematika logika ebben az esetben egy jl meghatrozott gyakorlati clt elgt ki. 7.3.1 Logikai ramkrk

A legegyszerbb esetekben kapcsolkbl (esetleg tbb, egyszerre mkdtethet kapcsolbl) s ramforrsbl, fogyasztkbl kell sszelltani egy megadott feladatot ellt ramkrt. Az ramkr megtervezshez jl hasznosthatjuk az tletkalkulus eszkzeit. Tekintsk t a szmunkra hasznlt logikai mveletek ramkri megvalsulst! A kijelentslogikai mveletek szemlltetsre kivlan alkalmasak a logikai ramkrk. Kztk a kapcsolatot az hozza ltre, hogy az ramkr zrt (vezet) vagy nyitott (nem vezet) helyzetnek megfeleltethetjk a mvelettel sszetett kijelents igaz vagy hamis logikai rtkt. Feleltessk meg a p, q kijelentseknek egy-egy kapcsolt a p, q kijelentseknek pedig egy-egy fordtott lls kapcsolt (16. kp).

23_K16.jpg 16. kp A kijelentseknek megfeleltetett kapcsol s fordtott lls kapcsol

A 20. brn vzlatosan szemlltetett ramkr kt, sorba kapcsolt kapcsolbl, egy ramforrsbl s egy fogyasztbl lmpbl ll.

94

A LOGIKA ELEMEI 7.3.2 A konjunkci

Annak a felttele, hogy az ramkrben ram folyjk az, hogy mindkt kapcsol a p s a q jel is bekapcsolt llapotban legyen. Legyen p, q rtke i (1) akkor, ha p, q kapcsol bekapcsolt llapotban van, egybknt rtke: h (0). Ekkor a lmpa vilgtsnak felttelt a kvetkez mdon irhat fel egyszer formban: pq.

17. kp

A konjunkci szemlltetse logikai ramkrrel

Ha a kijelents igaz, akkor a neki megfelel kapcsolt gondolatban lenyomjuk. Ezek felhasznlsval p, q konjunkcijt szemlltet ramkr a kt kapcsolt sorba ktve tartalmazza. Az ramkrbe helyezett izz csak akkor vilgt, ha mind a kt kapcsol egysze rre zrt, megfelelen annak, hogy p q csak akkor igaz, ha mind a kt komponens logikai rtke igaz. 7.3.3 A diszjunkci

A diszjunkcit is szemlltethetjk logikai ramkrrel. Knnyen belthat, hogy a p qnak olyan ramkr felel meg, amelyben a megfelel kapcsolk prhuzamos kapcsolsban vannak (lsd a 11. brn). Valban csak akkor vilgt az ramkrbe helyezett izz, ha p s q kapcsolk kzl legalbb az egyik zrt llapotban van, annak megfelelen, hogy pq kijelents akkor igaz, ha legalbb az egyik komponensnek igaz a logikai rtke.

18. kp 7.3.4 Implikci

A diszjunkci szemlltetse logikai ramkrrel

Az implikci mveletnek knnyebb megrtst itt is segti a logikai ramkr. (Ezt knnyen megrajzolhatjuk a De Morgan-azonossg alapjn: |pq|=|(p q)|= |p q|). Lthat, hogy az ramkrbe helyezett izz csak akkor nem fog vilgtani, ha |p|=i s |q|=h, mert csak ebben az esetben lesz mindkt prhuzamosan kttt gban megszaktva az ramkr. 95

A LOGIKA ELEMEI

19. kp 7.3.5 Az ekvivalencia

Az implikci logikai ramkre

Az ekvivalencia logikai ramkrt is megadhatjuk. Az izz csak akkor vilgt, ha a kapcsolk azonos llsban (vagy lenyomva vagy nem lenyomva vannak) annak megfelelen, hogy pq logikai rtke csak akkor igaz, ha a komponensek logikai rtke azonos.

20. kp 7.3.6 rtkes azonossgok

Az ekvivalencia logikai ramkre

A logikban teljeslnek az albbi azonossgok: 1) |pq|=|(pq)|, 2) |pq|=|(pq|, 3) |pq|=|(pq|, 4) |pq|=|pq|, 5) |pq|=|(pq)(qp)|, 6) |pq|=|((pq)(qp))|. A fentiekben megismert, rtktblzattal knnyen igazolhat azonossgok is mutatjk, hogy minden ktvltozs logikai mvelet kifejezhet negci s konjunkci, illetve negci s diszjunkci segtsgvel. Ezrt kijelenthetnk egy igen fontos ttelt, amit most kln bizonyts nlkl elfogadunk:

96

A LOGIKA ELEMEI Ttel: T40. Minden kijelentslogikai formula olyan alakra hozhat, amely kijelentsvltozk s a kijelentsvltozk negciinak a konjunkcija, illetve diszjunkcija. gy brmely kijelentslogikai formulnak megfeleltethetnk egy elektromos (logikai) ramkrt s fordtva. Ez teszi lehetv , hogy kijelentslogikai formulkat ramkrkkel, s az ramkrket kijelentslogikai formulkkal, matematikai mdszerekkel vizsgljuk. Plda: Ksztsk el a (pq) (qr) formula logikai ramkrt! Megolds: Felhasznljuk a fenti, 4) azonossgot, gy |pq| = |pq|, illetve |qr| = |qr|. Vegyk a kt kifejezs konjunkcijt, akkor |(pq) (qr)| = |(pq) (qr)| A (pq) (qr) logikai formulhoz kapcsold ramkr:

21. kp 7.3.7 Feladatok

A feladat logikai ramkre

1) rjuk fel annak felttelt, hogy a 22. kpen lthat ramkrben ram folyjon! (A q jel kapcsol a q jelvel ppen ellenttes mkds; kt azonos jel kapcsol egyszerre van nyitva, ill. zrva).

22. kp

Az 1. feladat kzzel rajzolt logikai ramkre 97

A LOGIKA ELEMEI 2) rjuk fel annak felttelt, hogy a 23. kpen lthat ramkrben ram folyjon! (A p, q jel kapcsol a p, illetve q jelvel ppen ellenttes mkds; kt azonos jel kapcsol egyszerre van nyitva, ill. zrva).

23. kp

A 2. feladat kzzel rajzolt logikai ramkre

3) Tervezznk olyan ramkrt, amelyek a kvetkez formulnak felel meg: (p(q r) r) ((p q r)! 4) Tervezznk olyan ramkrt, amelyek a kvetkez formulnak felel meg: ((p q r) t) ((p q r) s) (((q r t) p) ((r t) q) ( r t))) s! 5) Egy hlkocsiban hrom fekvhely van, mindhrom fekvhelyhez egy-egy kapcsol tartozik. A flkben egy kis s egy nagy lmpa van. A nagy lmpa akkor g, ha a tbbsg akarja, a kis lmpa, pedig akkor, ha csak egy utas kapcsol. Tervezzk meg az ramkrt!

7.4

SSZEFOGLALS

Az informatikban az eszkzk (hardverelemek) tervezsnl, azok ramkreinek szszelltsnl gyakori krds, hogy a szksges feladatot ellt ramkrt milyen elemekbl, s hogyan kell sszelltani. A matematika logika ebben az esetben egy jl meghatrozott gyakorlati clt elgit ki. Azt talltuk, hogy akr teljes diszjunktv normlforma, akr teljes konjunktv norm lforma alakban brmely igazsg fggvny elllthat a negci, a konjunkci s a diszjunkci mveletnek segtsgvel. 7.5
1.

NELLENRZ KRDSEK

Mit rtnk logikai rtelemben egy kijelents alatt? Mi az igazsgrtk? 2. Mi az igazsgtblzat szerepe? 3. Definilja a negcit, s adja meg igazsgtblzatt! 4. Definilja a konjunkcit, diszjunkcit, s adja meg igazsgtblzatukat ! 98

A LOGIKA ELEMEI
5. 6. 7. 8. 9. 10. 11.

Kommutatv-e, asszociatv-e a konjunkci? Bizonytsa be! Kommutatv-e, asszociatv-e a diszjunkci? Bizonytsa be! Definilja az implikcit, s adja meg igazsgtblzatt! Definilja az ekvivalencit, s adja meg igazsgtblzatt! Kommutatv-e az implikci s az ekvivalencia? Bizonytsa be! Mit neveznk logikai fggvnynek? Rajzoljuk fel az implikci s az ekvivalencia logikai ramkrt!

99

A LOGIKA ELEMEI

8. A PREDIKTUMLOGIKA ELEMEI
8.1

CLKITZS

Els fokozat prediktumkalkulus alapjaihoz szksges fogalmak, mint a prediktum, konkretizci, kvantifikci megismerse s gyakorlati szint elsajttsa. A prediktumok igazsghalmaznak, kvantifikci utni logikai rtknek megllaptsa, a prdiktumok tagadsa, mint feladatokban alkalmazand mveletek megtanulsa. 8.2

TARTALOM

A prediktumlogika szerepe A prediktum A konkretizci A prediktum igazsghalmaza A kvantifikci A prdiktum logikai rtke A prediktum tagadsa Feladatok

8.3
8.3.1

A TANANYAG KIFEJTSE
A prediktumlogika szerepe

A matematikai elmletek formalizlsra a kijetentskalkulus (kijelentslogika) mg nem elg, erre vonatkozan mr egy plda kapcsn tettnk megjegyzst a kijelents logiknl. A kijelentsek bels szerkezetnek a feltrsa gynevezett prediktumokkal trtnik ezrt foglalkozunk a prediktumlogika elemeivel. A leckben pontosabban az els fokozat prediktumkalkulust trgyaljuk. A kijelentsek tovbbi vizsglatnl szubjektumokba, prediktumokba s n. kvantifi kland beszdrszekbe tkznk, mint mindegyikre s ltezik. Szubjektumok individuumok meghatrozott, elre megadott halmazbl vett dolgok megjellsre szolgl nevek, a prediktumok, relcik nevei az individuumoknak ezen a halmazn. Az egy bemenetel prediktumokat tulajdonsgoknak is nevezzk. A prdiktumlogika trgyalsnl, azaz mveleteinl s az lltsok bizonytsnl ersen kapcsoldunk a halmazelmletnl tanultakra. A feladatok ilyen mdon trtn vizual izlsa a knnyebb megrtst clozza, gy mellzhetjk a hossz, nehezebben tlthat algebrai levezetseket. 8.3.2 A prediktum

A beszdnkben sokszor nem nevezzk meg konkrtan a kijelentsek alanyt. Az ilyen esetekben nem tudjuk megmondani, hogy a kijelentsnk igaz vagy hamis, de mgis kij elentsnek rezzk. Plda: Valaki megmondta az eredmnyt. Valamennyit hozz kell adni, s akkor megkapjuk a 100%-ot. 100

A LOGIKA ELEMEI Nhny vvel ezeltt kezdtem el lovagolni. Valamelyik kabt mg biztosan kaphat. A fenti esetek lersra az ltalnos iskolban az n. nyitott mondatokat hasznltuk, gy a feladatok megoldshoz egyszerbb a jegyzetels. A logikban az ltalunk mr ismert nyitott mondatot nevezzk prediktumnak. Plda: Nyitott mondatok: a) ( 3) / 11 = 250 b) gyors aut c) egy kellemes illat parfm Prediktumnak nevezzk az olyan kijelent mondatot, amely egy vagy tbb vltoztl fgg, s amely ezen vltozk minden megengedett rgztett rtkeire egy kijelentst ad. A prdiktumot nagy betvel jelljk: P, Q, R, T stb. A prdiktum teht egy vagy tbb vltoztl fgg, vagyis a vltozk helyre kell egy konkrt szemlyt, szmot, trgyat stb. berni. A vltozk egy konkrt halmaz elemei lehetnek , pl. szmok, geometriai alakzatok stb. A prdiktumok jellse (nagy betk) mellett a vltozkat felsoroljuk. Jellse tbbflekppen trtnhet: a) P, P, prediktumokban a , stb. jelek a vltozk. b) Qx, Ty, prediktumokban a x, y stb. jelek a vltozk. c) Rxyz prediktumban az x, y, z stb. jelek a vltozk. d) P(x1; x2; ; xn),...prediktumban az x1; x2; ; xn. jelek a vltozk. e) Px1x2xn,... prediktumban az x1; x2; ; xn jelek a vltozk. A jegyzetben a b) jellst hasznljuk az esetek tbbsgben, mert egyvltozs prediktumokkal foglalkozunk. A vltozk szmtl fggen beszlnk egyvltozs, ktvltozs, n-vltozs prediktumokrl. Plda a) Pxyz: x + y = z egy hrom vltozs prediktum, amelyben az x; y; z vltozk pl. vals szmok. P(5; 10; 15) : 5 + 10 = 15 igaz kijelents, mg P(13; 1; 21) : 13 + 1 = 21 pedig hamis kijelents. b) Tx: x > 0 egy, a vals szmok halmazn rtelmezett egyvltozs prediktum c) Sxy: x > y egy, az egsz szmok halmazn rtelmezett 2-vltozs prediktum. A vltozkrl fontos tudni, hogy egy adott prdiktum (nyitott mondat) a vltoz helyre melyik halmaz elemei kzl vlaszthatunk. Ezt a halmazt a halmazelmleti ismereteink alapjn alaphalmaznak (univerzumnak) nevezzk s U-val jelljk. Szabatosan mindezt gy is megfogalmazhatjuk, hogy a prediktumot az adott alaphalmazon rtelmezzk. Az alaphalmazt a feladatok tbbsge rgzti. Az alaphalmaz meghatrozsa el is maradhat a feladatokban, ha az egyrtelm, vagy a meghatrozsnak nincs nagy jelentsge.

101

A LOGIKA ELEMEI Plda: Az a), b), c) prediktumoknl alaphalmazok lehetnek pldul a kvetkezk: nyitott mondat a) + 2 = 3 b) jeles tanul c) bartja -nak matematikai jellssel x+2=3 x jeles tanul x bartja y-nak hivatkozs a logikban P, Px P, Px P, Pxy

a) U:={A termszetes szmok halmaza.} b) U:={Az els vfolyamos tanulk halmaza.} c) U:={Egy iskola tanulibl kpezett (rendezett) tanulprok halmaza.} 8.3.3 A konkretizci

A prediktum (nyitott mondat) nem kijelents, gy logikai rtk nem rendelhet hozz. Ha a htkznapi nyelvben azt mondjuk, hogy az a valaki a bartom, akkor nem tudjuk megmondani, hogy ez igaz vagy sem. Ahhoz, hogy igazz tegyk a valaki, vagyis a prdiktumban a vltozk helyett konkrt nevet kell szerepeltetni, pontosabban az alaphalmaz egy elemt. A lertakbl kvetkezik, hogy minden prediktumbl kaphatunk kijelentst. Konkretizcinak nevezzk azt a mveletet, amelyek sorn a prediktumban szerepl vltozk helyre az alaphalmaz konkrt elemt tesszk. Plda: A pontosabb megrtsrt nzzk a kvetkez feladatot: Tekintsk az U := {-4, -3, -2, -1, 0, 1, 2, 3, 4} univerzumon rtelmezett Nx := x pozitv szm s Px := x pros szm egyvltozs prediktumokat. Nx-bl s Px-bl kijelentst kapunk, ha x helyre az alaphalmaz konkrt elemt rjuk. - Vegyk pldul az N2 kijelentst, ami a 2 pozitv szm kijelents jellse. - Hasonlan P24 a 24 pros szm kijelents jellse. - Az gy kapott kijelentsekhez mr logikai rtk is rendelhet: |N2| = i, |P24|=i, de |N(-3)|=h, |P1| = h. 8.3.4 A prediktum igazsghalmaza

Lthat, hogy az alaphalmaz nem minden eleme teszi igazz a Px, illetve Nx prediktumokat. A prediktum igazsghalmaza: az alaphalmaz azon elemeinek az sszessgt, amelyekkel a prediktumokbl (nyitott mondatbl) konkretizcival elll kijelentsek igazak, az adott prediktum (nyitott mondat) igazsghalmaznak nevezzk. Plda: Ezen rtelmezs szerint feladatunkban szerepl Nx s Px prediktumok igazsghalmaza: {1, 2, 3, 4}, illetve {-4, -2, 0, 2, 4}. Az elzekben mr szerepelt a), b), c) prediktumok igazsghalmaza az alaptartomny esetn: a) prediktum igazsghalmaza az {1} halmaz, 102

A LOGIKA ELEMEI b) prediktum igazsghalmaza a 7. osztly jeles tanulinak halmaza; c) nyitott mondat pedig az iskola barti kapcsolatban lv tanulprjainak a halmaza. Gyakran tallkozunk a kvetkez vagy ezekhez hasonl mondatokkal is. a) Minden hallgat a vizsgit elsre abszolvlja. b) Van olyan ember, aki sportol s idegen nyelvet tanul. c) Minden ngyzet paralelogramma. d) Van pros prmszm. e) Minden paralelogramma ngyzet. f) Minden egsz szm oszthat 2-vel. Az a)-f) mondatok kijelentsek, mert egy adott alaphalmazon (univerzumon) vagy igazak vagy hamisak. A fenti kijelentsek logikai rtke jelents mrtkben fgg az alaphalmaz vlasztstl. Plda: Az a) kijelents logikai rtke pldul a hazai hallgatk halmazn nem igaz, de egy kivl kpessg csoport tagjainak halmazn lehet igaz. A b) kijelents a bolyg tanrainak halmazn igaz, ha a tapasztalatainkat figyelembe vesszk, de elkpzelhet egy olyan trsashz, amely a lakinak halmazn ez nem igaz. A c) kijelents logikai rtke pldul az Euklideszi geometriban a skbeli ngyszgek halmazn igaz, ezzel szemben az e) kijelents a skbeli ngyszgek halmazn hamis kijelents. A d) kijelents pedig az egsz szmok halmazn szintn a kzpiskolai tanulmnyaink alapjn igaz. Az f) kijelents az egsz szmok halmazn mint alaphalmazon, vagy az U := {1, 2, 5, 7, 8} alaphalmazon hamis, de mondjuk a pros egsz szmok halmazn igaz. Az a) f) kijelentsek a logikai tartalom megsrtse nlkl (az emltett alaphalmazokon) tfogalmazhatk a kvetkezkppen: a) Minden x-re igaz, hogy ha x hallgat, akkor x a vizsgit elsre abszolvlja. b) Van olyan x ember, amely x ember sportol s x ember idegen nyelvet tanul. c) Minden x-re igaz, hogy ha x ngyzet, akkor x paralelogramma. d) Van olyan x szm, hogy x pros szm s x prmszm. e) Minden x-re igaz, ha x paralelogramma, akkor x ngyzet. f) Minden x-re igaz, hogy ha x egsz szm, akkor x oszthat 2-vel. A kijelentsekben rendre az albbi prdiktumok szerepelnek: a) Hx := x hallgat; Vx := x a vizsgit elsre abszolvlja b) Sx := x ember sportol; Ix := x ember idegen nyelvet tanul c) Nx := x ngyzet; Px := x paralelogramma d) Qx := x pros szm; Tx := x prmszm e) Px := x paralelogramma; Nx := x ngyzet. f) Zx := x egsz szm; Kx := x oszthat 2-vel. Megfigyelhetjk, hogy a prediktumok a kijelentsek krben korbban megismert ktszavakkal kapcsoldnak. Plda: a d) alatt az s ktsz szerepel: 103

A LOGIKA ELEMEI az x pros szm s az x prmszm. Jellse: Qx Tx. 8.3.5 A kvantifikci

Az eddig megismert s hasznlt logikai mveleteket (, , , , ) alkalmazhatjuk a prediktumokra (nyitott mondatokra) is. Ezek eredmnye sszetett prediktum, teht sem a komponenseknek, sem a mveletek eredmnynek nincs logikai rtke. (Logikai rtket csak kijelentsekhez rendelhetnk.) Megfigyelhetjk, hogy az a)- f) mondatok mindegyike a minden x-re illetve a van olyan x szveggel kezddik. Ezeket x, illetve x szimblummal jelljk. A jelet univerzliskvantornak, a jelet egzisztencilis kvantornak, ezek prediktumokra val alkalmazst kvantifikcinak nevezzk. gy a (nyitott mondatoknl) prediktumoknl bevezetett jellsek felhasznlsval az elbbi kijelentsek rviden a kvetkezkppen rhatk fel: a) x (Hx Vx) U := {Magyarorszgon tanul hallgatk} b) x (Sx Ix) U := {Magyarorszg lakossga} c) x (Nx Px), U := {skbeli ngyszgek}, d) x (Qx Tx), U := {egsz szmok}, e) x (Px Nx), U := {skbeli ngyszgek}, f) x (Zx Kx) U := {Egsz szmok halmaza} Fontos tudni, hogy a minden sz helyettesthet a brmely, valamennyi, tetszleges, akrmelyik stb., illetve a van sz helyettesthet a ltezik, nhny, tallhat, elfordul stb. szavakkal. 8.3.6 A prdiktum logikai rtke

A minden x-re s a van olyan x szveg az olyan nyitott mondatokat, amelyekben vltozknt csak az x szerepel, kijelentsekk teszi. Ezek logikai rtkt a kvetkezk ppen rtelmezzk. Legyen Px prediktum, amely egy nem res alaphalmazon van rtelmezve. A minden x-re Px kijelents logikai rtke igaz, ha az alaphalmaz brmely a elemre Pa kijelents logikai rtke igaz; hamis, ha van az alaphalmaznak legalbb egy olyan b eleme, amelyre Pb logikai rtke hamis. A van olyan x, amelyre Px kijelents logikai rtke igaz, ha van az alaphalmaznak legalbb egy olyan c eleme, amelyre Pc logi104

A LOGIKA ELEMEI kai rtke igaz; hamis, ha az alaphalmaz minden d elemre Pd logikai rtke hamis. Plda: Az elmondottak gyakorlsra llaptsuk meg a kvetkez kijelentsek logikai rtkt: a)Van olyan ember, aki sportol. (Alaphalmaz:=hallgatk halmaza) b)Minden oktat szke. (Alaphalmaz:=hazai egyetemek s fiskolk oktati) Megolds: Az a) kijelents logikai rtke igaz, a b) kijelents logikai rtke hamis. 8.3.7 A prediktum tagadsa

A minden x-re Px, illetve a van olyan x, amelyre Px tpus kijelentsek tagadsnl a kvantor helyre a msik kvantort rjuk (a minden x-re, illetve a van olyan x, amelyre alakok felcserldnek), tovbb negljuk a prediktumot (Px helyett Px kerl). A bevezetett szimblumokkal: a) | x Px| = | x Px|, b) | x Px| = | x Px|. Plda: a) x Px tpus prdiktum: Minden hallgat vizsgzott. kznyelvi (helyes) tagadsa :Nem minden hallgat vizsgzott. negcija a fenti szably szerint ( x Px): Van olyan hallgat, aki nem vizsgzott. b) x Px tpus prdiktum: Van olyan hallgat, aki vizsgzott. kznyelvi (helyes) tagadsa: Nincs olyan hallgat, aki vizsgzott. negcija a fenti szably szerint ( x Px): Minden hallgat nem vizsgzott. kznyelvi (helyes) tagadsa: Egy hallgat sem vizsgzott. 8.3.8 Feladatok

Logikai rtk
1) Hatrozza meg az albbi kijelentsek logikai rtkt! a)Van olyan nvny, amelyik ktszik. (Alaphalmaz:=nvnyek halmaza) b)Minden ember kkszem. (Alaphalmaz:=Magyarorszgon l emberek) c)Van olyan trapz, amelyik nem paralelogramma. d)Az llnyek lete korltozott.

Tagads
2) Kpezzk a kvetkez kijelentsek tagadst! a)Van olyan nvny, amelyik ktszik. (Alaphalmaz:=nvnyek halmaza) b)Minden ember kkszem. (Alaphalmaz:=Magyarorszgon l emberek). c)Van olyan trapz, amelyik nem paralelogramma. d)Az llnyek lete korltozott. (Alaphalmaz:=llnyek halmaza).

105

A LOGIKA ELEMEI 8.4

SSZEFOGLALS

Az els fokozat prediktumkalkulus alapjaihoz szksges fogalmakat ismertnk meg, mint a prediktum, konkretizci, kvantifikci, ezeket a gyakorlati szinten is megvizsg ltuk. Megllaptottuk a prediktumok igazsghalmazt, a kvantifikci utni logikai rtkt, foglalkoztunk a prdiktumok tagadsval. 8.5
1.

NELLENRZ KRDSEK

Definiljuk a konkretizci mveletet! 2. Mit rtnk egy prediktum igazsghalmazn? 3. rtelmezzk Px prediktum kvantifikcijt! Hogyan rtelmezzk a kvantifikcival kapott kijelentsek logikai rtkt? 4. Milyen mveleteket vgezhetnk prediktumokkal?

106

A LOGIKA ELEMEI

9. PREDIKTUMLOGIKAI KVETKEZTETSEK
9.1

CLKITZS

Az els fokozat prediktumkalkulus megismerse. A prediktumokkal kapcsolatos mveletek megismerse, mint a negci, a konjunkci, a diszjunkci, az implikci, az ekvivalencia. Venn-diagram segtsgvel a bizonytsi igny kialaktsa, a kvetkeztetsek helyessgnek megllaptsa. 9.2

TARTALOM

Mveletek prediktumokkal. A prediktum s a negltja. A prediktumok konjunkcija s diszjunkcija. A prediktumok implikcijt s ekvivalencija. Kvetkeztets Venn-diagram segtsgvel. A helyes kvetkeztets. Plda a kvetkeztetsre. Feladat.

9.3
9.3.1

A TANANYAG KIFEJTSE
Mveletek prediktumokkal

A tovbbiakban csak egyvltozs prediktumok szerepelnek. Legyen Px s Qx tetszleges U nem res (U) alaphalmazon rtelmezett prediktum. Jelljk ezek igazsgha lmazt P-vel s Q-val. Prediktumokbl logikai mveletekkel kpzett sszetett predikt umok igazsghalmazait az igazsghalmaz s a logikai mveletek rtelmezse alapjn az albbi mdon szemlltethetjk Venn-diagrammal. A prdiktum s annak tagadsa (negltja) utn kt prdiktum konjunkcijt, diszjunkcijt, implikcijt s ekvivalencijt tekintjk t, de a defincik helyett a mveletek igazsghalmazt Venn-diagramon brzoljuk. 9.3.2 A prediktum s a negltja

A prdiktumot egy alaphalmazon (U) az alaphalmaz rszhalmazaknt brzolhatjuk.

24. kp

Px prdiktum igazsghalmaznak brzolsa a P halmazzal

A prdiktum tagadst egy halmaz komplementereknt fogjuk fel. 107

A LOGIKA ELEMEI

25. kp

Px prdiktum igazsghalmaznak brzolsa a P halmaz komplementereknt (~P)

9.3.3

A prediktumok konjunkcija s diszjunkcija

26. kp

PxQx prdiktum igazsghalmaznak brzolsa a P s Q halmaz metszeteknt (P Q)

27. kp

PxQx prdiktum igazsghalmaznak brzolsa a P s Q halmaz egyestettjeknt (P Q)

9.3.4

A prediktumok implikcija s ekvivalencija

Mivel az implikci s az ekvivalencia kifejezhet hrom logikai mvelet ( , , ) segtsgvel, az elzek alapjn megadhat, az implikcival s az ekvivalencival ssz ekapcsolt prediktumok (nyitott mondatok) Venn-diagramja is.

28. kp

Px Qx := (Px Qx) prdiktum igazsghalmaznak brzolsa P s Q halmaz klnbsgeknt (P\Q)

108

A LOGIKA ELEMEI

29. kp

Px Qx := (Px Qx) (Qx Px) prdiktum igazsghalmaznak brzolsa P s Q halmaz szimmetrikus klnbsgeknt ((P\Q) (Q\P))-

9.3.5

Kvetkeztets Venn-diagram segtsgvel

A korbbiakban mr foglalkoztunk azzal, hogyan jutunk az egyvltozs (nyitott mondatokbl) prediktumokbl kijelentsekhez. Egyik ilyen md, hogy a prediktumba az ala phalmaz egy konkrt elemt rjuk, azaz konkretizlunk. Msik lehetsg az, hogy a prediktumot elltjuk a minden x-re igaz, hogy illetve a van olyan x, amelyre szveggel, ms szval lezrjuk a (nyitott mondatot) prediktumot (kvantifikcit vgznk). A prediktumokbl az elbb emltett mdok egyikvel kapott kijelentseknek feleltessnk meg az alaphalmaz rszhalmazaira vonatkoz lltsokat , s brzoljuk ezeket az lltsokat Venn-diagramon. Az brzolshoz a kvetkez jellseket fogjuk hasznlni. Ha az alaphalmaz egy rszhalmaza res (nincs benne elem), akkor azt bevonalkzssal; ha egy rszhalmazban van elem, akkor ezt egy a rszhalmazba hzott szakasszal jelljk. Ha azt is tudjuk, hogy mely elem van a rszhalmazban, akkor azt az elemet berjuk a halmazba, mg ha egy rszhalmazban semmi jel sincs, akkor azt mondjuk, hogy errl a rszhalmazrl nincs semmi informcink. A kvetkez bra azt mutatja, hogy P = ; Q ; a R, S-rl pedig nincs informcink.

30. kp

Jellsek: P = ; Q ; a

R; S-rl pedig nincs informci

Legyenek Px, Qx egy tetszleges U alaphalmazon rtelmezett prediktumok. Jellje P, illetve Q a Px, illetve Qx igazsghalmazt. A tovbbiakban ezen prediktumokbl kijele ntseket kpeznk, s brinkon feltntetjk a megfelel Venn-diagramokat. Pa (Pa az a kijelents, amely a Px prediktumbl x = a konkretizcival keletkezett.)

109

A LOGIKA ELEMEI

31. kp

Pa kijelents brzolsa

a P

32. kp ~ (U \ P) =

Minden x-re igaz, hogy Px

33. kp P

Van olyan x, amelyre Px.

Az elz hrom megfeleltets, valamint a logikai mveletek tulajdonsgai alapjn megadhat az sszetett (nyitott mondatokbl) prediktumokbl kapott kijelentsek Venndiagramja is. Plda

34. kp

Minden x-re igaz, hogy (ha Px, akkor Qx)

P\Q=

110

A LOGIKA ELEMEI

35. kp

Minden x-re igaz, hogy (ha Px, akkor nem Qx).

P Q=

36. kp P Q

Van olyan x, amelyre (Px s Qx).

37. kp P\Q

Van olyan x, amelyre (Px s nem Qx).

38. kp

Minden x-re igaz, hogy (Px akkor s csak akkor, ha Qx).

(P\Q) (Q\P)=

9.3.6

A helyes kvetkeztets

Az egyvltozs prediktumokbl konkretizcival, illetve lezrssal (kvantifikcival) kapott kijelentsek kztt is vizsglhatjuk, hogy fennll-e a kvetkeztetsi relci. Tudjuk, hogy egy kvetkeztets premisszkbl s konklzibl ll. Korbbi ismereteinkkel sszhangban egy kvetkeztets akkor helyes, ha minden olyan esetben, amikor minden pr emissza igaz, igaz a konklzi logikai rtke is. Ha egy kvetkeztets helyes, akkor helyes minden olyan kvetkeztet s, amelynek a premisszi s a konklzija az adott kvetkeztets premisszival, illetve konklzijval

111

A LOGIKA ELEMEI azonos szerkezetek, azaz a kvetkeztets helyessge a kijelentsek szerkezettl fgg s nem a premisszk s a konklzi tartalmtl. Az eddig megismert kvetkeztetsek helyessgt egyszeren eldnthettk logikai rtktblzat segtsgvel. Ennek a mdszernek a kijelentsek szerkezetnek prediktumokkal val feltrsakor nincs megfelelje. Ha tovbbra is csak olyan kijelentseket vizsglunk, amelyek egyvltozs (Px, Qx, ) prediktumokbl plnek fel, akkor az ilyen kijelentsek kztti kvetkeztetsi relci teljeslst vagy nem teljeslst eldnthetjk Venn diagramok segtsgvel. Egy kvetkeztets akkor s csak akkor helyes, ha a premisszk kzs Venn-diagramja rszknt tartalmazza a konklzi Venndiagramjt. 9.3.7 Plda a kvetkeztetsre

a) A paralelogramma tli felezik egymst. b) A ngyzet paralelogramma. c) A ngyzet tli felezik egymst. Ezt a kvetkeztetst egyszer mr vizsgltuk, s ott nem talltuk helyesnek, br ismereteink szerint helyes. Ezt az ellentmondst azzal indokoltuk, hogy a kijelentseknek csak a durva (kls) szerkezett trtuk fel, s gy nem talltunk kapcsolatot a hrom kijelents kztt. Bontsuk fel a kijelentseket prediktumok segtsgvel, azaz adjuk meg a kijelentsek finom (bels) szerkezett. Legyen a trgyals alaphalmaza (U) a skbeli ngyszgek halmaza. Px := x paralelogramma. Ax := x tli felezik egymst. Nx := x ngyzet. Ezekkel a prediktumokkal a kvetkez mdon fogalmazhatjuk meg az elbbi kvetkeztetsben szerepl kijelentseket. a) Minden x-re igaz, hogy (ha Px, akkor Ax). b) Minden x-re igaz, hogy (ha Nx, akkor Px). c) Minden x-re igaz, hogy (ha Nx, akkor Ax). Rvidebben: a) x (Px Ax) b) x (Nx Px) c) x (Nx Ax) Az a), b) s a c) kijelentsek Venn-diagramja rendre a kvetkez a) P\A

112

A LOGIKA ELEMEI

39. kp b) N \ P =

Az a) kijelents Venn-diagramja

40. kp c) N\A=

Az b) kijelents Venn-diagramja

41. kp

A c) kijelents Venn-diagramja

113

A LOGIKA ELEMEI (Px, Ax s Nx prdiktumok igazsghalmaza rendre P, A s N.)

42. kp

A kt premissza kzs Venn-diagramja

Lthat, hogy a premisszk [ a), b) ] kzs Venn-diagramja rszknt tartalmazza a konklzi [c)] Venn-diagramjt, teht a kvetkeztets helyes. 9.3.8 Feladat

Mveletek prdiktumokkal
1)Szemlltessk Venn-diagrammal a Px Qx s a Px Qx igazsghalmazt, ha Px illetve Qx igazsghalmaza P, illetve Q! 2) Tekintsk az U := {-10, -9, , -1, 0, 1, 2, , 9, 10} alaphalmazon rtelmezett Px := x pozitv szm s Qx := 5 osztja x-nek prediktumokat. Szemlltessk Venndiagramon a kvetkez prediktumok igazsghalmazt! a) PxQx, b) PxQx, c) Px Qx, d) PxQx.

Kvetkeztets
3) Helyes-e a kvetkez kvetkeztets? 1. A paralelogramma szemben fekv oldalai prhuzamosak. 2. A rombusz szemben fekv oldalai prhuzamosak. 3. A rombusz paralelogramma. 4) Helyes-e a kvetkeztets? a) A 4-gyel oszthat szmok prosak. b) A 2-re vgzd szmok prosak. c) A 2-re vgzd szmok oszthatk 4-gyel. 114

A LOGIKA ELEMEI 5) Helyes-e a kvetkeztets? a) Aki kvncsi, hamar megregszik. b) Van kvncsi llat. c) Van hamar reged llat. 6) Kpezzk a kvetkez minden x-re Px, illetve van olyan x, amelyre Px tpus kijelentsek tagadst! a) Minden bogr zeltlb. b) Van olyan bogr, amelyik nem rovar. c) Van kvncsi llat. d) Minden ngyzet tglalap. 7)Helyes-e a kvetkeztets? U:={llatok} a) Minden rovar zeltlb. b) Nincs olyan bogr, amelyik nem rovar. c) Minden bogr zeltlb.

9.4

SSZEFOGLALS

Az els fokozat prediktumkalkulus megismerse. A prediktumokkal kapcsolatos mveletek megismerse, mint a negci, a konjunkci, a diszjunkci, az implikci s az ekvivalencia. Venn-diagram segtsgvel a bizonytsi igny kialaktsa, a kvetkeztetsek helyessgnek megllaptsa. 9.5
1.

NELLENRZ KRDSEK
Mikor helyes egyvltozs prediktumokbl konkretizcival, illetve kvantifikcival kpezett kijelentsek kztt rtelmezett kvetkeztets?

115

A LOGIKA ELEMEI

10. LECKK FELADATAINAK MEGOLDSA

10.1

CLKITZS

A tananyagban szerepl feladatok ellenrzse, a nehezen megoldhat feladatoknl a megoldsi lpsek megismerse. A fejezet a zrthelyi dolgozatra val kszlsnl is sok segtsget nyjt. 10.2

TARTALOM

Alapfogalmak Logikai mveletek Halmazelmlet Kijelentslogika A kijelentslogika alkalmazsai A prdiktumlogika elemei Prediktumlogikai kvetkeztetsek

10.3
10.3.1

A TANANYAG KIFEJTSE
Alapfogalmak

1) Kijelentsek-e a kvetkez mondatok? (Indokoljuk lltsunkat!) a)Budapest Magyarorszg fvrosa 2010-ben. b)Hny ra van? c)3 nagyobb, mint 2. d)A tanrunk szigor. e)Br vakci lenne! f)kos nem szemveges fi. Megolds: Azokat a kijelent mondatokat nevezzk kijelentseknek, amelyek igazak vagy hamisak, gy: a) kijelents b) nem kijelents, mert krds c) kijelents d) nem kijelents, mert tbb tanrunk is lehet, gy nem dnthet el, hogy igaz vagy hamis az llts e) nem kijelents, mert hajt mondat. f) nem kijelents, mivel az alanyt nem ismerjk, de egy bizonyos krben, ahol egyrtelm, hogy kit azonostunk gy lehet kijelents 2) llaptsa meg, hogy kijelentsek-e a kvetkez mondatok! Indokolja vlaszt! a) Sokig tart mg az t? b) Brcsak jeles lenne a zrthelyi dolgozatom! c) Magyarorszg fvrosa Tiszafred. 116

A LOGIKA ELEMEI d) Hrom kisebb ngynl. e) A knyvtrak kulturlis intzmnyek. f) Legyen szves alrni! g) De megszrtam a kezem! Megolds: a) nem kijelents, mert krds b) nem kijelents, mert hajt mondat c) kijelents, mert egyrtelm, hogy egyik idintervallumban sem volt Tiszafred haznk fvrosa, ezrt eldnthet a logikai rtke, hogy igaz vagy hamis. A logikai rtk eldntshez tovbbi informcikra lenne szksg. d) kijelents, mert eldnthet a logikai rtke, hogy igaz vagy hamis. e) kijelents, mert eldnthet a logikai rtke, hogy igaz vagy hamis. f) nem kijelents, mert felszlt mondat g) nem kijelents, mert felkilt mondat 3) Jelljk az albbi kijelentseket klnbz kijelentsvltozkkal! a) 1932-ben, Cserpfalu hatrban, a Subalyuk-barlangban neandervlgyi ember leleteket tallnak: egy gyermek koponyjt, egy n llkapcst s nhny tredkes vzcsontjt. b) A Nmet Szvetsgi Kztrsasg (NSZK) 1955-ben a NATO tagja lett. Megolds: a) jelljk s kijelentsvltozval (a Subalyuk-barlang miatt egyszerbb megjegyezni), mindez jellssel: s:=1932-ben, Cserpfalu hatrban, a Subalyuk-barlangban neandervlgyi ember leleteket tallnak: egy gyermek koponyjt, egy n llka pcst s nhny tredkes vzcsontjt. olvasva: p (kijelentsvltoz) legyen egyenl 1932-ben, Cserpfalu hatrban, a Subalyuk-barlangban neandervlgyi ember leleteket tallnak: egy gyermek koponyjt, egy n llkapcst s nhny tredkes vzcsontjt. b) jelljk n kijelentsvltozval (a Nmet Szvetsgi Kztrsasg kezdbetje miatt egyszerbb megjegyezni), mindez jellssel: v:=A Nmet Szvetsgi Kztrsasg (NSZK) a NATO tagja lesz1955-ben olvasva: v (kijelentsvltoz) legyen egyenl A Nmet Szvetsgi Kztrsasg (NSZK) a NATO tagja lesz1955-ben. 4) llaptsuk meg a kijelentsek logikai rtkt! a) A Tisza-t egy mestersges t. b) Karcsony janur 1-n van haznkban. c) 1939. prilis 11-n Magyarorszg kilp a Nemzetek Szvetsgbl. d) Nullnl nincs nagyobb egsz szm. Megolds: a) igaz b) hamis c) igaz (mg akkor is, ha ennek utna kell jrni) d) hamis 117

A LOGIKA ELEMEI 10.3.2 Logikai mveletek

Negci
1) Kpezzk a kvetkez kijelents (a) egy- s (b) ktszeres tagadst! Esik az es. Megolds: a) Nem igaz, hogy esik az es. (Nem esik az es.) b) Nem igaz, hogy nem esik az es. 2) Kpezzk a kvetkez kijelents (a) egy- s (b) ktszeres tagadst! 1 kisebb, mint 2. Megolds: a) Nem igaz, hogy 1 kisebb, mint 2. (1 nem kisebb, mint 2.) b) Nem igaz, hogy 1 nem kisebb, mint 2. 3) Kpezzk a kvetkez kijelents (a) egy- s (b) ktszeres tagadst! Ez a paralelogramma ngyzet. Megolds: a) Ez a paralelogramma nem ngyzet. b) Nem igaz, hogy ez a paralelogramma nem ngyzet. 4) Kpezzk a kvetkez kijelents (a) egy- s (b) ktszeres tagadst! 3+2=5. Megolds: a) 3+2 nem egyenl 5-tel. b') Nem igaz, hogy 3+2 nem egyenl 5-tel. 5) Kpezzk a kvetkez kijelents (a) egy- s (b) ktszeres tagadst! kos j tanul. Megolds: a) Nem igaz, hogy kos j tanul. (kos nem j tanul.) b) Nem igaz, hogy kos nem j tanul. 6) Kpezzk az albbi kijelents (a) egy- s (b) ktszeres tagadst! Ezeket fogalmazzuk meg tbbflekppen is! 118

A LOGIKA ELEMEI Az iskola minden tanulja szereti a matematikt. Megolds: a)Nem igaz, hogy az iskola minden tanulja szereti a matematikt. a)Az iskola nem minden tanulja szereti a matematikt. a)Az iskolban van olyan tanul, aki nem szereti a matematikt. b)Nem igaz, hogy nem igaz, hogy az iskola minden tanulja szereti a matematikt. b)Nem igaz, hogy az iskola nem minden tanulja szereti a matematikt. b)Az iskolban nincs olyan tanul, aki nem szereti a matematikt. 7) Kpezzk az albbi kijelents (a) egy- s (b) ktszeres tagadst! Ezeket fogalmazzuk meg tbbflekppen is! 11 kisebb, mint 7. Megolds: a)Nem igaz, hogy 11 kisebb, mint 7. a)11 nem kisebb, mint 7. a)7 nem nagyobb, mint 11. b)Nem igaz, hogy nem igaz, hogy 11 kisebb, mint 7. b)Nem igaz, hogy 11 nem kisebb, mint 7. b)Nem igaz, hogy 7 nem nagyobb, mint 11. 8) Kpezzk az albbi kijelents (a) egy- s (b) ktszeres tagadst! Ezeket fogalmazzuk meg tbbflekppen is! A 4 pozitv szm. Megolds: a) A 4 nem pozitv szm. b)Nem igaz, hogy nem igaz, hogy a 4 pozitv szm. 9)Hatrozzuk meg a p kijelents ngyszeres s tszrs negcijnak ( p, p) logikai rtkt! ltalnostsuk a feladatot! Megolds: A ktszeres negci szablya alapjn: |p|=|p|, |p|=|p|. Egy kijelents pros szm negcijnak logikai rtke megegyezik magnak a kijele ntsnek a logikai rtkvel. Egy kijelents pratlan szm negcijnak logikai rtke megegyezik a kijelents negcijnak a logikai rtkvel.

119

A LOGIKA ELEMEI

Konjunkci
11) Kpezzk a kijelentsek konjunkcijt s hatrozzuk meg a logikai rtkket! A megoldsnl a kijelentsek logikai rtkt a matematikai ismereteink alapjn llaptsuk meg! a) p := 7 osztja 14-nek q := 100 nagyobb, mint 3 b) p := A ngyzet skidom. q := A ngyzet nem paralelogramma. Megolds: a) konjunkcija: p q = 7 osztja 14-nek s 100 nagyobb, mint 3. logikai rtke: |p|=i, |q|=i, |p q|=i. b) konjunkcija: A ngyzet skidom, br nem paralelogramma. logikai rtke: |p|=i, |q|=h, |p q|=h.

Diszjunkci
12) Igazoljuk, hogy a diszjunkci kommutatv, azaz Brmely p,q,r kijelentsre: |pq| = |qp|! Bizonyts: A diszjunkci kommutatv tulajdonsg, mert: |p| |q| |pq| |qp| i i i i i h i i h i i i h h h h 13) Igazoljuk, hogy a diszjunkci asszociatv, azaz Brmely p,q,r kijelentsre: |(pq)r| = |p(qr)|. Bizonyts: A diszjunkci asszociatv tulajdonsg, mert: |p| |q| |r| |(pq)r| |p(qr)| i i i i i i i h i i i h i i i i h h i i h i i i i h i h i i h h i i i h h h h h

120

A LOGIKA ELEMEI

De Morgan-azonossg
14) Igazolja a De Morga-azonossgokat a diszjunkcira s a konjunkcira nzve! Logikai rtktblzattal: |(pq)|=|pq| |p| |q| |(p q)| |p q| i i h i h h h i h i h h i i h i i h i i h h h i h i i i 2 1 1 2 1 Hasonlkppen belthat, hogy brmely p,q kijelentsre |(pq)|=|pq|. |p| |q| |(p q)| |p q| i i h i h h h i h h i h h i h i h i i h h h h i h i i i 2 1 1 2 1

Implikci
15) Brmely p kijelentsre : |p p||p| (Az implikci nem idempotens.) Logikai rtktblzattal knnyen igazolhat az implikci tbbi tulajdonsga is. |p| i h |p p| i i

Ekvivalencia
16) (a) Fogalmazzuk meg a kvetkez kijelentspr ekvivalencijt tbbflekppen is! (b) Hatrozzuk meg a logikai rtkt! p:= Az n egsz szm 0-ra vgzdik. q:= Az n egsz szm pros. Megolds: a) - Ha az n egsz szm 0-ra vgzdik, akkor az n egsz szm pros, s ha az n egsz szm pros, akkor az n egsz szm 0-ra vgzdik. - Az n egsz szm akkor s csak akkor pros, ha az n egsz szm 0-ra vgzdik. - Ahhoz, hogy az n egsz szm pros legyen szksges s elgsges felttel, hogy az n egsz szm 0-ra vgzdjn. b) |pq| = h, mert |pq| = i, de |qp| = h

121

A LOGIKA ELEMEI 10.3.3 Halmazelmlet

1) (a) Definilja a gymlcsk halmazt egyes elemeinek felsorolsval! (b) rja ezt rviden, matematikai jellssel is! (c) Adja meg a halmaz egy lehetsges alaphalmazt! (d) Adja meg a halaz egy elemt! (e) Adjon meg jellssel egy olyan elemet, ami nem tartozik a halmazba! Megolds: a) G:={cseresznye, meggy, alma, krte, barack, dinnye, } b) G:={x|x gymlcs} c) U:= {nvnyek} d) eper H e) kutya H 2) Az albbi halmazok kzl melyik res halmaz? a) R:={x|x repl fa}, b) H:={x|x hzas agglegny}, c) F:={x|x magyarorszgi folyk 2000-ben} Megolds: Kt res halmaz van: R=, H= 3) Melyik esetben neveztnk meg azonos halmazokat? a) U:={termszetes szmok}, H:={100-nl kisebb pros termszetes szmok}, K:={0-nl nagyobb pratlan termszetes szmok}. b) U:={magyarorszgi teleplsek 2000-ben}, H:={magyarorszgi megyeszkhelyek 2000-ben}, K:={Salgtarjn, Eger, Miskolc, Nyregyhza, Debrecen, Budapest, Kecskemt, Szolnok, Szeged, Bkscsaba, Pcs, Szekszrd, Szkesfehrvr, Tatabnya, Gyr, Veszprm, Zalaegerszeg, Szombathely, Kaposvr}. Megolds: Csak a b) feladat kt halmaznak ugyanazok az elemei, teht H=K. 4) Adott H:={0,5,10} s K:={0, 10} halmaz. Teljeslnek a kt halmazra a kvetkez lltsok? a) H K b) K H c) H K d) K H e) K H Megolds: 122

A LOGIKA ELEMEI K H, mert a K halmaz minden eleme eleme a H halmaznak is. A H halmaznak a H halmaz elemein kvl van mg ms eleme is, ezrt H valdi rszhalmaza K -nak, azaz H K. A tbbi llts nem teljesl. 5) Adott H:={x|x hsz s 30 v kztti magyar llampolgr} s K:={x|x hallgati jogviszonyban van egy hazai felsoktatsi intzmnyben} halmaz. Teljeslnek a kt halmazra a kvetkez lltsok? a) H K b) K H c) H K d) K H e) K H Megolds: A H halmaznak nem rszhalmaza K, s a K halmaznak nem rszhalmaza H. A kt ha lmaz ebbl kvetkezen nem is egyenl, teht egyik llts sem igaz. 6) Adott H:={2, 4, 6, 8, 10, 12, 14, 16} s K:={x|x 0 -nl nagyobb pros szm} halmaz. Teljeslnek a kt halmazra a kvetkez lltsok? a) H K b) K H c) H K d) K H e) K H Megolds: A kt halmaz egyenl, csak mskppen hatroztuk meg azokat. Mivel H=K, gy az a), b), e) llts teljesl, mg a c), d) nem. 7) llaptsuk meg, hogy a H s K halmazok kzl rszhalmaza-e egyik a msiknak! a) H:={4,5}; K:={5,4}, b) H:={3,4,5}; K:={4,5,6}. Megolds: a) H K s K HazazH=K, b) H K s K H. 8) Legyen H:={-2, -1, 0, 1, 2} illetve K:={0, 2, 4,8,16} kt halmaz. Hatrozza meg az albbi halmazok elemeit! a) H K b) H K Megolds: a) H K= {-2, -1, 0, 1, 2, 4,8,16}. b) H K = {0, 2}. 123

A LOGIKA ELEMEI 9) Legyenek H, K, L halmazok az U alaphalmaz tetszleges rszhalmazai. Bizonytsa be az albbi tteleket! (Ezek a tulajdonsgok knnyen igazolhatk Venn-diagrammal.) Ttel. 1. ttel: H H=H (idempotencia), 2. ttel: H H=H (idempotencia), 3. ttel: H K=K H (kommutativits), 4. ttel: H K=K H (kommutativits), 5. ttel: (H K) L=H (K L) (asszociativits), 6. ttel: (H K) L=H (K L) (asszociativits), 7. ttel: H (K L) = (H K) (H L) (disztributivits). 8. ttel: H (K L)=(H K) (H L) (disztributivits). Bizonyts: A 7. ttel igazolst szemllteti a 43. kp.

43. kp

Az uni metszetre nzve disztributv tulajdonsgnak igazolsa

A tbbi tulajdonsg igazolst vgezzk el nllan! 10) Legyen H:={0,1, 2} s K:={0,3, 6,18} halmaz. Milyen elemei vannak a H\K s a K\H halmaznak? Megolds: H\K={1, 2}. K\H={3, 6,18} 124

A LOGIKA ELEMEI 11) Legyenek H, K halmazok az U alaphalmaz tetszleges rszhalmazai. Bizonytsa be az albbi tteleket! Ttel. 1. ttel: H\HH (H\H=) (nem idempotens) 2. ttel: H\KK\H (nem kommutatv) 3. ttel: (H\K)\LH\(K\L) (nem asszociatv) Bizonyts: A 2. tulajdonsgot szemllteti Venn-diagrammon a 44. kp. H\KK\H

44. kp

A halmazok klnbsge nem kommutatv

12) Legyen U:={1, 2, 3, 4, 5} s H:={1, 5}. Hatrozza meg a H halmaz komplementer halmazt az U alaphalmazon! Megolds: Ekkor ~H = {2, 3, 4}. 13) Legyenek H, K halmazok az U alaphalmaz tetszleges rszhalmazai. Bizonytsa be az albbi tteleket! Ttel. 1. ttel: ~ ~ H= H 2. ttel: ~ = U 3. ttel: ~ U = 4. ttel: U\H= ~H

125

A LOGIKA ELEMEI Bizonyts: Halmazok rajzolsval a ttelek egyrtelmen belthatk. 14) Legyenek H, K halmazok az U alaphalmaz tetszleges rszhalmazai. Bizonytsa be De Morgan azonossgokat! Ttel. 1. ttel: ~ (H K) = ~H ~K, 2. ttel: ~ (H K) = ~H ~K. Bizonyts: Venn-diagrammal belthat. 15) U:={x|x N s x20} H:={x|x N, 3 osztja x-nek s x20} K:={x|x N,4 osztja x-nek s x20} Kpezzk a kvetkez halmazokat! a) H K, b) H K, c) H d) H\K, e) K\H Megolds: rjuk fel az adott halmazok elemeit! U:={0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20} H:={0, 3, 6, 9, 12, 15, 18} K:={0, 4, 8, 12, 16, 20} a) H K ={0, 3, 4, 6, 8, 9, 12, 15, 16, 18, 20} b) H K ={0,12} c) ~H = {0, 1, 2, 4, 5, 7, 8, 10, 11, 13, 14, 16, 17, 19, 20} d) H\K = {3 ,6, 9, 15, 18} e) K\H = {4, 8, 16, 20} 16)Milyen kapcsolat van H s K halmaz kztt, ha a) H\K= s H K=H, b) H\K= s H K=H, c) H\K= s K\H=. Megolds: Venn-diagrammal megoldhat.

126

A LOGIKA ELEMEI 17)Teljesl-e minden H, K halmazra, hogy ((H\K) (K\H)) (H K)? Megolds: Venn-diagrammal megoldhat. 18)A halmazmveletekre vonatkoz tulajdonsgok alapjn bizonytsuk be, a kvetkez lltsokat, ahol H, K s L egy adott U alaphalmaza rszhalmazai! a) H=(H K) (H ~K ), b) H K=(H ~K) (H K) (~H K), c) U=(H ~K) K (L ~H) ~L Megolds: Venn-diagrammal megoldhat. Kijelentslogika

10.3.4

1) Formalizljuk a kvetkez kijelentst! Feltve, hogy a szemtan megbzhat s az rsszakrt vlemnye helytll, a bncselekmnyt akkor s csak akkor kvettk el elre megfontolt szndkkal, ha a tallt ujjlenyomatok a tettestl vagy a tettestrstl szrmaznak. Megolds: Formalizls utn: (pq) (r(st)) 2) rjuk fel a ((pq) r)q formula sszes interpretcijt! rvnyes-e a formula? q |p| |q| |r| ((p q) r) i i i h h i i i i i h h h i i i i h i i i i h h i h h i i h i h h i i h h i i i h i h h h i i i h h i h i i h h h h h h i i h h 2 1 3 5 4 A formula nem rvnyes, mert nem minden interpretcira igaz. 2) Igazolja, hogy az albbi sszefggs tautolgia: (pp)q!

127

A LOGIKA ELEMEI Megolds: A (pp)q formula azonosan igaz (tautolgia vagy rvnyes) mert: interpretcik |p| |q| |(p p) q| sorszma 1 i i h h i i 2 i h h h i h 3 h i h i i i 4 h h h i i h 2 1 3 1 3) Bizonytsa be a levlasztsi szablyt (modus ponens)! 1. pq 2. p 3. q A fenti lers is rvidthet az albbi mdon: (pq)p q. Bizonyts: Elksztve a logikai rtktblzatot: |p| i i h h |q| i h i h premisszk |pq| |p| i i h i i h i h konklzi |q| i h i h

Lthatjuk, hogy minden olyan esetben amikor a premisszk (pq, p) egyszerre igazak, igaz a konklzi (q) is. Teht a szablyt igazoltuk. 4) Helyes-e az albbi kvetkeztets? Ha nlam van a kulcs, akkor ki tudom nyitni az ajtt. Nlam van a kulcs. Ki tudom nyitni az ajtt. Milyen kijelentsekbl pl fel ez a kvetkeztets? p:= nlam van a kulcs q:= ki tudom nyitni az ajtt. Teht a kvetkeztets smja: (pq) p q pq p q Ez a levlasztsi szably smja, gy ez a kvetkeztets helyes. 128

A LOGIKA ELEMEI 5) Helyes-e az albbi kvetkeztets? Ha lmodom, akkor alszom. lmodom. Alszom. Milyen kijelentsekbl pl fel ez a kvetkeztets? p:= lmodom q:= alszom. Teht a kvetkeztets smja: (pq) p q pq p q Ez a levlasztsi szably smja, gy ez a kvetkeztets helyes. 6) Helyes-e az albbi kvetkeztets: Ha a benzin elfogyott az autbl, akkor az aut megll. Az aut megll. Elfogyott a benzin az autbl. Megolds: A kvetkeztetsben szerepl kijelentsek a p s q egyszer kijelentsekbl plnek fel: p: = a benzin elfogyott az autbl q: = az aut megll A kvetkeztets szerkezete az albbi smval rhat fel: 1. pq 2. q 3. p Ksztsk el a kvetkez rtktblzatot: premisszk |pq| |p| |q| |q| i i i i i h h h h i i i h h i h konklzi |p| i i h h

A harmadik sorban olyan eset szerepel, amikor a premisszk (pq, illetve q) egyttesen igazak, de a konklzi (p) hamis. Elmondhatjuk, hogy a kvetkeztets nem helyes. 129

A LOGIKA ELEMEI 7) Helyes-e az albbi kvetkeztets? Ha a benzin elfogyott az autbl, akkor az aut megll. Nem fogyott el a benzin. Az aut nem ll meg. Megolds: pq q p Formalizlva: (pq) q p A kvetkeztets helyes, mert ez az Elvev szably (modus tollens). 8) Helyes-e az albbi kvetkeztets? Ha tartozom, akkor ads vagyok. Nem tartozom. Nem vagyok ads. Megolds: pq q p Formalizlva: (pq) q p A kvetkeztets helyes mert ez az Elvev szably (modus tollens). 9) Helyes-e az albbi kvetkeztets? Ha egy hallgat vizsgzik, akkor felvette az adott tanegysget. Ha felvette az adott tanegysget, akkor hallgati jogviszonya van. Ha egy hallgat vizsgzik, akkor hallgati jogviszonya van. Megolds: p q q r p r Formalizlva: (pq) (qr) pr A kvetkeztets helyes mert ez a lncszably (feltteles szillogizmus). 130

A LOGIKA ELEMEI Ellenrizhet igazsgtblval is: |p| i i i i h h h h |q| i i h h i i h h |r| i h i h i h i h premisszk |pq| |qr| i i i h h i h i i i i h i i i i konklzi |pr| i h i h i i i i

10) Bizonytsuk be az indirekt bizonytst logikai rtktblzattal! Az indirekt bizonyts smja: (pq) q p p q q p |p| |q| |p q| i i h i h i h h i i h i i h h h h i i i 1 2 1 Helyes a kvetkeztets, mert minden olyan esetben, amikor mind a kt premissza igaz, igaz a konklzi is. 11) Helyes-e az albbi kvetkeztets? a) Ha szeretem igazn, akkor sszehzasodunk. b) Nem szeretem igazn. c) Nem hzasodunk ssze. A kvetkeztetsi szably smja: (pq) q p pq q p Ez az indirekt bizonyts smja, gy a kvetkeztets biztosan helyes.

131

A LOGIKA ELEMEI 12) Helyes-e az albbi kvetkeztets? a) Ha a bartom, akkor moziba megyek vele. b) Ha nem a bartom, akkor nem megyek vele moziba. Megolds: Formalizlva: p = a bartom q = moziba megyek vele A kvetkeztets smja: pq qp A szably jelekkel lerva: pq qp Mivel ez a kontrapozci (elvetsi md) szablya, ezrt a kvetkeztets helyes. Sajt magunk ellenrzseknt igazolhatjuk logikai rtktblzattal is: |p| i i h h |q| |p| |q| i h h h h i i i h h i i premissza |pq| i h i i konklzi |qp| i h i i

13) Bizonytsuk be a diszjunktv szillogizmust logikai rtktblzattal! Diszjunktv szillogizmus smja: pq p q |p| |q| |pq| |p| i i i h i h i h h i i i h h h i Teht a kvetkeztets helyes. 14) Dntsk el az albbi kvetkeztets helyessgt! A b szm oszthat 2-vel vagy 3-mal. A b szm nem oszthat 2-vel. A b szm oszthat 3-mal. 132

A LOGIKA ELEMEI Megolds: Formalizlva: p = a b szm oszthat 2-vel q = a b szm oszthat 3-mal A kvetkeztets smja: pq p q A szably jelekkel lerva: (pq) p q Mivel ez a diszjunktv szillogizmus (modus tollendo ponens) szably, gy biztosan igaz. Nzzk meg az ellenrzs vgett az igazolst logikai rtktblzattal is: |p| i i h h |q| |p| i h h h i i h i premisszk |p q| |p| i h i h i i h i konklzi |q| i h i h

15)Helyes-e az albbi kvetkeztets? a)Ha a logika vizsgn j ttelt hzok, akkor jelesre vizsgzom. b)Ha nem tanulom rendszeresen a logikt, akkor nem vizsgzom jelesre. c)Ha nem tanulom rendszeresen a logikt, akkor nem hzok j ttelt a logika vizsgn. p:= J ttelt hzok a logika vizsgn. q:= Jelesre vizsgzom logikbl. r:= Rendszeresen tanulom a logikt. A kvetkeztets smja: pq r q r p A kvetkeztets igazsgtblzata: q| |r p| |p| |q| |r| |p q| |r i i i i h i h h i h i i h i i h h i h h i h i h h i i h i h i h h h i i i i h h h i i i h i h h i i h i h i i h h i h i h h i i h i i h i i h h h i i i i i i i 1 1 2 1 1 2 1 133

A LOGIKA ELEMEI A kvetkeztets helyes. 16) Helyes az albbi kvetkeztets? a) Ha 12 oszthat 3-mal, akkor 12 sszetett szm. b) 12 oszthat 3-mal. c) 12 sszetett szm. Megolds: Kt kijelentsbl pl fel ez a kvetkeztets: p:= 12 oszthat3-mal. q:= 12 sszetett szm. Teht a kvetkeztets smja: (pq) p q pq p q Ez a levlasztsi szably (modus ponens), teht a kvetkeztets helyes. A kijelentslogika alkalmazsai

10.3.5

1) rjuk fel annak felttelt, hogy a kvetkez brkon lthat ramkrkben ram fol yjon! (A q jel kapcsol a q jelvel ppen ellenttes mkds; kt azonos jel kapcsol egyszerre van nyitva, ill. zrva).

45. kp

Az 1. feladat logikai ramkre

134

A LOGIKA ELEMEI Megolds: Hasznljuk fel a leckben elmondottakat, amit rviden gy tehet sszefoglalni: a soros kapcsols a konjunkcinak, a prhuzamos kapcsols a diszjunkcinak felel meg. Ennek alapjn a mkdsi felttelt a kvetkez formula rja le: (p(q r) s) (q p). 2) rjuk fel annak felttelt, hogy a kvetkez brkon lthat ramkrkben ram folyjon! (A p, q jel kapcsol a p, illetve q jelvel ppen ellenttes mkds; kt azonos jel kapcsol egyszerre van nyitva, ill. zrva).

46. kp

A 2. feladat logikai ramkre

Megolds: Az 1) feladat megoldshoz hasonlan jrhatunk el; eredmnyl a kvetkez formult kapjuk: ((p q) r) (p q (r q)). 3) Tervezznk olyan ramkrt, amelyek a kvetkez formulnak felel meg: (p(q r) r) ((p q r)! Megolds: Azt az elvet kvetve, hogy a konjunkcinak a soros kapcsols, diszjunkcinak a pr huzamos kapcsols felel meg, megkonstrulhatjuk a kvnt ramkrt. (Az egyszersts kedvrt a 47. kpen mr nem rajzoltuk be az ramforrst s a fogyasztt).

135

A LOGIKA ELEMEI

47. kp

A 3. feladat megoldsa

4) Tervezznk olyan ramkrt, amelyek a kvetkez formulnak felel meg: ((p q r) t) ((p q r) s) (((q r t) p) ((r t) q) ( r t))) s! Megolds: A 48. kpen sszetettebb lesz a kapott ramkr.

48. kp 136

A 4. feladat megoldsa

A LOGIKA ELEMEI 5) Egy hlkocsiban hrom fekvhely van, mindhrom fekvhelyhez egy-egy kapcsol tartozik. A flkben egy kis s egy nagy lmpa van. A nagy lmpa akkor g, ha a tbbsg akarja, a kis lmpa, pedig akkor, ha csak egy utas kapcsolja fel. Tervezzk meg az ramkrt! Megolds: Jellje x1, x2 s x3 a hrom kapcsolt, s rjuk fel annak a felttelt, hogy a kis lmpa gjen. A jellsre itt is alkalmazzuk eddigi megllapodsainkat: ennek alapjn a kis lmpa akkor s csak akkor g, ha (x1 x2 x3) v ( x1 x2 x3) v ( x1 x2 x3) A kapott formulnak megfelel ramkrt mr knnyen lerajzolhatjuk, amiben a 49. kp is segt.

49. kp

Az 5. feladat megoldsnak els rsze

Hasonl mdon felrhatjuk annak a felttelt, hogy a nagy lmpa gjen. Ez a felttel mg egyszerbb is lesz, hiszen nem szksges pldul vizsglnunk, hogy ha x1 s x2 bekapcsolt llapotban van, akkor milyen helyzetben van az x3 jel kapcsol.

50. kp 10.3.6

Az 5. feladat megoldsnak msodik rsze

A prdiktumlogika elemei

Logikai rtk
1) Hatrozza meg az albbi kijelentsek logikai rtkt! a)Van olyan nvny, amelyik ktszik. (Alaphalmaz:=nvnyek halmaza) b)Minden ember kkszem. (Alaphalmaz:=Magyarorszgon l emberek) c)Van olyan trapz, amelyik nem paralelogramma. d)Az llnyek lete korltozott. 137

A LOGIKA ELEMEI Megolds: Az a), c), d) kijelentsek logikai rtke igaz, a b) kijelents logikai rtke hamis.

Tagads
2) Kpezzk a kvetkez kijelentsek tagadst! a)Van olyan nvny, amelyik ktszik. (Alaphalmaz:=nvnyek halmaza) b)Minden ember kkszem. (Alaphalmaz:=Magyarorszgon l emberek). c)Van olyan trapz, amelyik nem paralelogramma. d)Az llnyek lete korltozott. (Alaphalmaz:=llnyek halmaza). Megolds: a)Minden nvny nem ktszik. (Nincs ktszik nvny.) b)Van olyan ember, aki nem kkszem. c)Minden trapz paralelogramma. d)Van olyan llny, amelyiknek az lete nem korltozott. 10.3.7 Prediktumlogikai kvetkeztetsek

Mveletek prdiktumokkal
1)Szemlltessk Venn-diagrammal a Px Qx s a Px Qx igazsghalmazt, ha Px illetve Qx igazsghalmaza P, illetve Q! Megolds:

51. kp

Px Qx s a Px Qx igazsghalmaznak brzolsa

2) Tekintsk az U := {-10, -9, , -1, 0, 1, 2, , 9, 10} alaphalmazon rtelmezett Px := x pozitv szm s Qx := 5 osztja x-nek prediktumokat. Szemlltessk Venndiagramon a kvetkez prediktumok igazsghalmazt! a) PxQx, b) PxQx, 138

A LOGIKA ELEMEI c) Px Qx, d) PxQx. Megolds: Az bra az a), c) s d) eseteket mutatja. (A b) esetet rajzoljuk meg nllan!)

52. kp Az a) eset megoldsa: Px Qx igazsghalmaza: P Q = {5, 10}

53. kp

A c) eset megoldsa: Px Qx igazsghalmaza P \ Q . P \ Q = { 10, 5, 0, -1, -2, -3, -4, -5, -6, -7, -8, -9, -10}

54. kp

Az d) eset megoldsa: Px Qx igazsghalmaza: P \ Q Q \ P= {10, 5, -1, -2, -3, -4, -6, -7, -8, -9}

Kvetkeztets
3) Helyes-e a kvetkez kvetkeztets? 1. A paralelogramma szemben fekv oldalai prhuzamosak. 2. A rombusz szemben fekv oldalai prhuzamosak. 3. A rombusz paralelogramma. Megolds: Legyen a trgyals alaphalmaza a skbeli ngyszgek halmaza. Px := x paralelogramma. Qx := x szemben fekv oldalai prhuzamosak. 139

A LOGIKA ELEMEI Rx := x rombusz. Ezekkel a prediktumokkal a kvetkez mdon fogalmazhatnnk meg a kvetkeztet sben szerepl kijelentst. 1. Minden x-re igaz, hogy (ha Px, akkor Qx). 2. Minden x-re igaz, hogy (ha Rx, akkor Qx). 3. Minden x-re igaz, hogy (ha Rx, akkor Px). Rvidebben: 1. x (Px Qx) 2. x (Rx Qx) 3. x (Rx Px) 55. kp Az 1. s 2. kijelentsek kzs Venn-diagramja

(ahol Px, Qx s Rx prediktumok igazsghalmaza rendre P, Q, R): 1) P\Q= 2) R\Q=

56. kp

A konklzi (3.) Venn-diagramja: R\P=.

A kvetkeztets nem helyes, mert a premisszk kzs Venn-diagramja nem tartalmazza rszknt a konklzi Venn-diagramjt. Vigyzzunk, ez nem azt jelenti, hogy a konklzi hamis, hanem azt, hogy az elbbi kt premisszbl az nem kvetkezik. 4) Helyes-e a kvetkeztets? a) A 4-gyel oszthat szmok prosak. b) A 2-re vgzd szmok prosak. c) A 2-re vgzd szmok oszthatk 4-gyel. 140

A LOGIKA ELEMEI Megolds: U := {egsz szmok}. Px := x oszthat 4-gyel. Qx := x pros szm. Rx := x szm 2-re vgzdik. Prediktumok felhasznlsval a kvetkeztets szerkezete: a) x (Px Qx) b) x (Rx Qx) c) x (Rx Px) A feladat megoldsa nlkl megllapthat, hogy a kvetkeztets nem helyes. Nem azrt, mert a konklzi hamis, hanem azrt, mert az elz kvetkeztetsi feladattal azonos szerkezet. (Az elz feladatban a konklzi igaz volt, ebben a feladatban hamis, a kve tkeztets mind a kt esetben helytelen.) 5) Helyes-e a kvetkeztets? a) Aki kvncsi, hamar megregszik. b) Van kvncsi llat. c) Van hamar reged llat. Megolds: U:={llnyek}, Kx:=x kvncsi, Ax:=x llat, Px:=x hamar reged. Ezekkel a prediktumokkal a kvetkeztets kijelentsei a kvetkezkppen fogalmazhatak meg: a) Minden x-re igaz, hogy (ha Kx, akkor Px). b) Van olyan x, hogy (Kx s Ax). c) Van olyan x, hogy (Ax s Px). a) x (Kx Px) b) x (Kx Ax) c) x (Ax Px).

141

A LOGIKA ELEMEI 57. kp Az 5-s feladat megoldsa Venn-diagramon brzolva. Legyen Kx, Ax s Px prediktumok igazsghalmaza rendre K, A s P a) K \ P= b) K A c) A P Az a) s b) premissza kzs Venn-diagramja tartalmazza a konklzi diagramjt, teht helyes a kvetkeztets. 6) Kpezzk a kvetkez minden x-re Px, illetve van olyan x, amelyre Px tpus kijelentsek tagadst! a) Minden bogr zeltlb. b) Van olyan bogr, amelyik nem rovar. c) Van kvncsi llat. d) Minden ngyzet tglalap. Megolds: a) Nem igaz, hogy minden bogr zeltlb. (Van olyan bogr amelyik nem zeltlb.) b) Nem igaz az, hogy van olyan bogr, amelyik nem rovar. (Minden bogr rovar.) c) Nem igaz, hogy van kvncsi llat. (Minden llat nem kvncsi. Nincs kvncsi llat.) d) Nem igaz, hogy minden ngyzet tglalap. (Van olyan ngyzet, amelyik nem tglalap.) 7)Helyes-e a kvetkeztets? U:={llatok} a) Minden rovar zeltlb. b) Nincs olyan bogr, amelyik nem rovar. c) Minden bogr zeltlb. Megolds: Rx:=x rovar. Bx:= x bogr. Jx:= x zeltlb. A kvetkeztets prediktumlogikai szerkezete: a) x(Rx Jx) b) ( x(Bx Rx) vagy (Bx Rx) 142

A LOGIKA ELEMEI c) x(Bx Jx) A premisszk kzs Venn-diagramja (58. kp).

58. kp

A premisszk kzs Venn-diagramja

A konklzi Venn-diagramja (59. kp).

59. kp

A konklzi Venn-diagramja

(Rx, Bx, illetve Jx prdiktumok igazsghalmaza rendre R, B, illetve J) A kvetkeztets helyes, mert a premisszk kzs Venn-diagramja rszknt tartalmazza a konklzi Venn-diagramjt. 143

A LOGIKA ELEMEI 10.4

SSZEFOGLALS

A tananyagban szerepl feladatok ellenrzst vgezhette el a lecke alapjn. Ha egy feladat megoldsa nehzsget okozott az elmlet elsajttsa utn, akkor itt a megoldsi lpseket rszletesen megtekinthette. Ezzel lehetv vlik a ksbbiekben a hasonl feladatok nll megoldsa. Az els nhny elmleti leckhez itt nem tallhat feladat.

144

A LOGIKA ELEMEI

11. GYAKORL FELADATOK S MEGOLDSAIK

11.1

CLKITZS

A tananyagban szerepl pldkon s feladatok megoldsn keresztl kpess kellett vlnia az nll feladatmegoldsra. A lecke az elmlet elsajttsa s a leckkben tallhat feladatok megoldsa utni gyakorlst tmogatja, clja a tanult gyakorlati ismeretek ltalnos, sszefoglal jelleg ellenrzse, elmlytse. 11.2

TARTALOM

Kijelentslogika Prediktumlogika Kijelentslogikai feladatok megoldsai Prediktumlogikai feladatok megoldsai

11.3
11.3.1

A TANANYAG KIFEJTSE
Kijelentslogika

1) Az albbi kijelentsek kzl melyek tagadsa az kos nehezebb Zsuzsnl kijelentsnek? a) Zsuzsa nehezebb kosnl. b) kos nem nehezebb Zsuzsnl. c) kos knnyebb Zsuzsnl. d) Zsuzsa legfeljebb olyan nehz, mint kos. 2) Tekintsk a kvetkez kt kijelentst: p:= kos megtanulta a leckjt. q:= kos sznhzba ment. Fogalmazzuk meg az albbi sszetett kijelentseket: a) pq. b) ha p, akkor q. c) p, ezrt q. d) p vagy q. e) q, mert p. Az rtkelsi alapelv szerint dntsk el, hogy melyek azok amelyek logikai mvelettel keletkeztek. 3) rjuk fel logikai mveleti jelek segtsgvel a kvetkezket: a) Nem p, pedig q. b) p, de nem q. c) Ha p, akkor szksgkppen q. d) p maga utn vonja q-t. e) Ha p, akkor q s ha nem p, akkor nem q. f) q szksges felttele p-nek. 145

A LOGIKA ELEMEI 4) Melyik kijelents az albbi tagadsa: Ha megtanultam a leckmet, akkor sznhzba megyek? a)Ha megtanultam a leckmet, akkor nem megyek sznhzba. b)Megtanultam a leckmet s mgsem megyek sznhzba. c)Ha nem tanultam meg a leckmet, akkor nem megyek sznhzba. d)Nem tanultam meg a leckmet s nem megyek sznhzba Formalizljuk a vlasztott kijelentst s rtktblzattal gyzdjnk meg arrl, hogy helyesen vlasztottunk. 5) Legyen |p|=i, |q|=h, |r|=h, |s|=i. llaptsuk meg a kvetkez formulval lert sszetett kijelentsek logikai rtkt: a) r (sp), b) p (rs), c) (pr)(rs), d) p (r s). 6) Mveleti tulajdonsgok felhasznlsval hozzuk egyszerbb alakra a kvetkez fo rmulkat: a) (pq)q, b) (p q)q, c) (pqr)qr 7) Ha egy szm oszthat 6-tal, akkor oszthat 3-mal. Az albbi kijelentsek kzl melyik fejezi ki ugyanazt? a) Ha egy szm nem oszthat 6-tal, akkor nem oszthat 3-mal sem. b)Ha egy szm nem oszthat 3-mal, akkor nem oszthat 6-tal sem. c)Az nem lehet, hogy egy szm oszthat 6-tal, de nem oszthat 3-mal. d)A 3-mal val oszthatsg szksges s elgsges felttele a szm 6 -tal val oszthatsgnak. e)A 6-tal val oszthatsg szksges de nem elgsges felttele annak, hogy a szm oszthat 3-mal. f)A szm 6-tal val oszthatsgnak szksges de nem elgsges felttele az, hogy a szm oszthat 3-mal. 8) Az els mondat igaz voltbl kvetkezik-e, hogy a msodik mondat is igaz? a)Ha Bla a gyilkos, akkor tudja a gyilkossg pontos idejt s helyt. b)Ha Bla nem tudja a gyilkossg pontos idejt vagy nem tudja a gyilkossg helyt, akkor nem a gyilkos. rjuk fel mind a kt mondat formuljt! 9) Mi a megfordtsa a kvetkez kijelentseknek? Ha a kijelents s megfordtsnak logikai rtke azonos, akkor fogalmazzuk meg ekvivalencia formjban is! a) Ha egy szm 0-ra vgzdik, akkor pros. b) Ha egy hromszg hegyesszg, akkor egyenl oldal. c) Ha egy ngyszg paralelogramma, akkor tli felezik egymst. d) Ha egy szm oszthat 2-vel s 3-mal, akkor 6-tal is. 146

A LOGIKA ELEMEI e) Egy szorzat akkor nulla, ha legalbb az egyik tnyezje 0. 10) A kvetkez kijelents egy konkrt egsz szmra vonatkozik: Ha egy szm oszthat 9-cel, akkor oszthat 3-mal is. a) Igaz-e brmely egsz szmra ez a kijelents? b) Mi a kijelents megfordtsa? Igaz-e tetszleges egsz szmra? c) Mi az eredeti kijelents kontrapozcija? Igaz-e tetszleges egsz szmra? d) Fogalmazzuk t az eredeti kijelentst 1. csak akkor 2. szksges felttel 3. elgsges felttel kifejezsek segtsgvel! 11) rjuk fel a kvetkez kijelentsek formuljt! a) Ha kos bergja a tizenegyest, akkor megnyerjk a mrkzst, de ha nem rgja be, akkor nem nyerjk meg, viszont ha nem nyerjk meg, akkor kiesnk s vissza kell fizetni a szponzor tmogatst. b) Ha holnap st a Nap vagy nem esik az es, s nem fj a szl, elmegyek kirndulni. 12) Ksztsk el a kvetkez formulk logikai rtktblzatt! a) p (qr), b) (p q)(pq), c) (pq)(qp). 13) rvnyesek-e a kvetkez formulk? a) (pq) (p q), b) p (qr), c) (pq)(p q). 14) Igazoljuk logikai rtktblzattal a kvetkez egyenlsgeket! a) |(p q)|=|pq|, b) |pq|=|(pq)(pq)|. 15) Mveleti tulajdonsgok felhasznlsval igazoljuk az elz feladatban szerepl egyenlsgeket! 16) Mveleti tulajdonsgok felhasznlsval igazoljuk az albbi azonossgokat! a) |p(p q)|=|p|, b) |q (pq)|=|q p|, c) |p(pq)|=|p q|, d) |p (pq)|=i. 20) Helyes-e a kvetkeztets? a) Ha veim szma oszthat 6-tal, akkor pros szm. b) veim szma pros szm. c) veim szma oszthat 6-tal. 147

A LOGIKA ELEMEI 21) Helyes-e a kvetkeztets? a) Ha st a Nap, akkor kirndulni megyek. b) Nem st a Nap. c) Nem megyek kirndulni. 22) Helyesek-e az albbi kvetkeztetsi smk? a) r (pq) rq rp b) p q p q p

23) Formalizljuk a kvetkeztetst s vizsgljuk meg a helyessget! a) Ha nem vagyok figyelmetlen, akkor jl oldom meg a feladatokat. b) Ha jl oldom meg a feladatokat, akkor boldog vagyok. c) Ha nem vagyok figyelmetlen, akkor boldog vagyok. 24) Helyesek-e az albbi kvetkeztetsek? 1. a) Ha jk az eladsok, akkor rdemes felvenni a trgyat. b) Knnyen ad jelest az elad vagy nem rdemes felvenni a tr-gyat. c) Nem ad knnyen jelest az elad. d) Nem rdemes felvenni a trgyat. 2. a) Ha az rm jl jr, akkor megrkezem az elads kezdete eltt, ha idejben jn az autbusz. b) Idejben jn az autbusz, mgsem rkezem meg az elads kezdete eltt. c) Nem jl jr az rm. 3. a) Az apm csak akkor jutalmaz meg, ha bszke lehetek maga mra. b) Jl sportolok vagy nem lehetek bszke magamra. c) Ha rendszeresen tanulok, akkor nem sportolok jl. d) Ha az apm megjutalmaz, akkor nem tanulok rendszeresen.

148

A LOGIKA ELEMEI 11.3.2 Prediktumlogika

25) Formalizljuk a kvetkez kijelentseket: a) Minden bogr rovar. b) Van olyan pros szm, amelyik nem oszthat 4-gyel. c) Van olyan vllalkoz, aki nem milliomos. d) Nem mind arany, ami fnylik. 26) Fogalmazzuk meg (tbbflekppen is) a kvetkez lltsok tagadst! a) A vros minden zlete jvedelmez. b) Van pros prmszm. c) Nem igaz, hogy nem ltezik prmszm. d) Minden llat kvncsi. e) Nincs olyan bogr, amelyik nem rovar. 27) Vlasszuk ki ha lehet az albbi kijelentsek kzl azokat, amelyek a kvetkez kijelents tagadst fejezi ki: Van olyan fiskolai hallgat, aki nem kedveli a logikt s a szmtstechnikt. a) Minden fiskolai hallgat kedveli a logikt s a szmts-tech-ni-kt. b) Senki sem kedveli a logikt s a szmtstechnikt. c) Nem ltezik olyan fiskolai hallgat, aki nem kedveli a szmts-tech-nikt vagy nem kedveli a logikt. d) Nincs olyan fiskolai hallgat, aki kedveli a logikt s a szmts-tech-nikt. 28) U:={x|x N s x<8}, Px:=x oszthat 3-mal, Qx:=x oszthat 5-tel. Szemlltessk az albbi nyitott mondatok igazsghalmazt, ha Px, illetve Qx igazsghalmaza P, illetve Q. a) Px Qx, b) Px Qx, c) Qx Px, d) Qx Px, e) PxQx. 29) Szemlltessk Venn-diagrammal a kvetkez kijelentseket! a) x(PxQx), b) x(PxQxRx), c) x(PxQx), d) x(Px(QxRx). 30) Vizsgljuk meg a prediktumlogika eszkzeivel, hogy helyes-e a k-vet-kez-tets! a) Egy ngyszg akkor s csak akkor paralelogramma, ha a szem-ben fekv oldalai prhuzamosak. b) A rombusz szemben fekv oldalai prhuzamosak. c) A rombusz paralelogramma.

149

A LOGIKA ELEMEI 31) Helyes-e a kvetkeztets? a) Nmely rombusz ngyzet. b) Nmely ngyzet nem rombusz. 32) Vizsgljuk meg (prediktumlogika eszkzeivel) a kvetkeztetst! a) Van olyan pros szm, amelyik nem oszthat 4-gyel. b) Van olyan 4-gyel oszthat egsz szm, amelyik pros. 33) Helyes-e (prediktumlogikailag) a kvetkeztets? a) A paralelogramma tli akkor s csak akkor merlegesek egymsra, ha a paralelogramma rombusz. b) A (60. kpen lthat) paralelogramma tli nem merlegesek egymsra. c) A (60. kpen lthat) paralelogramma nem rombusz.

60. kp

A paralelogramma s a kt tlja

34) Vizsgljuk meg az albbi kvetkeztets helyessgt! a) Minden ember haland. b) Arisztotelsz ember. c) Arisztotelsz haland. 35) Formalizljuk az albbi kvetkeztetst s igazoljuk helyessgt! a) Nincs olyan tanr, aki milliomos. b) Van olyan milliomos, aki vllalkoz. c) Van olyan vllalkoz, aki nem tanr. 11.3.3 1) nl. 2) Kijelentslogikai feladatok megoldsai

b) Nem igaz, hogy kos nehezebb Zsuzsnl vagy kos nem nehezebb Zsuzsa) kos megtanulta a leckjt s sznhzba ment. b) Ha kos megtanulta a leckjt, akkor sznhzba ment. c) kos megtanulta a leckjt, ezrt sznhzba ment.

150

A LOGIKA ELEMEI A d), s e), sszetett kijelentst fogalmazzuk meg ezekhez hasonlan. Az rtkelsi alapelv szerint a), b), d) kijelentsek logikai mvelettel keletkeztek a p s a q kijelentse kbl, mint komponensekbl. 3) a) p q, b) p q, c) p q, d) p q, e) (p q) (p q), f) p q.

b) Megtanultam a leckmet s mgsem megyek sznhzba. p:= Megtanultam a leckmet. q:= Sznhzba megyek. Az eredeti kijelents formulja: p q Tagadsnak formulja: p q |p| |q| |p q| | (p q)| |p q| i i i h i h h i h h i h i i h i i h i h h h h i h i h i 1 2 1 2 1 4) Valban, |(p q)|=|p q| 5) a) b) h c) i d) i 6) a) |(p q) q|=|(p q) (q q)|=|p q|, mert |q q|=i, b) |(p q)q|=|( p q)q)|=|(pq)q| =h, teht a kifejezs azonosan hamis. c) |(p q r) q r|= |(p q) (q q) (r q) r|= = ... = |p q r|. 7) b), c), f). 8) p:= Bla a gyilkos. q:= Bla tudja a gyilkossg pontos idejt. r:= Bla tudja a gyilkossg helyt. 151 r (s p) Ha |r|=h, |s|=|p|=i, akkor |r (s p)|= i.

A LOGIKA ELEMEI Az els mondat szerkezete: p (q r), mg a msodik mondat: (q r) p. |(q r) p|= |(q r) p|= |p (q r)|. Teht a kt llts logikailag azonos. (|(q r) p|=|p (q r)|, mert az implikci logikai rtke egyenl a kontrapozcijnak a logikai rtkvel). 9) a) Ha egy szm pros, akkor nullra vgzdik. b) Ha egy hromszg egyenl oldal, akkor hegyesszg. c) Ha egy ngyszg tli felezik egymst, akkor a ngyszg paralelogramma. c') Egy ngyszg, akkor s csak akkor paralelogramma, ha tli felezik egymst. d) Ha egy szm oszthat 6-tal, akkor 2-vel s 3-mal is oszthat. d') Egy szm akkor s csak akkor oszthat 6-tal, ha 2-vel s 3-mal is oszthat. e) Ha egy szorozatnak legalbb az egyik tnyezje nulla, akkor a szorzat nulla. e') Egy sorozat akkor s csak akkor nulla, ha legalbb az egyik tnyezje nulla.

10) a) Igaz, mert nincs olyan egsz szm, amelyre az eltag igaz, az uttag pedig h amis lenne. b) Ha egy szm oszthat 3-mal, akkor oszthat 9-cel is. Ez a ki-je-lents nem igaz minden egsz szmra. c) Ha egy szm nem oszthat 3-mal, akkor nem oszthat 9-cel sem. Ez a kijelents minden egsz szmra igaz. (Kontrapozci tr-v-nye.) d1) Egy szm csak akkor oszthat 9-cel, ha 3-mal is oszthat. d2) Ahhoz, hogy egy szm 9-cel legyen oszthat, szksges, hogy 3-mal is oszthat legyen (vagy: egy szm 9-cel val oszthatsgnak szksges felttele a 3-mal val oszthatsg). d3) Egy szm 3-mal val oszthatsgnak elegend felttele a 9-cel val oszthatsg. 11) a) (t m) ( t m) ( m (k f)), b) (s e f) k. 12) a) |p| |q| |r| |p (qr)| i i i h h i i i h i i h i h i i i h i h h i i h h i i i h i h i h i i h h h i i i h h h h i i h 3 2 1 b) |p| i i 152 |q| |(p q) i i h h i i (p h h q)| i h

A LOGIKA ELEMEI h h i h i i 1 |q| i h i h |(p q) i i i h 1 i i i i 4 i i 3 i i i i 2 i h h h 3 i i 1 i i 2

c) |p| i i h h (q p)| i i i h 1 (p q)| h h i i i h i i 2 1

13) a) |p| i i h h |q| i h i h |(p q) i h h h 1

Teht a formula rvnyes. b) |p (qr)| h h i i i h i i h i i h i h i i i h i i h i i h 3 2 1 A formula nem rvnyes, amint azt a 12) a) feladat megoldsa is mutatja. c) |p q|=|(p q)|=|p q|, gy |(p q) ( p q)|=|(p q) (p q)|=i. Teht a formula rvnyes. (Ellenrizzk rtktblzattal is!) 14) a) |p| i i h |q| i h i | h i h (pq)| i h i |(p h i h q)| h i h 153 |p| i i i i h h h h |q| i i h h i i h h |r| i h i h i h i h

A LOGIKA ELEMEI h h h 2 i 1 |(pq) i h h h 1 i h h i 3 h 2 (p h h i i 1 i 1 h h h i 2 q)| h i h i 1

b) |p| i i h h |q| i h i h |(pq)| i h h i 1

15) a) |(p q)|=|((p q))|=|p q| b) |pq|=|(p q)(q p)|=|((pq))((qp)|= = |(p q) (q p)|= |(p q) (p p) (q q) (q p)|= = |(p q) (p q)| (Felhasznltuk az ekvivalencia s implikci defincijt, a De Morgan -kpleteket, a konjunkcinak a diszjunkcira vonatkoz disztributivitst, valamint azt, hogy brmely p kijelentsre |pp|=h.) 16) a)|p (p q)|= |p (p q)|= |p (p q)|=|p| b)|q (p q)|=|q (p q)|= |(q p) (q q)|= |q p|=|q p| c)|p (p q)|=|(p p) (p q)|= |p q|=|p q| d)|p (p q)|=|p (p q)|= |(p p) q|=i 17) a) (p q) (q r) (p r)

61. kp

A 17-es feladat a) rsznek logikai ramkre

154

A LOGIKA ELEMEI b) |(p q) r|=|(p q) r|= |(p q) r|= |(p q) r|= |p q r|

62. kp

A 17-es feladat b) rsznek logikai ramkre

18) (p q) ( p r) (p q) |(p q)| (p r) (p q)|= |((p p) q) (p r)| = = |q (p r)|

63. kp

A 18-as feladat logikai ramkre

19) a) (p q) (p q) |(p q) (p q)|=|(p p) q|=|i q|= |q|

155

A LOGIKA ELEMEI

64. kp

A 19-es feladat a) rsznek logikai ramkre

b) |(p q) ((p (p q)) r)|=|(pq) [(p (p q)) r]|= = |(p q) (p r)|

65. kp

A 19-es feladat b) rsznek logikai ramkre

20) p:= veim szma oszthat 6-tal. q:= veim szma pros szm. a) p q b) q c) p |p| |q| |(p q)| i i i i h h h i i h h i A kvetkeztets nem helyes, mert van olyan interpretci, amelyre a premisszk mind igazak, a konklzi pedig hamis. 156

A LOGIKA ELEMEI

21) p:= St a Nap. q:= Kirndulni megyek. a) p q b) p c) q |p| |q| |(pq)| i i i i h h h i i h h i A kvetkeztets nem helyes. 22) a) |p| i i i i h h h h |q| i i h h i i h h |r| i h i h i h i h

|p| h h i i

|q| h i h i

|r (pq)| i i i i i i i i i i i i h h i h 2 1

|rq| i h h h i h h h 1

|rp| i i i i h i h i 1

A kvetkeztets nem helyes, mert van olyan interpretci, amelyre a kt premissza igaz, a konklzi hamis. b) |p| i i h h A kvetkeztets helyes. 23) a) p q b) q r c) p r |q| i h i h |p h h i i i i i h q| i h i h |p h h i i i i h i q| h i h i

157

A LOGIKA ELEMEI |p| i i i i h h h h |q| i i h h i i h h |r| i h i h i h i h |p q| |qr| |p h i i i h h i i h h h i h i h h i h i h i i i i i i i i h i i h h i i i h h i i 1 2 1 1 1 r| i i i i i i h h 2

A kvetkeztets helyes, mert minden olyan interpretcira, amelyre a premisszk mind igazak, igaz a konklzi is. (Feltteles szillogizmus) 24) 1. a) p q b) rq c) r d) q |p| i i i i h h h h Helyes a kvetkeztets! 2. a) p (q r) b) qr c) p |p| i i i i h 158 |q| i i h h i |r| i h i h i |p (qr)| |q r| i i h h h h i i i i h h i i h i i i h h |p| h h h h i |q| i i h h i i h h |r| |pq| |r i i i h i h i h i h h i i i i h i h i i i h i i 1 2 q| h h i i h h i i 1 |r| h i h i h i h i 1 |q| h h i i h h i i 1

A LOGIKA ELEMEI h h h i h h h i h i i i 2 h i i 1 i h h 2 i h i 1 i i i 1

A kvetkeztets helyes. 3. A kvetkeztets szerkezete: a) b a b) sb c) t s d) a t A kvetkeztets helyessgt rtktblzattal ellenrzhetjk vagy cfolhat-juk. 11.3.4 A prediktumlogikai feladatok megoldsai

25) a) U:={llatok} Rx:= x rovar. Bx:=x bogr. x(Bx Rx) b) U:={egsz szmok} Px:= x pros szm. Nx:=x oszthat 4-gyel. x(Px Nx) c) U:={emberek} Vx:= x vllalkoz. Mx:= x milliomos. x(Vx Mx) d) U:={trgyak} Px:= x fnyl trgy. Ax:= x arany trgy. x(Px Ax) 26) a) a') b) b') c) Nem igaz, hogy a vros minden zlete jvedelmez. Van a vrosnak olyan zlete, amelyik nem jvedelmez. Nem igaz, hogy van pros prmszm. Nincs pros prmszm. Az eredeti llts: Van prmszm. Tagadsa: Nem, ltezik prmszm. (Nincs prmszm) A d)-t s e)-t fogalmazzuk meg nllan! 27) 159

A LOGIKA ELEMEI Az adott kijelents tagadsa nincs a felsorolt lehetsgek kztt. A helyes vlasz a Minden fiskolai hallgat kedveli a logikt vagy a szmtstechnikt lett volna. 28)

66. kp

A 28-as feladat Venn-diagramja

Px igazsg halmaza:= P; Qx igazsghalmaza:=Q a) P \ Q = {0,1,2,4,5,7}, b) P Q = {1,2,3,4,5,6,7}, c) Q P = {1,2,3,4,5,6,7}, d) Q \ P = {5}, e) P Q = {1,2,4,7}. 29) a) P b) P c) Q = P \ Q = Q R

160

A LOGIKA ELEMEI

67. kp d) P (Q R)

A 29-es feladat c) rsznek Venn-diagramja

68. kp

A 29-es feladat d) rsznek Venn-diagramja

30) Legyen a trgyals alaphalmaza (U) a skbeli ngyszgek halmaza. Px:= x paralelogramma. Qx:= x szemben fekv oldalai prhuzamosak. Rx:= x rombusz. Ezekkel a prediktumokkal a kvetkeztets szerkezete: a) x(Px Qx) b) x(Rx Qx) c) x(Rx Px) A premisszk kzs Venn-diagramja (69. kp). 161

A LOGIKA ELEMEI

69. kp

A 30-as feladatban a premisszk kzs Venn-diagramja

a) (P \ Q) (Q \ P) = , b) R \ Q = , c) R \ P = . A konklzi Venn-diagramja (70. kp).

70. kp

A 30-as feladatban a konklzi Venn-diagramja

(P, Q s R a Px, Qx s az Rx prediktumok igazsghalmazt jelli.) A kvetkeztets helyes, mert a premisszk kzs Venn-diagramja rszknt tartalmazza a konklzi Venn-diagramjt.

162

A LOGIKA ELEMEI 31) Legyen U={skbeli ngyszgek} Rx:=x rombusz. Nx:= x ngyzet. Prediktumokkal a kvetkeztets a kvetkez alakban rhat fel: a) x(Rx Nx) b) x(Nx Rx) Venn-diagrammal brzolva (71. kp).

71. kp

A 31-es feladat kvetkeztetse Venn-diagrammal brzolva

a) R N b) N \ R A kvetkeztets nem helyes, mert a premissza Venn-diagramja nem tartalmazza rszknt a konklzi Venn-diagramjt. 32) A kvetkeztets nem helyes. 33) U:={paralelogrammk}

72. kp

A 33-as feladatban szerepl skidom: a paralelogramma

a:= A (72. kpen lthat) paralelogramma. Rx:= x paralelogramma rombusz. Ax:= x tli merlegesek egymsra. 163

A LOGIKA ELEMEI Ezek felhasznlsval a kvetkeztets rviden a) x(Ax Rx) b) Aa c) Ra alakba rhat.

73. kp

A 33-as feladatban szerepl skidom: a paralelogramma

a) (A \ R) (R \ A) = , b) a A , c) a R. (A az Ax, R az Rx prediktum igazsghalmaza.) A premisszk kzs Venn-diagramjrl leolvashat a konklzi Venn-diagramja, teht a kvetkeztets helyes. 34) U:={llnyek} Ex:= x ember. Hx:= x haland. a:= Arisztotelsz. tfogalmazva a kvetkeztets: a) Minden x-re igaz, hogy ha x ember, akkor x haland. b) Arisztotelsz ember. c) Arisztotelsz haland. A kvetkeztets smja : a) x(Ex Hx) b) Ea 164

A LOGIKA ELEMEI c) Ha brzoljuk a kvetkeztetst Venn-diagramon:

74. kp

A 34-es feladat kveteztetse Venn-diagrammal

a) E \ H = , b) a E, c) a H. A kvetkeztets helyes, mert a premisszk kzs Venn-diagramjrl leolvashat a konklzi Venn-diagramja. 35) U:={emberek} Tx:=x tanr. Mx:=x milliomos. Vx:=x vllalkoz. A kvetkeztets szerkezete: a) ( x (Tx Mx)) b) x(Mx Vx) c) x(Vx Tx) brzolva Venn-diagramon:

165

A LOGIKA ELEMEI

75. kp a) T M = , b) M V , c) V \ T . A kvetkeztets helyes.

A 35-s feladat kveteztetse Venn-diagrammal

11.4

SSZEFOGLALS

A tananyag elmleti oldalt taglal leckkben tallhat szmos pldn s feladaton tl lehetv vlt a gyakorls a tmakrk tfog ismeretvel. Az itt tallhat feladatok megersthettk a felkszltsgt. Az sszefoglal jelleg miatt a lecke cmeinek kialaktsa nem az eddigi leckk cme alapjn, hanem a logika jelents fejezetinek szemszgbl trtnt, gy kijelentslogikai s prdiktumlogikai feladatok csoportostssal tallta meg a feladatokat s azok megoldsait. 11.5
1. 2. 3. 4. 5. 6. 7.

NELLENRZ KRDSEK
Definiljuk a konkretizci mvelett! Mit rtnk egy prediktum igazsghalmazn? rtelmezzk Px prediktum kvantifikcijt! Hogyan rtelmezzk a kvantifikcival kapott kijelentsek logikai rtkt? Milyen mveleteket vgezhetnk prediktumokkal? Szemlltessk Venn-diagrammal a Px Qx s a Px Qx igazsghalmazt, ha Px, illetve Qx igazsghalmaza P, illetve Q! Egyvltozs prediktumokbl konkretizcival, illetve kvantifikcival kp ezett kijelentsek kztt rtelmezett kvetkeztets mikor helyes? Kpezzk a kvetkez minden x-re Px, illetve van olyan x, amelyre Px tpus kijelentsek tagadst!

166

A LOGIKA ELEMEI a) Minden bogr zeltlb. b) Van olyan bogr, amelyik nem rovar. c) Van kvncsi llat. d) Minden ngyzet tglalap. 8. Helyes-e a kvetkeztets? a) Minden rovar zeltlb. b) Nincs olyan bogr, amelyik nem rovar. c) Minden bogr zeltlb.

167

A LOGIKA ELEMEI

12. SSZEFOGLALS
12.1

A KURZUSBAN KITZTT CLOK SSZEFOGLALSA

A szimbolikus logika s a matematikai logika kapcsolatnak megrtse. A matematikai logika alapvet fogalmi rendszernek, jellsnek, sszefggseinek bizonytsra tr megrtse. Cl tovbb a tananyaggal szmos tanegysg feldolgozsnak elsegtse, melyek tmaszkodnak a szimbolikus logika elemeire. 12.2

TARTALMI SSZEFOGLALS

A jegyzetben bemutattuk a matematikai logika, ezen bell a kijelentslogika s a prediktumlogika alapvet fogalmait. A kijelents- s a prediktumkalkulus szmra viszonylag knnyen lehet kvetkeztetsi szablyokat megadni, amelyek megengedik a szoksos tartalmi kvetkeztets szigor formulzst, de messzemenen megengedtnk olyan bizonytsokat is, melyek a tartalom ltal vezreltek, azaz nem formalizltak. A trgyalt tananyag matematikai mdszereket, jellseket alkalmaz, de nem jut el az axiomatikus trgyals mlyebb szintjre. A tananyag mlysgnl s a bizonytsoknl figyelembe vettk a szak sajtossgait, a szakmai hasznossgot, eltrbe helyeztk a vizualitst, klns tekintettel az elvonatkoztatott logikai bizonytsok esetn. A formlis logika elemeinek alapjain tl az olvas ms trgyak esetn tovbbptkezhet, de ott mr nem biztos, hogy a szabatos trgyals lesz szksges.

12.3
12.3.1

A TANANYAGBAN TANULTAK RSZLETES SSZEFOGLALSA

A logika trtnete, trgya

A szimbolikus logika kutatsi tmit a szzadforduln fknt matematikai megalapozsa s filozfiai problmi motivltk. Ksbb a tudomnyos mdszertan, majd a 20. szzad msodik felben az elmleti nyelvszet problmi befolysoltk tovbbfejldst. A szimbolikus logika csrja, a logikai kalkulus skpe mr Arisztotelsz szillogisztikjban (szillogizmus) megtallhat. Egy egyetemes szimblumnyelv megteremtsnek s a logika matematizlsnak programjt G. W. Leibniz tzte ki (characteristica universalis), s lpseket tett realizlsra is. Az els matematizlt logikai rendszer G. Boole-tl szrmazik (1847, logikai algebra). G. Frege fogalomrsa (1879) magban foglalja a mai szimbolikus logika centrlis jelentsg fejezett, a klasszikus elsrend logikt; innen keltezhet a szimbolikus logika kialakulsa. Frege munkssga azonban rszben szokatlan ktdimenzis szimblumrendszere miatt kevs figyelmet keltett. A mai szimblumrendszer nagyrszt G. Peantl s B. Russelltl szrmazik. Russell s A. N. Whitehead a matematika logicista megalapozsra igyekezett felhasznlni a szimbolikus logikt (191013). A matematikai alkalmazsok szempontjbl a 20. sz. els harmadban D. Hilbert s K. Gdel munkssga a legjelentsebb. A szimbolikus logika alkalmazsa a modlis logika terletn C. I. Lewis munkssgval kezddtt. A tbbrtk logikk kidolgozst Emil Leon Post (1897, 954) s J. Lukasiewicz kezdte meg. A matematikn kvli alkalmazsok ttrje az 1920-as vektl R. Carnap. 168

A LOGIKA ELEMEI Az intenzionlis logika 1945 utn bontakozott ki; f eredmnyei Carnap, A. Church, S. Kripke s R. Montague nevhez fzdnek. Magyarorszgon Kalmr Lszl kezdemnyezte a szimbolikus logika, ill. a matematikai logika mint matematikai diszciplna mvelst, tevkenysge azonban a matematikn kvli terletekre is hatott. 12.3.2 Alapfogalmak

A matematikhoz kapcsold, a tananyag trgyalsa s a ksbbi bizonytsok alapjul szolgl fogalmak, valamint a matematikai logika megrtshez elengedhetetlenl szksges fogalmakat ismerhettk meg. Megismertk az arisztotelszi alapelvek mellett az egy s a tbbrtk logikt. Ezen tl sszefoglaltuk a tananyagban alkalmazott sszes jellst, amit tmutatknt rdemes a tanuls s a feladatok megoldsa sorn kezelni. 12.3.3 Logikai mveletek

A matematikai s a logikai mvelet fogalmt ismertk meg. A kvetkez logikai mveletek mellett azok bizonytsi igny tulajdonsgairl is esett sz: negci, konjunkci, diszjunkci, implikci s ekvivalencia megrtse, s a logikai mveletek elsajttsa. 12.3.4 Halmazelmlet

A naiv halmazelmlet azon fogalmainak, alapvet eredmnyeit trgyaltuk. A halmazelmlet szerepnek tmr tisztzsa mellett a legfontosabb, halmazokkal kapcsolatos mveleteket definiltuk. A fejezet alapvet a prediktumlogikai bizonytsok alapjul szo lglt. 12.3.5 Kijelentslogika

A kijelentsek logikai rtkt (igaz, hamis) figyelembe vve a kijelentsek kztt rtelmezett mveletekkel ellltott formulk alapjn egyszer kvetkeztetsekkel (kijelentslogikval) foglalkoztunk. 12.3.6 A kijelentslogika alkalmazsai

Az informatikban az eszkzk (hardverelemek) tervezsnl, azok ramkreinek szszelltsnl gyakori krds, hogy a szksges feladatot ellt ramkrt milyen elemekbl s hogyan kell sszelltani. A matematika logika ebben az esetben egy jl meghatrozott gyakorlati clt elgit ki. 12.3.7 A prediktumlogika elemei

Az els fokozat prediktumkalkulus alapjaihoz szksges fogalmakat ismertnk meg, mint a prediktum, konkretizci, kvantifikci, ezeket a gyakorlati szinten is megvizsg ltuk. Megllaptottuk a prediktumok igazsghalmazt, a kvantifikci utni logikai rtkt, foglalkoztunk a prdiktumok tagadsval. 12.3.8 Prediktumlogikai kvetkeztetsek

Az els fokozat prediktumkalkulus megismerse. A prediktumokkal kapcsolatos mveletek megismerse, mint a negci, a konjunkci, a diszjunkci, az implikci s az 169

A LOGIKA ELEMEI ekvivalencia. Venn-diagram segtsgvel a bizonytsi igny kialaktsa, a kvetkeztetsek helyessgnek megllaptsa. 12.3.9 A leckk feladatainak megoldsa

A tananyagban szerepl feladatok ellenrzst vgezhette el a leckk alapjn. Ha a feladat megoldsa nehzsget okozott, akkor azokhoz a megoldsi lpsek megismerhette, mellel lehetv vlt a ksbbi hasonl feladatok nll megoldsa. A feladatok az els nhny elmleti leckhez nem kapcsoldtak. 12.3.10 Gyakorl feladatok s megoldsaik

A tananyagban tallhat szmos pldn s feladaton tl lehetv vlt a gyakorls a tmakrk tfog ismeretvel. A logika szemszgbl trtnt a cmek kialaktsa is, gy kijelentslogiaki s prdiktumlogikai feladatok csoportostssal tallhatk meg a feladatok s azok megoldsai.

170

A LOGIKA ELEMEI

13. KIEGSZTSEK
13.1
13.1.1

IRODALOMJEGYZK
Hivatkozsok

Knyv
ALMSI Bla Dr. FAZEKAS Gbor KUKI Attila SZTRIK Jnos: Az informatika matematikai alapjai. Feladatgyjtemny Informatika szakos levelez hallgatk szmra. KLTE Matematikai s Informatikai Intzet, Debrecen, 1992. BALOGH Viktria CZEGLDI Istvn Dr. VRS Gyrgy: A matematika tantsa III. Tanknyvkiad, Bp., 1989. BHEGYESIN TOPOR Gizella BNHEGYESI Zoltn: Matematika. Az informatika matematikai alapjai. Mszaki, Bp., 2000. BOLHOVINITOV KOLTOVOJ LAGOVSZKIJ: Furfangos fejtr feladatok. Mszaki, Bp., 1989. FERENCZI Mikls: Matematikai logika. Mszaki, Bp., 2002. Magyar Nagylexikon 1-19. Akadmiai Kiad (1-4), Magyar Nagylexikon Kiad (5-19). PLOS Lszl RUZSA Imre: A logika elemei. Tanknyvkiad, Bp., 1987. URBN Jnos: Matematikai logika (Pldatr). Bolyai-knyvek. Mszaki, Bp., 1999. REINHARDT, Fritz SOEDER, Heinrich : SH atlasz. Matematika. Springer-Verlag, Bp., 1993. SAIN Mrton: Matematikatrtneti ABC. Adatok, tnyek, rdekessgek a matematika kzpfok tantshoz s tanulshoz. Nemzeti Tanknyvkiad TypoTEX, Bp., 1993. Dr. SZENDREI Jnos: Algebra s szmelmlet. Tanrkpz Fiskolai Knyvek. Tanknyvkiad, Bp., 1989.

Elektronikus dokumentumok / forrsok

DR. TTH Lszl: A matematikai logika alapjai [elektronikus dokumentum] URL:http://www.ttk.pte.hu/matek/ltoth/A%20matematikai%20logika%20alapjai,%202005 .pdf (letltve: 2010. mjus 5.) Kzpiskolai Matematikai Lapok [online dokumentum] http://www.komal.hu/forum/forum.cgi?a=to&tid=66&st=10&sp=163

171