Mi a modus ponens
(Lat. Modus ponens)
középkori kifejezés logikai jelző következtetési szabály, és a megfelelő logikai törvény.
. O N M szabály általában az úgynevezett elválasztási szabály (néha hipotetikus szillogizmus), ez lehetővé teszi, hogy a jóváhagyást a feltételes állítás és az alapító nyilatkozat (előzménye) annak állításával a következménye (következetes) ezt a kijelentést:
Itt az A és B - néhány mondás: "ha A, akkor B" és "A" - küld, "Bed and" - arra a következtetésre jutott, 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 csomag „A”, úgy tűnik, hogy külön megkötésére „B”. Ex.:
Ha egy személy lázas, beteg volt.
Emberben, megemelt hőmérsékleten.
A férfi beteg. 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. e.
A megfelelő szabályt elválasztó logikai törvény felhasználásával szimbológiában logika az alábbiak szerint történik (p, q - néhány állítást; - Egy összefüggésben. „És”; -> vonzata. "Ha, akkor"):
Ha igaz az, hogy ha p, akkor q és p igaz q. Pl. „Ha az eső a talaj nedves, és az eső, a talaj nedves.”
Értekezés a Stamp szabály Ebből származik 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. Pl. A helyes következtetés:
Ha Bi - metal, ez vezeti az elektromosságot.
Bizmut - fém. _______________
A bizmut vezeti az elektromosságot.
De külsőleg hasonlít rá következtetésre
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. Ex.:
Ha egy személy lázas, beteg volt.
Ő lázas.
Számos betegség ismert, hogy előfordul A hőmérséklet emelése nélkül; a jelenléte a betegség nem lép a hőmérséklet emelkedik. Az igazság a helyiségek nem garantálja az igazságot a következtetést.
V. M. p keverési szabályok az említett szabálytalan áramköri figyelmeztet: az alapvonaltól, hogy erősítse meg az érvényesítési vizsgálat megengedett vitatkozni, a visszaigazoló a vizsgálat, hogy érvényesítse a bázis - nincs.
Transkripkiya szó: [modus ponens]
→ Modus ponens tollendo (lat. Modus tollendo ponens) középkori logikai kifejezés azt jelenti.
← modus ponendo Tollens- (lat. Modus ponendo Tollens-) középkori logikai kifejezés jelöli az alábbi rendszert.