Küldés - a Nagy Szovjet Enciklopédia
Indukció (görög epagoge, Latin indukció - .. Guidance), az a fajta általánosítás kapcsolatos várakozás az eredmények megfigyelések és kísérletek alapján az adatok a korábbi tapasztalatok. Ezért a beszélni ...
Levonása (latin deductio - kiválasztódás.), Az átmenet a általánostól a különös; a szűkebb értelemben, a „D.” utal, hogy a folyamat a következtetés, t. e. az átmenet a különböző szabályokat, vagy logikát ...
A logikus következménye, az ítélet (mondat, állítás, képlet), következményes (vagy más logikusan következik) a telephelyén következtetés (vagy visszavonása parcellák, amely egy sor ...
Logic (a görög. Logik), a tudomány, a megfelelő módszerek érvelés. A „L.” A modern használata jelentése van, bár nem olyan gazdag kicsengése, mint az ókori görögök. logók, ahonnan ...
Természetes fogkő A fogkő természetes levonás, természetes levonása, a közös neve a logikai kalkulus, felvenni és tanult 1934-ben a német logikus G. Gentzen (és függetlenségét a lengyel ...
Logikai jog, a közös neve a törvényeket, amelyek alapját képezik a logikus következtetés. A koncepció a L. s. nyúlik vissza, az ókori görög fogalma logos'e előfeltételeként a cél ( „természetes”) helyes ...
matematikai logika, matematikai részt. logika tanulási megnyilatkozás, oldalról nézve a logikai érték (igaz vagy hamis), és logikai műveletek rájuk. A. L. Az eredetileg ...
Küldés, a legtágabb értelemben -, hogy az alapján, amely a következtetésre jut, vagy következtetés. AP lehet adatot, megállapítást tények, elvek, axiómák, posztulátumok és így általában olyan esemény vagy észrevételek -. Nyers adatok, amelyek akár közvetlenül, akár útján érvelés lehet tanulni minden új információt számunkra. Ebben az értelemben azt mondjuk ugyanezt az AP indukció. és P. levonás.
Szűkebb értelemben a formális deduktív logika konstrukciók valójában úgynevezett P. állítások, amelyekre vonatkozóan egy bizonyos szabály következtetési vagy jelképezi a formula tartalmazza a készítmény következtetési szabályok, a „nyelv a kutató.” „Szimmetrikus” a koncepció IP fogalmának logikus következménye. Ezek a fogalmak, általánosságban szólva relatív: egy állítás lehet VP egy alkalmazás a következtetési szabályok és a következmények - a másik. A logikai formalizmus axiomatikus típusát (lásd. Logic) P. levonás első lépéseket előre rögzítik a forma axiómák, hogy m. O. szerepét „abszolút” vagy GP helyiségek - kivonási eljárást kell kezdeni szükségszerűen velük. A természetes feltételek mellett. ez az érvelés végzi ismert az ókorban „elv jóváhagyás”, az abszolút P. sz.
Bármi legyen is a természete, az elkopott P. azok előfeltétele logikai érv vagy bizonyíték. Az alapvető a kérdés jellegétől P. nepostoronnem kívülállók ez az érv AP bármikor helyettesíthető ellenkezőleg sérelme nélkül az érvelés. Ez a szabály megegyezik a logikai törvény. amelyet nevezhetünk „a törvény parcellák kezes”:
Problémák a megállapítás következményei adatok nepostoronnih P. és P. A vizsgálat szerint alapvető logikai feladatokat. Belül a formalizmus algebra nyilatkozatok, ezek a problémák átfogó megoldást (lásd. A matematikai logika).