Modus Ponendo Ponens paaiškinimas ir pavyzdžiai

The modus ponendo ponenai tai yra logiškas argumentas, pagrįstas išvada, priklausantis formalioms 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.

Argumentas modus ponendo ponenai tai gali būti vertinama kaip dviejų kojų silylizmas, kuris vietoj to, kad naudos trečiąjį terminą tarnauti kaip nuoroda, naudoja sąlyginį sakinį, su kuriuo jis susieja ankstesnį elementą su tolesniu elementu.

Išvykę iš tradicinių, matome modus ponendo ponenai kaip procedūra (modus) išskaitymo taisyklių, kurios, tvirtinant (\ tišleidimas) iš ankstesnės ar nuorodos (ankstesnis elementas), sugeba patvirtinti (ponenai) prie išvados ar 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 netiesioginio ir sąlygojamo argumento, reikia dvigubo patvirtinimo - tiek prieš tai buvusio termino, tiek pačios - kad būtų galima laikyti atitinkamu..

Indeksas

• 1 Kilmė
  • 1.1 Etimologija
• 2 Paaiškinimas
• 3 Pavyzdžiai
  • 3.1 Pirmasis pavyzdys
  • 3.2 Antrasis pavyzdys
  • 3.3 Trečiasis pavyzdys
• 4 variantai ir pavyzdžiai
  • 4.1 1 variantas
  • 4.2 2 variantas
  • 4.3 3 variantas
  • 4.4 4 variantas
• 5 Modus ponens - kelias į logiką
• 6 Nuorodos

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 pakėlė modus ponens -taip pat vadinama - gauti pagrįstą išvadą, patvirtinant tiek precedentą, tiek pasekmes prielaida. Šiame procese pirmtakas pašalinamas, paliekant tik tą.

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

Etimologija

The modus ponendo ponenai Jo šaknys yra lotynų. Ispanų kalba jo reikšmė yra „metodas, patvirtinantis (patvirtina), patvirtina (tvirtina)“, nes, kaip jau buvo minėta, jis susideda iš dviejų elementų (pirmtako ir pasekmių) teigiamai jo struktūrizavime..

Paaiškinimas

Apskritai, modus ponendo ponenai koreliuoja du teiginius: prieš tai buvusį kondicionavimą, vadinamą „P“, ir sąlyginį rezultatą, kuris 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ą“.

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

Antrasis pavyzdys

1 prielaida: „Jei norite greitai patekti į mokyklą, tuomet jūs privalote imtis šio kelio“.

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

Baigiamajame darbe: „Todėl jūs turite imtis šio kelio“.

Trečiasis pavyzdys

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

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

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

Variantai ir pavyzdžiai

The modus ponendo ponenai gali sudaryti 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 valgote tokiu būdu“.

Išvada: „Todėl jūs negalėsite pasiekti savo idealaus svorio“.

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 esate kelyje, tuomet jūs neprarasite“.

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“

Tokiu atveju simbolis "^" reiškia kopuliacinį ryšį "ir", o "R" - tai kitas ankstesnis, kuris yra pridėtas, kad patvirtintų "Q". Tai yra, mes esame dvigubos būklės buvime.

Pirmasis pavyzdys

1 prielaida: „Jei grįšite namo ir atnešite popkorną, pamatysime filmą.

2 prielaida: „Tu namo ir atneša 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 nulūžsite“.

Trečiasis pavyzdys

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

2 prielaida: „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 balsavimo sutikimų, tuomet jums nepavyks kalbų egzamino“.

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

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

Antrasis pavyzdys

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

2 prielaida: „Neišduodate savo papūgos maisto“.

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 stygos“..

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

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

Antrasis pavyzdys

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

2 prielaida: „Praktikuojate maudytis“.

Išvada: „Todėl 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 išmokote ir esate labiau pasirengę“.

Modus ponens, kelias į logiką

The modus ponens yra pirmoji siūlomos 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.

Išbraukus sprendimą iš išvadų, modus ponens išvengiant agliutinacijos ir didelių elementų susimaišymo atliekant atskaitymus. Dėl šios kokybės ji taip pat vadinama „atskyrimo taisykle“.

The modus ponendo ponenai tai yra būtinas išteklius visapusiškam aristotelio logikos suvokimui.

Nuorodos

1. Ferrater Mora, J. (1969). Filosofijos žodynas. Buenos Airės: Hispanoteca. Gauta iš: hispanoteca.eu.
2. Modusas išleidžia ponenus. (S. f.). Ispanija: žiniatinklio kodas. Gauta iš: ley-de-inferencia5.webnode.es.
3. Modusas išleidžia ponenus. (S. f.). (n / a): Vikipedija. Gauta iš: wikipedia.org.
4. Išvados ir lygiavertiškumo taisyklės. (S. f.). Meksika: UPAV. Gauta iš: universidadupav.edu.mx.
5. Mazón, R. (2015). Ponių įdėjimas. Meksika: „Super Mileto“. Atkurta iš: supermileto.blogspot.com.