Néhány logikai törvények modus ponens (modus ponens)
A „módban” a különböző logikai néhány gyakori formája érvelés.
Következtetési szabály modusponens (modus ponens). közkeletű nevén a szabály elválasztási vagy hipotetikus szillogizmus. Ez lehetővé teszi a jóváhagyást a feltételes állítás és az alapító nyilatkozat (előzmény) annak állításával a következménye (következetes) e.
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 elválassza a következtetésre «B».
Ha egy személy az influenza, beteg volt.
A férfi az influenza.
Az első alkalommal ez a szabály 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élda. Ha Bi - metal, ez vezeti az elektromosságot. Bizmut - fém.
A bizmut vezeti az elektromosságot.
Az érvelés szerint a szabály modusponens megy az alapja a valós á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élda helytelen következtetéseket:
Ha egy személy összegyűjti bélyegek, ő volt a gyűjtő. A férfi - egy gyűjtő.
Egy ember gyűjt bélyeget.
Nem minden gyűjtők gyűjteni Marco. Abból, amit 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 modusponens 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.
Modus Tollens (modus Tollens-)
Mivel a középkori logikusok hívja a következő érv séma:
Ha A, akkor B; Igaz, hogy W.
Ha A, akkor B. Nem-B. Következésképpen, nincs-A.
Ez a rendszer gyakran nevezik elve hamisítás: ha ki néhány állítás magában foglalja a következménye, hamis, az azt jelenti, hogy a nyilatkozat önmagában hamis. Áramkörön keresztül jóváhagyásáról és tagadása feltételes állítások hatásai átmenet a elutasítás oka, hogy az adott megnyilatkozás.
Ha hélium - fém, ez elektromosan vezető.
Hélium - nem fém.
Modus ponendo Tollens (modus ponendo Tollens-)
Ezt a nevet a középkori logikai áramkörök jelzik a következő szempontokra:
Vagy A vagy B; A
Vagy A vagy B; az
Vagy A vagy B. A. Ezért, nem-B.
Vagy A vagy V Ezért, nem-A.
Ezek segítségével áramkörök jóváhagyásával két egymást kölcsönösen kizáró alternatívák és megállapítani, hogy melyik közülük tart, az átmenetet a tagadás egy másik alternatíva: az első vagy a második, de nem mindkettő; az első; Ezért nincs második.
Példa. Dosztojevszkij született akár Moszkvában vagy Szentpétervárott. Ben született Moszkvában.
Nem igaz, hogy a Dosztojevszkij-ben született Szentpéterváron.
Szétválasztás, egy része a rendszer szigorú. Ez azt jelenti: Bizony az első vagy a második igaz, de nem mindkettő. Ugyanez az érv, de laza diszjunkció (vagy első vagy második, de lehetséges, hogy az első és a második), logikailag hibás. Az igaz helyiségek, ez vezethet a hamis következtetést.
Példa. A Déli-sarkon, Amundsen lett vagy Scott. A Déli-sark volt Amundsen.
Nem igaz, hogy volt egy Scott.
Mindkét helyszínen igazak: és Amundsen és Scott elérte a Déli-sarkon, a következtetés hamis.
A helyes következtetés:
A Déli-sarkon, Amundsen volt az első, vagy Scott. Ebben az első extrém volt Amundsen.
Nem igaz, hogy nem volt az első Scott.