Modus Ponone Ponens: Paaiškinimas ir pavyzdžiai

Modus ponendo ponenai yra loginio argumento, pagrįsto išvada, priklausanti formalaus gerai žinomo pasiūlymo logikos atskaitos taisyklių sistemai. Ši argumentinė struktūra yra pradinis modelis, kuris perduodamas siūlomoje logikoje ir yra tiesiogiai susijęs su sąlyginiais argumentais.

Argumento modus ponendo ponenai gali būti vertinami kaip dviejų kojų syllogism, kuri vietoj to, kad naudos trečiąjį terminą tarnauti kaip nuoroda, naudoja sąlyginį sakinį, su kuriuo jis yra susijęs su ankstesniu elementu su tolesniu elementu.

Palikę konvencionalumą, mes matome, kaip modusas iškelia ponenus kaip atskaitos taisyklių taisyklę ( modus ), kad, pasitelkiant precedento ar nuorodos (ankstesnio elemento) teiginį ( pateikimą ), pavyksta įtvirtinti ( ponenus ) tolesnį arba išvados (vėlesnis elementas).

Ši pagrįsta formuluotė prasideda nuo dviejų pasiūlymų arba patalpų. Šiomis priemonėmis siekiama padaryti išvadą, kad, nepaisant to, kad jis yra netiesioginis ir sąlygotas argumente, reikalingas dvigubas patvirtinimas - abu termino, kuris yra prieš jį, ir pats savaime, kad būtų galima laikyti padariniu.

Kilmė

Šis teigiamas būdas, kaip dedukcinės logikos taikymo dalis, yra kilęs iš senovės. Atsirado graikų filosofas Aristotelis Estagiroje, Kr. C.

Aristotelis pasiūlė su modus ponens - taip pat vadinamas - gauti pagrįstą išvadą, patvirtinant tiek precedentą, tiek iš to daromą prielaidą. Šiame procese pirmtakas pašalinamas, paliekant tik tą.

Graikijos mąstytojas norėjo išdėstyti aprašomojo loginio pagrindimo pagrindus, kad paaiškintų ir konceptualizuotų visus reiškinius, artimus žmogaus egzistavimui, jų sąveikos su aplinka produktus.

Etimologija

Modus ponendo ponios šaknys yra lotyniškos. Ispanų kalba jo reikšmė yra: „metodas, patvirtinantis (patvirtinantis), patvirtina (tvirtina)“, nes, kaip minėta pirmiau, jis susideda iš dviejų elementų (precedento ir pasekmių) teigiamai jo struktūrizavime.

Paaiškinimas

Apskritai, modus ponendo ponenai koreliuoja du teiginius: prieš tai buvusį kondicionavimą, vadinamą „P“, ir sąlyginę sąlygą, kuri gauna „Q“ pavadinimą.

Svarbu, kad 1 prielaida visuomet pateiktų kondicionavimo formą „jei-tada“; „jei“ eina prieš ankstesnįjį, o „tada“ eina prieš sekantį.

Jo formuluotė yra tokia:

1 prielaida: jei „P“, tada „Q“.

2 prielaida: „P“.

Išvada: „Q“.

Pavyzdžiai

Pirmasis pavyzdys

1 prielaida: „Jei norite rytoj išlaikyti egzaminą, tuomet jūs turite daug mokytis.“

2 prielaida: „Rytoj norite išlaikyti egzaminą“.

Baigiantis: „Todėl jūs turite daug mokytis“.

Antrasis pavyzdys

1 prielaida: „Jei norite greitai patekti į mokyklą, tuomet jūs privalote eiti šiuo keliu.

2 prielaida: „Jūs norite greitai patekti į mokyklą“.

Baigiamajame darbe: „Todėl tu turi eiti šiuo keliu.“

Trečiasis pavyzdys

1 prielaida: „Jei norite valgyti žuvį, turėtumėte nusipirkti rinkoje.“

2 prielaida: „Jūs norite valgyti žuvį“.

Baigiamajame darbe: „Todėl jūs turite eiti pirkti rinkoje“

Variantai ir pavyzdžiai

Modus ponendo poniai savo formuluotėje gali pateikti mažus variantus. Toliau bus pateikti keturi dažniausiai pasitaikantys variantai su atitinkamais pavyzdžiais.

1 variantas

1 vieta: jei „P“, tada „Q“

2 prielaida: „P“

Išvada: „Q“

Tokiu atveju simbolis „“ yra panašus į „Q“ neigimą

Pirmasis pavyzdys

1 prielaida: „Jei valgysite tokiu būdu, tuomet jūs negalėsite pasiekti savo idealaus svorio“.

2 prielaida: „Jūs vis dar valgote taip.“

Išvada: „Todėl jūsų idealus svoris nebus pasiektas“.

Antrasis pavyzdys

1 prielaida: „Jei valgysite tiek daug druskos, tada negalėsite kontroliuoti hipertenzijos“.

2 prielaida: „Jūs vis dar valgote tiek daug druskos.“

Išvada: „Todėl negalėsite kontroliuoti hipertenzijos“.

Trečiasis pavyzdys

1 prielaida: „Jei žiūrite kelią, tuomet jūs neteksite.“

2 prielaida: „Jūs žiūrite kelią“.

Išvada: „Todėl jūs neprarasite“.

2 variantas

1 vieta: jei „P“ ^ „R“, tada „Q“

2 prielaida: „P“ ^

Išvada: „Q“

Šiuo atveju simbolis "^" reiškia kopuliacinį ryšį "ir", tuo tarpu "R" reiškia kitą ankstesnį, kuris yra pridėtas, kad patvirtintų "Q". Tai yra, mes esame dvigubos būklės buvime.

Pirmasis pavyzdys

1 prielaida: „Jei grįžtumėte namo ir atneškite popkorną, pamatysime filmą.“

2 prielaida: „Tu atėjai namo ir atneškite popkorną“.

Išvada: „Todėl pamatysime filmą.“

Antrasis pavyzdys

1 prielaida: „Jei vairuojate girtas ir pamatysite mobilųjį telefoną, tuomet griebsite“.

2 prielaida: „Jūs vairuojate girtas ir matote mobilųjį telefoną“.

Išvada: „Todėl jūs sudaužysite“.

Trečiasis pavyzdys

1 prielaida: „Jei geriate kavą ir valgote šokoladą, rūpinatės savo širdimi“.

Patalpos 2: „Gerkite kavą ir valgykite šokoladą“.

Išvada: „Todėl jūs rūpinatės savo širdimi“.

3 variantas

1 prielaida: jei „P“, tada „Q“

2 prielaida: „P“

Išvada: „Q“

Tokiu atveju simbolis „“ yra panašus į „P“ neigimą.

Pirmasis pavyzdys

1 prielaida: „Jei neišnagrinėjote balsių sutikimų, tuomet jums nepavyks kalbų egzamino“.

2 prielaida: „Jūs neišnagrinėjote balsavimo sutikimų“.

Išvada: „Todėl jums nepavyks kalbų egzaminą“.

Antrasis pavyzdys

1 prielaida: „Jei jūsų papūga nesuteikia maisto, jis mirs“.

2 prielaida: „Jūs nedarote maisto savo papūgaui“.

Išvada: „Todėl jis mirs“.

Trečiasis pavyzdys

1 prielaida: „Jei nevalgysite vandens, tada jūs tapsite dehidratuotas“.

2 prielaida: „Negalima gerti vandens“.

Išvada: „Todėl jūs tapsite dehidratuotas“.

4 variantas

1 prielaida: jei „P“, tada „Q“ ^ „R“

2 prielaida: „P“

Išvada: „Q“ ^ „R“

Tokiu atveju simbolis "^" nurodo kopuliacinį ryšį "ir", o "R" - antrasis, atsirandantis pasiūlyme; taigi, prieš tai buvęs asmuo tuo pačiu metu patvirtins dvi pasekmes.

Pirmasis pavyzdys

1 prielaida: „Jei buvote gerai savo motinai, tuomet tavo tėvas atneš jums gitara ir jo eilutes.“

2 prielaida: „Jūs buvote gerai su savo motina“.

Išvada: „Todėl tavo tėvas atneš jums gitara ir jos stygas“.

Antrasis pavyzdys

1 prielaida: „Jei užsiimate plaukiojimu, tada pagerinsite savo fizinį ištvermę ir neteksite svorio“.

2 prielaida: „Praktikuojate maudytis“.

Išvada: „Todėl jūs pagerinsite savo fizinį ištvermę ir neteksite svorio“.

Trečiasis pavyzdys

1 prielaida: „Jei perskaitėte šį straipsnį„ Lifeder “, tuomet jūs sužinojote ir esate labiau pasiruošę“.

2 prielaida: „Jūs perskaitėte šį straipsnį„ Lifeder “.

Išvada: „Todėl jūs sužinojote ir esate labiau pasiruošę“.

Modus ponens - kelias į logiką

Modus ponens yra pirmoji pasiūlymo logikos taisyklė. Tai koncepcija, kuri, pradedant nuo paprastų patalpų suprasti, atveria supratimą giliau.

Nepaisant to, kad jis yra vienas iš labiausiai naudojamų išteklių logikos pasaulyje, jis negali būti painiojamas su loginiu įstatymu; tai paprasčiausiai dedukcinių įrodymų rengimo metodas.

Slopindamas išvadų sakinį, modus ponens vengia atskaitymų agliutinacijos ir didelių elementų susiliejimo. Dėl šios kokybės ji taip pat vadinama „atskyrimo taisykle“.

Modus ponendo ponios yra būtinas išteklius, kad būtų visiškai žinomos aristotelio logikos.