Modus ponens - studopediya
A „módban” a különböző logikai néhány gyakori formája érvelés. „Modus ponens' - középkori logikai kifejezés jelöli egy adott következtetési szabály, és a megfelelő logikai törvény.
Következtetési szabály modus ponens, úgynevezett elválasztási szabály vagy hipotetikus szillogizmus, lehetővé jóváhagyása feltételes állítás és az alapító nyilatkozat (előzmény) annak állításával a következménye (következetes) ezt a kijelentést:
Itt a "ha A, akkor B" és "A" - küld, "B" - a következtetést;
vízszintes vonal jelöli a szó „ezért”. Tovább bejegyzés:
Ha A, akkor B. A. Ezért, V.
Ennek köszönhetően a szabály küldött „ha A, akkor B”, a „A” csomag, úgy tűnik, hogy külön megkötésére „B”. Például:
Ha egy személy az influenza, beteg volt. A férfi az influenza.
Ez a szabály folyamatosan használják a mi érvelés. Ez volt az első megfogalmazott, például lehet megítélni, a tanuló Arisztotelész, Theophrastus még a III. BC
A megfelelő szabályt elválasztó logikai törvény az alábbiak szerint történik:
Ha igaz az, hogy ha az A, majd a B és A igaz B. Például: „Ha az eső a fű gyorsabban növekszik, és az eső, a fű gyorsabban növekszik.”
Az érvelés szerint a szabály modus furat az alapja az igazi állítások feltételes állítások jóváhagyására, annak következményeit. Ez logikailag helyes mozgás a gondolat néha zavaros egy hasonló, de logikailag hibás mozgását a következménye, hogy a valódi feltételes állítás, hogy az alapító nyilatkozatot.
Például, a megfelelő következtetés:
Ha Bi - metal, ez vezeti az elektromosságot.
A bizmut vezeti az elektromosságot.
De külsőleg hasonlít rá következtetés:
Ha Bi - metal, ez vezeti az elektromosságot.
A bizmut vezeti az elektromosságot.
Logikátlan. Azzal érvelt, hogy az utóbbi rendszer, lehetséges, hogy jöjjön a valódi helyiségek hamis következtetést. Például:
Ha egy személy összegyűjti bélyegek, ő volt a gyűjtő.
Egy ember gyűjt bélyeget.
Nem minden gyűjtők gyűjteni Marco; az a tény, hogy az emberek gyűjtő, lehetetlen arra következtetni, hogy összegyűjti csak a márka. Az igazság a helyiségek nem garantálja az igazságot a következtetést.
Ellen keverési szabályt modus ponens az említett szabálytalan áramköri figyelmeztet: az alapvonaltól, hogy erősítse meg az érvényesítési vizsgálatot lehet következtetni, a visszaigazolást a vizsgálat, hogy érvényesítse a bázis - nincs.