MD-liburua/Proposizio-logika
KONTUZ! Fitxategi hau zirriborroa da oraindik. LANEAN ARI GARA
1. Gaia: Proposizio-logika
aldatu1.1 Sarrera
aldatuHizkuntzan esaldi ezagutarazleak, agintzaileak eta galdetzaileak erabiltzen ditugu. Ezagutza, funtsean, lehenek deskribatzen dute. Ezagutza bi bidetik jaso dezakegu: gertakariak edo ideiak egiaztatuz, esaldi ezagutarazleen bidez, edo dedukzioaren bidez.
Logika formalaren helburua dedukzioa (arrazoibidea, inferentzia, argudiatzea) da. Dedukzioa ezagutzen diren datu batzuetatik ezagutza berriak sortzean datza. Arrazoibide baten ezaugarri nagusia hau da, abiapuntutzat hartzen ditugun baieztapen (premisa) batzuetatik beste baieztapen (ondorio) bat ondorioztatzea. Gogoratzea edota imajinatzea, adibidez, pentsaerak dira, baina ez dira arrazoibideak.
Arrazoibide orok forma eta edukia ditu.
Arrazoibide hauek edukian bereizten dira:
(1)
- Lehoi guztiak ugaztunak dira.
- Ugaztun guztiek birikak dituzte.
- Beraz, lehoi guztiek birikak dituzte.
(2)
- Zenbaki arrunt guztiak bikoitiak dira.
- Zenbaki bikoiti guztiak lehenak dira.
- Beraz, zenbaki arrunt guztiak lehenak dira.
baina forma bera dute:
- a guztiak b dira.
- b guztiak c dira.
- Beraz, a guztiak c dira.
Logika arrazoibideen forman bakarrik aritzen da. Horregatik da logika formala baliozko arrazoibideen eskemen edo formen zientzia.
Aurreko eskema baliozkoa da, premisak egiazkoak badira, ondorioa halabeharrez izango baita egiazkoa.
Ohar gaitezen arrazoibidea baliozkoa izan daitekeela premisak egiazkoak edo faltsuak diren kontuan izan gabe. Arrazoibide zuzena izan daiteke, nahiz eta premisak eta ondorioa faltsuak izan, (2) adibidean bezala.
Arrazoibide bat baliozkoa edo zuzena da, bere premisak egiazkoak izanik, ondorioa ezin denean faltsua izan. Premisak egiazkoak izan edo faltsuak izan beste kontu bat da, logikatik at geratzen den kontua (zenbaki bikoitiak lehenak izan ala ez aritmetikaren kontua da, ez logikarena).
Ikus ditzagun beste adibide batzuk:
(3)
- Pilotan ari banaiz, kirolean ari naiz.
- Kirolean ari naiz.
- Beraz, pilotan ari naiz.
arrazoibidea eskema honi lotzen zaio:
- a bada, orduan b.
- b.
- Beraz, a.
(4)
- Aberatsa banaiz, ona naiz.
- Ez naiz aberatsa.
- Beraz, ez naiz ona.
Dagokion eskema hau da:
- a bada, orduan b.
- Ez a.
- Beraz, ez b.
Arrazoibide horiek ez dira zuzenak, gerta baitaiteke premisak egiazkoak izatea eta, hala ere, ondorioa faltsua izatea.
Logikak arrazoibideen forman oinarritu behar du, edukiak kontuan izan gabe. Horregatik gainditu behar du hizkuntza naturalaren joera, non forma eta edukia nahasirik ematen baitira. Bestalde, forma isolaturik agertzen duen lengoaia bat erabili behar dugu, hots, arrazoibideen egitura bakarrik erakusten duen lengoaia.
Horregatik sortuko dugu lengoaia artifiziala, objektu lengoaia deituko duguna. Eta horri buruz hitz egiteko erabiliko dugun hizkuntzari metalengoaia deituko diogu (Euskaraz idatzitako ingelesari buruzko liburu batean, euskara metalengoaia da).
Zeinuak edo hizkuntzak, zeinu-sistema gisa, aztertzen dituen zientzia semiotika da. Semiotika sintaxiak, semantikak eta pragmatikak osatzen dute.
Sintaxiak zeinuen arteko erlazioak bakarrik aztertzen ditu. Ongi osatutako zeinuen segidak ezagutu eta eraiki egiten ditu. Esaterako, “da hau erloju Arantzarena” hitzen segida gaizki osaturik dagoela esaten dugunean, arazo sintaktiko bati heltzen diogu. Semantikak, beste aldetik, zeinuen eta zeinuek adierazten dutenaren arteko erlazioak aztertzen ditu; hau da, zeinuen eta horiekin aipatzen ditugun zera horien arteko erlazioak (izen berezien eta izendatutakoen arteko erlazioak, enuntziatuen eta enuntziatuek deskribatzen dutenaren arteko erlazioak...): “Multzo-teorian, multzo hutsa elementurik ez duen multzoa da” esaten dugunean, semantikan ari gara.
Azkenik, pragmatikan hizkuntzaren elementuen eta hizkuntz komunitateko kideen arteko erlazioek ere hartzen dute parte. Esate baterako, “abertzale” hitzak esanahi desberdina du, erabiltzailearen arabera.
Hau da, pragmatika egiten dugunean, hizkuntzaz kezkatuko gara, subjektu baten edo talde baten jokabide gisa. Semantikan, aldiz, hiztunaz ahaztuko gara, eta bere hizkerak erabiltzen dituen zeinuen eta zeinu horiek irudikatzen dituzten gauzen arteko erlazioak aztertuko ditugu. Sintaxian, azkenik, zeinuak eta zeinuen arteko erlazioak bakarrik aztertuko ditugu, kontuan izan gabe zeinu horiek aipatzen dituzten gauzak edo egoerak.
Lengoaiaren formak sinbolizatzean, bi maila bereiz ditzakegu: Proposizio-kalkulua eta Predikatu-kalkulua.
Proposizio-kalkulua: hizkuntza arruntaren esaldi ezagutarazle bakunak (proposizioak) oinarrizko elementutzat hartuko ditugu, eta adierazi.
Predikatu-kalkulua: proposizioen osagai batzuk oinarrizko elementutzat hartuko ditugu, eta adierazi: terminoak eta predikatuak.
Lengoaia adierazteko bi maila horietarako bi eratan adieraz daitezke dedukziozko egitura zuzenak:
Interpretazio-teoria edo Eredu-teoria: proposizioei eta dedukziozko egitura zuzenei egoki dakizkiekeen esanahiak (gehienetan egiazkoa eta faltsua) definitzean datza.
Frogabidearen eta dedukzio naturalaren teoria: dedukziozko egitura zuzen batzuk eta horietatik dedukziozko egitura berri batzuk lortzeko arauak axiomatikoki definitzean datza.
1.2 Proposizio-kalkulua. Esaldien formalizazioa
aldatuLogika formalaren azterketa oinarritik hasiko dugu, proposizioen edo enuntziatuen logikatik hain zuzen. Sinbolizazio-maila honetan lengoaia elementu hauek osatuko dute:
- Enuntziatu bakunak, proposizio atomikoak deituak;
- lokailuak.
Enuntziatu bakunak (proposizio atomikoak) informazioa duen hizkuntzaren unitate txikientzat har ditzakegu, informazio horri buruz zerbait esan dezakegularik (egiazkoa edo faltsua dela):
Esate baterako, “euria ari du”, “Ane azkarra da”.
Hizkuntzaren “euria”, “Ane” elementuek ez dute berezko informaziorik, ez badira elkartzen beste elementu batzuekin; ez dira, beraz, proposizioak. Horregatik ez dira agertuko proposizio-kalkuluan; predikatu-kalkuluan, ordea, bere lekua izango dute.
Aurreko enuntziatuak ezin dira banatu informazioa duten hizkuntzaren elementu txikiagoetan. Izan ere, “ari du” zatiak ez du informaziorik ematen ez bazaio zerbaiti lotzen.
“Euria ari du eta bustitzen ari naiz” esaldia, ordea, bi zatitan bana dezakegu “eta” hitzaren bidez (“euria ari du”, “bustitzen ari naiz”), bakoitzak berezko informazioa ematen duelarik.
“Eta” hizkuntzaren elementua da eta bi proposiziotik esaldi berri bat eraikitzeko balio du; esaldi berriaren informazioa proposizioena bera da, baina aldiberekotasuna erantsiz. “Euria ari du eta bustitzen ari naiz” proposizio konposatuaren adibidea da.
Hizkuntzan badira beste hitz batzuk esaldiak alboratzeko: “baina”, “hala ere”, “ordea”, “nahiz eta”... Horiek guztiek, informazio-edukiaren ikuspuntutik, “eta” hitzaren paper bera jokatzen dute. Hala ere, hiztunari aukera ematen diote esaldi batzuk azpimarratzeko beste esaldi batzuen aurrean. Proposizio-kalkuluan ez ditugu eite horiek kontuan izango, eta horregatik beren adierazpen matematikoa “eta” hitzarena izango da.
Aurreko adibidean “eta” lokailu bat da. Lokailu bat esaldi batzuetatik esaldi berri bat eraikitzeko aukera ematen duen hizkuntzaren elementu bat da, esaldi lotuen informazioei ñabardurak eransten dizkiola. Gorago esan bezala, lokailu bera, informazio-edukiaren ikuspuntutik, hizkuntza arruntaren zenbait elementuren bidez gauza daiteke.
Proposizio-kalkuluaren lokailuak hauek dira: ukapena, konjuntzioa, disjuntzioa, baldintzazkoa eta baldintzabikoa.
Proposizio-kalkuluaren sinbolizazio matematikoa proposizioetan eta lokailuetan oinarritzen da; honela:
- p, q, r, s, . . . hizkiek proposizio atomikoak adieraziko dituzte. Adibidez, “euria ari du” esaldia p adieraziko dugu, eta “bustitzen ari naiz” esaldia q.
- Lokailuak adierazteko sinbolo hauek erabiliko ditugu:
- Ukapena: ¬
- Konjuntzioa: ∧
- Disjuntzioa: ∨
- Baldintzazkoa: →
- Baldintzabikoa: ↔
Horrela, “Euria ari du eta bustitzen ari naiz”, “Aldi berean euria ari du eta bustitzen ari naiz” “Euria ari du, baina bustitzen ari naiz”, “Euria ari du, hala ere bustitzen ari naiz”, “Euria ari duen bitartean bustitzen ari naiz” esaldiak honela adieraziko ditugu:
Azpimarratzekoa da esaldiaren egitura adierazteko era bat dela, eta ez esaldia idazteko era bat. Logika egitura horien azterketaz arduratzen da, ez informazioaren edukiaz.
Jarraian lokailuak definituko ditugu:
Ukapena:
motako proposizio batetik “ez ”, “ faltsua da”, “ ez da egiazkoa” motako proposizioa eraikitzeko aukera ematen duen lengoaiaren elementua da.
Konjuntzioa:
bi proposizioak lotuz “ eta ”, “ , baina ”, “ , hala ere ”, “ , nahiz eta ”... motako proposizioa eraikitzeko aukera ematen duen lengoaiaren elementua da.
Disjuntzioa:
bi proposizioak lotuz “edo edo edo biak”, “gutxienez edo ”... motako proposizioak eraikitzeko erabiliko dugun lengoaiaren elementua da.
Hizkuntza arruntaren “edo”, “ala” hitzek bi esanahi dituzte: Inklusiboa: Larunbatean edo igandean hots egingo dizut. Esklusiboa: Zenbaki bakoitia edo bikoitia da.
Ez dakigu esaldi batzuetan zentzu inklusiboa edo esklusiboa dagoen. Baina logikaren ikuspuntutik interesgarriagoa da zentzu inklusiboa esklusiboa baino. Hortaz, beti izango da inklusiboa.
Baldintzazkoa:
Hizkuntza arruntaren kausa-ondorio erlazioa adierazteko erabiliko dugu: “ bada, ”, “ soilik baldin ”, “ bada”, “ beharrezkoa da izateko”, “ nahikoa da izateko”, “ez ez bada ”... aurrekaria eta atzekaria deituko ditugu.
Adibidez, “seme-alabak ditut” bada eta “emakumea naiz” bada, “Ez dut seme-alabarik ez banaiz emakume” esaldia adieraziko dugu.
Baldintzabikoa:
“ nahikoa eta beharrezkoa da izateko”, “ baldin eta soilik baldin bada” bezalako esaldiak adierazteko erabiliko dugu.
Adibideak
“ bikoitia bada, bakoitia da eta bakoitia da”.
Proposizio atomikoak hauek dira:
- : “ bikoitia da”
- : “ bakoitia da”
- : “ bakoitia da”
Formalki, esaldia inplikazio bat da, aurrekaria lehenengo proposizioa eta atzekaria azkeneko bien konjuntzioa izanik. Proposizio-logikan honela adieraziko dugu esaldi hori:
Adierazpen hori beste era honetan ere irakur dezakegu: “ ez da bikoitia eta ez badira bakoitiak”.
“Mendira joango naiz edo hondartzara joango naiz soilik eguraldi ona egiten badu”.
- : “mendira joango naiz”
- : “hondartzara joango naiz”
- : “eguraldi ona egiten du”
Honela adieraziko dugu esaldia:
Adierazpen hori bera erabiliko dugu honetarako: “Ni mendira edo hondartzara joan nadin beharrezkoa da eguraldi ona egin dezan”.
Programazioko “If p then q else r” egitura logikoak “p bada, orduan q, eta p ez bada, orduan r”. Bere adierazpena proposizio-kalkuluan hau da:
Oharra. Hizkuntza arruntean lokailuek eragiten dituzten esaldiak testuinguruaren edo zeinuen arabera ezagutzen ditugu. Lengoaia formalean parentesiak erabili beharko ditugu lokailu bakoitzari dagokion proposizioa zehazteko. Horrez gain, hizkuntza arruntean ez dira aipatutako bi lokailu jarraian agertzen.
Beraz, “forma” hauek idazteko arauak definitu beharko ditugu, hizkuntza arruntean esaldiak eraikitzeko erabiltzen ditugun arauetatik abiatuta.
Hau da, proposizioen “formak”, formula deituko ditugunak, idazteko sintaxia definitu beharko dugu, aurretik aipatu ditugun baldintzak kontuan izanik (lokailuak jarraian ez, proposizioen eta lokailuen arteko erlazioak definitu...).
1.3 Sintaxia
aldatuLengoaia baten sintaxia zeinuen arteko erlazioaz arduratzen da; hau da, zeinuen segida ongi eratuak ezagutu eta eraikitzen dituen teoria da.
Definizioa. Proposizio-lengoaiaren alfabetoa sinbolo hauek osatzen dute:
- Enuntziatu bakunak adierazteko erabiliko ditugun sinboloak: . Sinbolo hauei atomo deituko diegu.
- Lokailu logikoak (edo eragile logikoak) adierazteko erabiliko ditugun sinboloak: .
- Sinbolo inpropioak: parentesiak, .
Definizioa. Formula bat multzoaren elementuekin eratutako segida finitu bat da. Adibidez, , , ...
Definizioa. Proposizio-kalkuluan formula ongi eratuak (foe) arau hauei jarraituz eraikiko ditugu:
- Atomo bat formula ongi eratua da.
- eta formula ongi eratuak badira, , , , eta ere formula ongi eratuak dira.
- Aurreko bi arauak kopuru finitu aldiz erabiliz lortzen diren formulak soilik dira formula ongi eratuak.
Esate baterako, hauek formula ongi eratuak dira: , , , , eta . Beste hauek, ordea, ez dira: eta .
Hemendik aurrera, formulez hitz egiten dugunean formula ongi eratuei (foe) gatzaizkie.
Definizioa. formula emanik, formularen azpiformula formularen zatia den ondoz ondo eraikitako formula ongi eratu bat da.
Adibidez, bada, eta azpiformulak dira, baina ez da azpiformula.
Definizioa. Formula batean, lokailu baten agerpen baten irismena agerpen horrek eragiten dituen azpiformulak dira.
Formula bat idazterakoan parentesi batzuk ezaba ditzakegu:
Nahasteko arriskurik ez dagoenean. Adibidez, formula honela idatz dezakegu: .
Lokailuen artean hierarkia bat definituz:
1. maila: .
2. maila: , .
3. maila: , .
Formula batean maila desberdinetako lokailuak agertzen direnean, maila goreneko lokailuak ez du parentesien beharrik izango.
Hierarkia hau aritmetikako eragitetarako erabiltzen dugun hierarkiaren antzekoa da. Adibidez, formula honela idatz dezakegu: . Aritmetikan, honela idazten dugun bezala: .
Adibideak.
formula idatz dezakegu; izan ere, lokailua lokailua baino maila altuagokoa denez, eta formulen parentesiak ken ditzakegu.
Lokailu baten agerpen bakoitzaren irismena adierazteko, agerpen hori eta bere irismena etiketatuko ditugu, honela:
formula idatz dezakegu, lokailua 3. mailakoa denez, eta lokailuek lotzen dituzten aurreko bi formulen parentesiak ken ditzakegu.
formula idatz dezakegu.
Ezin dugu parentesi gehiagorik kendu, eta maila berekoak direlako.
formulan lokailuen agerpenen irismenak hauek dira:
Hortaz, parentesiak jarriz gero, formula hau izango dugu:
.
1.4 Semantika
aldatuAtomoak esaldi ezagutarazleak adierazteko erabiliko ditugu; eta horiek, bestelakoak ez bezala, egiazkoak edo faltsuak dira beti. Beraz, atomoak egiazko edo faltsu balioak har ditzaketen aldagaitzat hartuko ditugu. Proposizio atomiko baten egiazkotasunari edo faltsutasunari proposizioaren egia-balio deituko diogu.
Adibidez, aldagaiak egiazko edo faltsu balioak har ditzake, eta honela azalduko dugu:
non 1 balioak egiazkoa eta 0 balioak faltsua esan nahi duten.
aldagai baten ordez, eta bi aldagai hartzen baditugu, eta dagozkien egia-balioak konbinatzen baditugu, honelako taula bat lortuko dugu:
Hiru aldagai baditugu, , eta taula hau izango dugu:
Oro har, atomo badauzkagu, , beren egia-balioen konbinazioen kopurua izango da.
Definizioa. Izan bedi formula ongi eratua eta izan bitez ( ) formulan agertzen diren atomoak. formularen interpretazio bat atomoei egia-balioak esleitzean datza, honela: atomoei balio bana, edo , esleitzen zaie.
Formulak atomo baditu, formulak interpretazio desberdin izango ditu.
Adibidea. Izan bedi . formulan 3 atomo desberdin agertzen dira. Hortaz, 8 interpretazio desberdin izango ditu formulak, aurreko taularen 8 lerroak hain zuzen.
badira formula ongi eratuan agertzen diren atomo desberdinak, formularen interpretazio bat multzo bat gisa adieraz dezakegu,
non bakoitza honela zehaztuko dugun:
Adibidea. Hona hemen formularen interpretazio batzuk: , , , , etab. interpretazioan, eta atomoei balioa esleitu diegu, eta atomoari balioa.
formula ongi eratua eta bere interpretazio bat emanik, formularen interpretaziorako egia-balioa kalkula dezakegu. Egia-balio hori idatziko dugu eta ondoko bost arau hauek, lokailu bakoitzeko bat, aplikatuz kalkulatuko dugu:
Erregelak
Izan bitez eta bi formula ongi eratu, edozein:
izango da denean eta izango da denean. Taula eta definizioa:
izango da denean eta izango da bestelako kasuetan. Taula eta definizioa:
izango da denean eta izango da bestelako kasuetan. Taula eta definizioa:
Ohar dezagun disjuntzio inklusiboa dela. Disjuntzio esklusiboak bat izango luke lehenengo lerroan.
izango da eta direnean eta izango da bestelako kasuetan. Taula eta definizioa:
Ohar dezagun, bada, dela beti, nahiz eta eta formulen artean erlaziorik ez egon; berdin denean.
izango da denean eta izango da bestelako kasuetan. Taula eta definizioa:
Definizioa. formula ongi eratua eta bere interpretazio bat emanik, bada, formula interpretaziorako egiazkoa dela, edo interpretazioak formula egiaztatzen duela, edo interpretazioa formularen eredu bat dela, esango dugu. Eta idatziko dugu. bada, ordea, formula interpretaziorako faltsua dela, edo interpretazioak formula faltsutzen duela, esango dugu.
Aurreko bost erregelekin edozein formula ongi eraturen egia-balioa kalkula dezakegu interpretazio baterako.
Adibidea. Izan bedi eta izan bedi interpretazioa. Ikus ditzagun, lehendabizi, lokailuen agerpenen irismenak:
eta osa dezagun taula:
Beraz, interpretazioak formula faltsu egiten du.
Saia gaitezen, orain, interpretazioarekin. Taula hau da:
Beraz, interpretazioak formula egiaztatzen du. Hau da, .
Bide beretik, formularen egia-balioak kalkula ditzakegu interpretazioetarako.
Adibidean ikus dezakegun bezala, formula bat ez da berez egiazkoa edo faltsua, baizik eta egiazkoa edo faltsua da interpretazio baterako.
Formula baten interpretazio guztietarako egia-balioak erakusten dituen taula bati formularen egia-taula deituko diogu.
Adibideak.
formularen egia-taula:
-
formularen egia-taula:
1.5 Baliozkotasuna. Inkontsistentzia. Baliokidetza logikoak
aldatuDefinizioa. formula ongi eratu bat emanik, esango dugu
- formula kontsistentea dela gutxienez formularen interpretazio baterako egiazkoa bada.
- formula tautologia edo baliozkoa dela formularen interpretazio guztietarako egiazkoa bada. Eta adieraziko dugu.
- formula inkontsistentea edo kontraesana dela ez bada kontsistentea, hau da, formularen interpretazio guztietarako faltsua bada.
- formula baliogabea dela ez bada baliozkoa, hau da, gutxienez formularen interpretazio baterako faltsua bada.
Adibideak.
[baliozkotasuna]
- Izan bedi ; bere egia-taula hau da:
Hortaz, tautologia da, , eta kontsistentea da.
- Izan bedi ; bere egia-taula hau da:
Beraz, inkontsistentea eta baliogabea da.
- Izan bedi ; bere egia-taula hau da:
Beraz, kontsistentea eta baliogabea da.
Egia-taularen arabera aukera hauek guztiak izango ditugu formula baterako:
Ondoko taulan, emandako lau definizioen arteko nahasketa guztiak ikusiko ditugu:
Kontsistentea Bai Ez Baliogabea Bai Bai
Beste alde batetik, erraz ikus dezakegu, formula bat emanik,- tautologia da baldin eta soilik baldin inkontsistentea bada.
- inkontsistentea da baldin eta soilik baldin tautologia bada.
- tautologia bada, kontsistentea da; baina elkarrekikoa ez da, orokorrean, egiazkoa.
- inkontsistentea bada, baliogabea da, eta elkarrekikoa ez da, orokorrean, egiazkoa.
[baliozkotasuna] adibidean, kontsistentea da, baina ez da tautologia. Eta baliogabea da, baina ez da kontraesana.
Definizioa. eta bi formula ongi eratuak logikoki baliokideak dira egia-balio berberak badituzte interpretazio guztietarako ( da interpretazio guztietarako), edo berdina dena, eta formulen egia-taulak berdinak direnean.
eta formula logikoki baliokideak badira, idatziko dugu.
Adibidea. Izan bitez eta formulak; beren egia-taulak hauek dira:
Beraz, eta baliokideak dira, hots, .
Baliokidetza logikoak
Baliokidetza logikoen artean hauek aipatuko ditugu: , eta formula ongi eratuak emanik,
- Elkartze-legeak (ELKAR)
- Trukatze-legeak (TRUK)
- Banatze-legeak (BANA)
- Tautologiak (TAUT)
- Ukapen bikoitza (UB)
- De Morganen legeak (DeM)
- Transposizioa (TRANS)
- Inplikazio materiala (INP)
- Baliokidetza materialak (BALIO)
- Esportazioa (ESP)
Baliokidetza horiek frogatzeko, egia-taulak kalkulatuko genituzke, eta berdinak direla egiaztatuko genuke.
Adibideak.
- 9b) baliokidetza frogatzeko, bi formulen egia-taulak kalkulatuko ditugu:
- , eta formulak edozein direnez gero, baliokidetza ere beteko da.
Oharra. eta lokailuen elkartze-legeak direla eta, eta parentesirik gabe idatz ditzakegu.
Hala ere, ezin izango dugu idatzi, delako.
Teorema. Izan bitez eta bi formula ongi eratuak,
Froga.
Soilik baldin: Demagun dela. Horrek esan nahi du edozein interpretaziotarako dela. frogatu behar dugu, hau da, edozein interpretaziotarako dela.
Izan bedi edozein interpretazio. Bi aukera daude:
- . Orduan, denez, izango dugu eta, hortaz, .
- . Orduan, eta, berriro ere, .
Bi kasuetan frogatuta geratu da dela.
Baldin: Demagun dela.
Izan bedi edozein interpretazio. Bi aukera daude:
- . Orduan, denez, izango dugu eta, hortaz, .
- . Orduan, denez, izango dugu.
Beraz, edozein interpretaziotarako da eta, ondorioz, .
1.6 Ondorio logikoak. Baliozko argumentuak
aldatuDefinizioa. eta formula emanik, formula formulen ondorio logikoa dela edo formuletatik logikoki deduzitzen dela esango dugu edozein interpretaziotarako, non den, ere bada.
formula formulen ondorio logikoa bada, honela adieraziko dugu:
Adibideak.
formula eta formulen ondorio logikoa da.
Bai formula bai formula diren errenkadetan (lehenengo errenkada bakarrik) formula ere da.
Hala ere, ez da eta formulen ondorio logikoa. Izan ere, lehenengo eta hirugarren errenkadetan eta formulak dira, baina hirugarren errenkadan formula da.
Teorema. [dedukzioI] eta formula emanik,
formula formulen ondorio logikoa da baldin eta soilik baldin bada.
Froga.
Soilik baldin. Demagun formula formulen ondorio logikoa dela. Frogatu beharko dugu dela, hau da, edozein interpretaziotarako dela.
Izan bedi edozein interpretazio. Bi aukera daude:
- . Orduan, ondorio logikoaren definizioaren arabera, izango dugu eta, hortaz, ere bai.
- baten baterako, . Orduan, izango da eta, hortaz, ere bai.
Baldin. Demagun, orain, dela. formula formulen ondorio logikoa dela frogatu behar dugu, hau da, edozein interpretaziotarako, bada, ere izango dela.
Izan bedi edozein interpretazio, non den. Orduan, izango da. Horrez gain, izateagatik, ere bada. Hortik aterako dugu.
Adibideak.
- formula eta formulen ondorio logikoa da. Hortaz, .
- formula ez da eta formulen ondorio logikoa. Hortaz, formula baliogabea da.
Teorema. [dedukzioII] eta formula emanik,
formula formulen ondorio logikoa da baldin eta soilik baldin formula inkontsistentea bada.
Teorema frogatu baino lehen, froga dezagun lema hau:
Lema. [baliolema] .
[baliolema] Lemaren froga
(inplikazio materiala) (De Morganen legeak) (ukapen bikoitza) (elkartze-legea).
Hortaz, .
[dedukzioII] Teoremaren froga
[dedukzioI] Teorema frogatzeko teknika bera erabil genezake, baina beste frogabide-mota bat erabiliko dugu.
[dedukzioI] Teoremaren arabera, formula formulen ondorio logikoa da baldin eta soilik baldin bada. Beste aldetik, badakigu dela baldin eta soilik baldin formula inkontsistentea bada. Lema erabiliz, azkeneko formula inkontsistentea da baldin eta soilik baldin formula inkontsistentea bada, baliokideak direlako. Nahi genuena lortu dugu, formula formulen ondorio logikoa da baldin eta soilik baldin formula inkontsistentea bada.
Adibideak. [ondolo]
formula eta formulen ondorio logikoa da. Hortaz, formula inkontsistentea da.
formula ez da eta formulen ondorio logikoa. Hortaz, formula kontsistentea da.
formula formularen ondorio logikoa da. Honela egiazta genezake: 1) definizioa erabiliz; 2) egiaztatuz; 3) formula inkontsistentea dela egiaztatuz.
Definizioa. Argumentu bat edo argumentu-eskema bat formula ongi eratuen multzo bat da, non premisa deitzen diren eta ondorio deitzen den. Honela adieraziko dugu:
Definizioa. Argumentu bat baliozkoa da edo ongi eraikita dago ondorioa premisen ondorio logikoa bada edo premisetatik logikoki deduzitzen bada, hau da, ezinezkoa bada premisak izatea eta ondorioa izatea.
Argumentu bat baliogabea da edo gaizki eraikita dago ez bada baliozko argumentua.
Adibideak.
- Baliozko argumentua
Premisak - Argumentu baliogabea
- Premisa egiazkoak izanik, ondorioa faltsua deneko kasua azpimarratu dugu, argumentua baliogabetzen duelako.
Baliozko argumentu-eskemak
Hona hemen ezagunak diren baliozko argumentu-eskema batzuk: edozein formula ongi eratu dira,
- Modus Ponens (MP)
- Modus Tollens (MT)
- Silogismo Hipotetikoa (SH)
- Silogismo Disjuntiboa (SD)
- Dilema Eraikitzailea (DE)
- Dilema Suntsitzailea (DS)
- Konjuntzioaren Sinplifikazioa (KS)
- Konjuntzioaren Konbinazioa (KK)
- Disjuntzioaren Batuketa (DB)
Aurreko argumentuak baliozkoak direla egiazta dezakegu egia-taulen bidez. Esate baterako, silogismo disjuntiboa frogatzeko taula hau osatuko dugu:
eta silogismo hipotetikoa frogatzeko beste hau:
Oharra. edozein foe direnez, argumentu hau ere baliozkoa da:
Silogismo hipotetikoaren eskemari dagokio: , eta .
1.7 Dedukzio formala
aldatu1.7.1 Froga formala. Inferentzi erregelak
aldatuArgumentuek bi edo hiru atomo baino gehiago dituztenean, baliozkotasuna frogatzeko egia-taulak erabiltzea luze eta astun egiten da.
Bide motzago bat, argumentuak baliozkoak direla frogatzeko, argumentu elementalak erabiltzea da, baliozkoak direla badakigulako; inferentzi erregelak deitzen dira.
Adibidez, hau inferentzi erregela bat da:
non eta edozein foe diren. Demagun argumentu hau baliozkoa dela frogatu nahi dugula:
Erregela aplikatuz ( eta direnean), 1 eta 3 premisetatik hau aterako dugu:
Erregela berriro aplikatuz ( eta direnean), 2 eta 4 formuletatik hau aterako dugu:
ondorioa dena. Beraz, argumentua baliozkoa da.
Inferentzi erregelak
Hasiera batean 9 inferentzi erregela erabiliko ditugu, baliozko argumentu hauek, hain zuzen:
- Modus Ponens (MP)
- Modus Tollens (MT)
- Silogismo Hipotetikoa (SH)
- Silogismo Disjuntiboa (SD)
- Dilema Eraikitzailea (DE)
- Dilema Suntsitzailea (DS)
- Konjuntzioaren Sinplifikazioa (KS)
- Konjuntzioaren Konbinazioa (KK)
- Disjuntzioaren Batuketa (DB)
Definizioa.
argumentu baten baliozkotasunaren froga formal bat formulen segida finitu bat da, , non:
- .
- balioetarako, edo premisa bat den edo segidaren aurreko formuletatik deduzitzen den inferentzi erregela baten bidez.
Interpretazio baterako, premisa guztiak egiazkoak direla suposatzen badugu, horietatik inferentzi erregelen bidez deduzituko ditugun formula guztiak egiazkoak izango dira, interpretazio horretarako. Hortaz, formula ere egiazkoa izango da, interpretazio horretarako.
1.7.2 Ordezkapen-erregela
aldatuBaliozko argumentu askoren kasuan beren baliozkotasuna ezin da bederatzi inferentzi erregela horien bidez frogatu. Adibidez,
baliozko argumentuaren froga formalak inferentzi erregela gehiago behar ditu.
Izan bitez foe bat, formularen azpiformula bat eta beste foe bat, non den. idatziko dugu formulan azpiformularen ordez formula jartzean lortzen den formula adierazteko.
Adibideak.
- Izan bedi formula. formularen azpiformula bat da. Bestalde, . Beraz, izango da.
- Izan bitez formula bat eta . azpiformula bat. Orduan, izango da.
Ohar gaitezen dela; izan ere, eta formulen egia-taulak kalkulatzerakoan, diferentzia bakarra eta azpiformulak dira; baina horiek egia-taula berdinak dituzte.
Ordezkapen-erregelak formulatik formula deduzitzeko aukera ematen digu, eta honela adieraziko dugu:
Ordezkapen-erregelari esker, aurreko bederatzi inferentzi erregelei beste hamar erregela erants diezazkiekegu, baliokidetza logikoetan oinarrituz.
Adibideak.
- Baliozkotasunaren froga formala argumentu honetarako: / .
Diferentzia handi bat dago erregela honen eta aurreko bederatzi erregelen artean. [erregelak] atalean definitutako erregelak frogabide baten formula osoei aplikatu dizkiegu; ordezkapen-erregelaren barruan dauden hamar erregelak, ordea, formula osoei zein azpiformulei aplikatuko dizkiegu. Adibidez, konjuntzioaren sinplifikazioa formula osoei bakarrik aplika diezaiekegu: esaterako,
argumentuan ongi aplikaturik dago, baina
argumentuan gaizki aplikaturik dago. Eta trukatze-legea, esate baterako, formula osoei aplika diezaiekegu,
bai eta azpiformulei ere,
Zerrendari beste erregela batzuk erants geniezazkioke, esate baterako, / . Baina zerrenda luzeegia eta erabiltezina izango genuke.
Beste alde batetik, inferentzi erregelen zerrendak erredundantziak ditu; esaterako Modus Tollens erregela ken genezake, beste erregelen bidez emaitza bera lor dezakegulako. Adibidez:
Hala eta guztiz ere, Modus Tollens erregela sartu dugu, inferentzi erregela ezaguna eta intuiziozkoa delako. Berdin gertatzen da beste erregela batzuekin.
Adibideak.
1.7.3 Baldintzazko frogaren erregela
aldatumotako baldintzazko formula bat deduzitu nahi dugunean erabil dezakegun inferentzi erregela da. Adibidez, / .
Teorema. (Baldintzazko frogaren erregela)
argumentua baliozkoa da baldin eta soilik baldin
argumentua baliozkoa bada.
Froga.
(1) argumentua baliozkoa da baldin eta soilik baldin formula formulen ondorio logiko bat bada, baliozko argumentuaren definizioaren arabera.
[dedukzioI] Teorema aplikatuz, formula formulen ondorio logiko bat da baldin eta soilik baldin bada.
Eta hori horrela da baldin eta soilik baldin bada, (ESP) delako.
Eta azken hori beteko da baldin eta soilik baldin formula formulen ondorio logiko bat bada, [dedukzioI] Teorema erabiliz. Hau da, baldin eta soilik baldin (2) argumentua baliozkoa bada, baliozko argumentuaren definizioaren arabera.
Erregela erabiltzeko bidea
premisak dituen (1) argumentu bat emanik, formula deduzitu nahi badugu, premisei hipotesia erantsiko diegu, eta deduzituko dugu. hipotesia eranstean beste argumentu bat, (2), izango dugu, premisak dituena. Behin deduzitu eta gero, hipotesia baztertuko dugu eta, baldintzazko frogaren erregela aplikatuz, deduzituko dugu; hau da, formula formuletatik deduzituko dugu. Hori dena honela adieraziko dugu:
Idazkera horrekin adierazi nahi dugu etik ra bitartean formulak premisak erabiliz deduzitu ditugula ((2) argumentua). formula, aldiz, premisetatik deduzitu dugu ((1) argumentua), hipotesia baztertu dugu.
1.7.4 Zeharkako frogaren erregela edo absurdora eramateko erregela
aldatuZeharkako frogaren metodoa, edo absurdora eramateko metodoa, frogatu nahi dugunaren aurkakoa suposatu eta kontraesan bat (formula inkontsistente bat) deduzitzean datza.
Formula inkontsistente bat adieraziko dugu (adibidez, ).
[aee] Teorema (Zeharkako frogaren erregela edo absurdora eramateko erregela)
argumentua baliozkoa da baldin eta soilik baldin argumentua baliozkoa bada.
Erregela frogatzeko lema hau erabiliko dugu:
Lema. [boxezkon] Izan bedi foe inkontsistente bat eta izan bedi edozein foe. Orduan,
inkontsistentea da baldin eta soilik baldin bada.
[boxezkon] Lemaren froga
Solik baldin. Demagun formula inkontsistentea dela; frogatu behar dugu, hau da, edozein interpretaziotarako, betetzen dela.
Izan bedi edozein interpretazio. formula inkontsistentea denez, da eta, hortaz, izango da.
Baldin. Demagun dela. formula inkontsistentea dela frogatu behar dugu, hau da, edozein interpretaziotarako, dela.
Izan bedi edozein interpretazio. denez, izango da eta, inkontsistentea denez, da. Hortaz, .
[aee] Teoremaren froga
(1) argumentua baliozkoa da baldin eta soilik baldin formula formulen ondorio logikoa bada, baliozko argumentuaren definizioaren arabera. Hori horrela da baldin eta soilik baldin formula inkontsistentea bada ([dedukzioII] Teorema) eta, lemaren arabera, baldin eta soilik baldin bada. Hori dena beteko da baldin eta soilik baldin formula formulen ondorio logikoa bada ([dedukzioI] Teorema). Hau da, baldin eta soilik baldin (2) argumentua baliozkoa bada, baliozko argumentuaren definizioaren arabera.
Erregela erabiltzeko bidea
premisak dituen (1) argumentu bat emanik, formula deduzitu nahi badugu, hipotesia erantsiko dugu eta kontraesan bat deduzituko dugu ( motako edozein formula). hipotesia eranstean, premisak dituen beste argumentu bat, (2), lortuko dugu. Behin kontraesana deduzitu eta gero, hipotesia baztertuko dugu eta, absurdora eramateko erregela erabiliz, formula deduzituko dugu ( formula formuletatik deduzituko dugu).
etik ra formulak premisak erabiliz deduzitu ditugu ((2) argumentua); formula, aldiz, formuletatik deduzitu dugu ((1) argumentua).
- Ikus ditzagun argumentu beraren bi froga formal, bata AEE erabiliz eta bestea erabili gabe. Absurdora eramateko erregela erabili gabe:
- Ikus ditzagun, berriro ere, argumentu beraren bi froga formal, bata AEE erabiliz eta bestea erabili gabe.