Modus ponens - ez
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; - a összefüggésben „és”; -> a hatása "ha majd a"):
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.
Nézze meg, mit „Modus ponens” más szótárak:
Modus ponens - (modus ponens), szakadhat, kimenet általában formális logikai. rendszereket. Szabály M. o. Elszámolni a pálya, ahol Au hivatalos jelölést logikai képletek. rendszer, és logikus. következményei csokor. M. n. Visa lehetővé kiadási parcellák ... ... Encyclopaedia of Mathematics
Modus ponens tollendo - (lat modus tollendo ponens.) középkori logikai kifejezés jelöli elosztjuk kata goricheskoe érvelés: az első vagy a második; nem az első; majd a második. Először kiküldetés következtetések elválasztás (szétválasztó) nyilatkozata; második ... ... szótár logikai kifejezések
modus - (latin modus intézkedés, ahogy a kép, a fajta.) filozófiai kifejezés alá tulajdon, inherens csak bizonyos államokban, és attól függően, hogy a téma a környezet és a kapcsolatok, amelyben található. M. szembe attribútum ... ... szótár logikai kifejezések
Propozicionális logika - logikai szakasz, amely kapcsolatát vizsgálja igazság nyilatkozatokat. Ebben a részben az nyilatkozatok (javaslatok, ajánlások) tekintik csak t.zr. igaz vagy hamis voltát, függetlenül attól, hogy belső téma ... Filozófiai Enciklopédia
Kimeneti logika - OUTPUT logikai, amelyben az átmenet a szabályokat nyilatkozatok vagy rendszereket nyilatkozatok a nyilatkozat vagy nyilatkozatok a rendszert. A logikus következtetés általában kiszabott (együtt vagy külön) ... ... Filozófiai Enciklopédia
feltételes következtetés - következtetés, amely magában foglalja parcellák képviselő feltételes ítélet (lásd feltételes állítás.). W. meg. állhat csak egy feltételes ígéretet ki magukban, továbbá hagyományos és egyéb parcellák, amelyeknek nem feltétele, és lehet ... ... szótár logikai kifejezések
logikus következtetés - Következtetés a logikus gondolkodás, amelyben bizonyos szabályok szerint az átmenet nyilatkozatok vagy rendszerek nyilatkozatok a nyilatkozat vagy nyilatkozatok a rendszert. V. l. általában kiszabott (egyszerre vagy külön-külön) az alábbi ... ... Encyclopedia ismeretelmélet és tudományfilozófia
KÖVETKEZTETÉS () - teljesítmény (a matematikai logika) B. szokták érv során cerned hogy egymás szerezni egy sor egymáshoz kapcsolódó ajánlatok, valamint a sorozat ezeket a javaslatokat. Neck rozs közül ezek a javaslatok ... ... Filozófiai Enciklopédia
Ítéletlogika - ítéletlogika, logikai kalkulus egy rum származtatható tárgyak propozicionális formulák. Minden AP és. esetre, axiómák (önkényes propozicionális formulák) és a kimeneti szabályokat. Formula, amely levezethető az AP és. hívják ... Encyclopaedia of Mathematics
Kalkulus fogalmak - „kalkulus fogalmak” ( „Felvétel szempontjából”) a készítmény a német matematikus és logikus Gottlob Frege, kezdetét jelezte a modern formája a matematikai (szimbolikus) logika. A teljes cím ennek a munkának is egy utalás arra a tényre, hogy a ... ... Encyclopedia ismeretelmélet és tudományfilozófia