Inplikazio
Inplikazioa (latinezko implicare) baieztapen bat da, inplizituki beste bat duena. Etimologiari dagokionez, bere esanahia 'ezkutu' hitzetik dator; izan ere, inplizituki duen baieztapena ez da ikusgarria nahiz eta bere barnean egon, horregatik ez dago bigarren enuntziatua komunikatzeko beharrik. Inplikazioaren kontrako terminoa azalpena (latinezko explicare) da, ezkutuan dagoen zerbait ikusgarri eta ulergarria bihurtzea esan nahi duena.
Logikan, inplikazioa inplikazio logikoa edo inplikazio materiala izenekin ere ezagutzen da eta hurrengo eran adierazten da:
B A-ren ondorio logiko bat da eta "A-k B inplikatzen du" irakurtzen da.
Inplikazioen egiazkotasuna
A eta B bi enuntziatu izanik, bakoitza egia edo gezurra izateko aukera dago eta horren arabera inplikazioa beteko da ala ez. Aukera posible guztiak modu sinple batean aztertzeko egiazkotasun taulak erabili ohi dira:
Argi ikusten denez gezurrak edozer inplikatzen du; beraz, modu bakarra dago inplikazio bat gezurra izateko: A enuntziatua egia izatea eta B, ordea, gezurra.
Baldintza beharrezkoak eta nahikoak
Ikusi dugunez, egia izateko, A egia bada B derrigorrez egia izan behar du. Horregatik, A gertatzea nahikoa da B ere gertatzeko; beraz, A B-ren baldintza nahikoa da. Bestalde, B ez bada gertatzen A ez da gertatuko; hortaz, B A-rentzako baldintza beharrezkoa da. Hala ere, inplikazio egia izan daiteke nahiz eta A gezurra izan eta B egia, ondorioz B ez da A-rentzako baldintza nahikoa izango. Gainera, B-k gertatzea ez du ziurtatzen A gertatuko denik; beraz, A ez da B-ren baldintza beharrezkoa.
Baliteke eta aldi berean betetzea; hau da, A B-rentzako baldintza beharrezkoa eta nahikoa izatea. Kasu horietan, A eta B enuntziatuak baliokideak direla esaten da eta bi aukera bakarrik daude: bi enuntziatuak egia izatea edo biak gezurra. Baliokidetasuna horrela adierazten da:
Hau da, A-k B inplikatu behar du, baina, gainera, kontrako inplikazioa ere egia izan behar du (B-k A inplikatzea).
Inplikazioak frogatzeko zenbait metodo
Inplikazio bat gezurtatzeko, enuntziatu horren kontraadibide bat aurkitu behar da; hau da, betetzen duen elementua. Ordea, inplikazio bat baieztatu nahi dugunean, orokorki frogatu behar dugu. Frogapena aurrera eramateko ez dago bide zehatzik, baina hainbat metodo existitzen dira prozesuan erabilgarriak izaten direnak.
Inplikazio kateak
Gure helburua inplikazioa egia dela frogatzea da. Metodo hau erabilita, nahi adina enuntziatu tartekatzean datza.
Enuntziatu bat gehituz: eta bada, orduan da.
Esan bezala, nahi bezain luzeak diren kateak osa ditzakegu:
Esate baterako, inplikazio hau frogatuko dugu.
Hortaz, adibidean, R(x) = izango litzateke. Behin P R frogatuta, Q = frogatu beharko litzateke, besterik ez. Orduan, P R eta R Q moduan frogatzea errazagoa da.
Kontrajartzearen metodoa
Gure helburua inplikazioa egia dela frogatzea da. Metodo honetan oinarrituz, A-k B inplikatzen duen kontrajarriaren ukapena frogatu behar da: .
Adibidez, izanik,
P = | P = = |
---|---|
Q = | Q = = |
Hori dela eta, frogatu beharrean, dela frogatuko genuke.
Kontraesanaren bidezko froga
Metodo hau absurdura eramanez izenarekin ere ezagutzen da eta dioenez, inplikazioa egia dela frogatzeko enuntziatutik abiatu behar gara kontraesan batera heldu arte. Kontraesana absurdua izango denez, ezinezkoa izango da egia izatea; beraz, hasierako inplikazio egia izan beharko du.
Indukzio bidezko froga
Aurreko metodoetan arrazonamendu deduktiboa erabiltzen da; hau da, enuntziatu bat egia dela suposatuz beste bat egia dela frogatzea. Honetan, aldiz, arrazonamendu induktiboa erabiltzen da; alegia, zerbait behin eta berriz gertatzen ada, beti egia dela ondorioztatzea. Bi printzipio induktibo ezberdintzen dira:
Indukzio matematikoaren printzipioa
Zenbaki arrunten (Peanoren axiomak[1] jarraituz osatutako multzoa) enuntziatuak zenbaki arrunt guztietarako betetzen direla frogatzeko balio du.
Demagun P(n) enuntziatua egia dela nno guztietarako, ondoko baldintzan betetzen badira:
- P(no) egia dela
- P(k) egia bada, P(k+1) ere egia dela kno guztietarako
Indukzio sendoaren printzioa
Batzuetan indukzio matematikoaren printzipioaren bigarren pausua frogatzea ezinezkoa izan daiteke. Kasu horietan, horren ordez indukzio sendoaren printzioa aplikatzen da.
Demagun P(n) enuntziatua egia dela non guztietarako, baldin eta:
- P(no) egia bada
- P(k) egia bada kno guztietarako, P(k+1) ere egia bada kno guztietarako
Erreferentziak
- ↑ (Gaztelaniaz) «Construyendo los números naturales (I): Axiomas de Peano.» Lo fascinante de la teoría de números 2013-09-28 (Noiz kontsultatua: 2021-10-21).
Ikus, gainera
- Enuntziatu
- Beharrezkotasuna eta nahikotasuna
- Arrazoibide deduktibo
- Arrazoibide induktibo
Kanpo estekak
- https://egela.ehu.eus/pluginfile.php/4756597/mod_resource/content/7/1.gaia_teoria.pdf
Datuak: Q21573131