Dupla negatív - ez
A törvény a kettős tagadás - amely alapján a klasszikus logika az elvet, hogy „ha baj van. De ez nem igaz, ez igaz A”. A törvény a kettős tagadás is nevezik a törvény a kettős tagadás eltávolítását. A hivatalos nyelvén propozicionális logika törvénye kettős tagadást képlete
és ebben a formában általában szerepel a listán logikai hivatalos axiómák elméleteket. A hagyományos tartalmak matematikai törvény kettős tagadás egy logikai alapja az úgynevezett bizonyíték az ellenkezőjére, az alábbiak szerint: az a feltételezés, hogy a nyilatkozat egy adott matematikai elmélete hibás, kiadási ellentmondás ez az elmélet, aztán alapján következetesség arra a következtetésre jut elmélet hibás „nincs a”, majd a törvény szerint a kettős tagadás következtetni, hogy az igazi A. Ennek része a tervezési szempontok, ha van egy követelmény az algoritmikus matematika megvalósíthatósági tanulmány cal ítéletet, a törvény a kettős tagadást, általánosságban elmondható, elfogadhatatlan.
Egy tipikus példa erre semmilyen bizonyíték az ellenkezőjére megítélést, a forma „legalább X létezik olyan, hogy jobb a B (x, y)”, ahol az utolsó lépést, amelyben jogának alkalmazása kettős negatív, lehetetlen annak a ténynek köszönhető, hogy a konstruktív megértését megítélés szükséges, hogy igazolja, hogy elkészítse egy algoritmust, amely minden egyes X adna a szerkezet olyan, hogy igaz a (x, y). Eközben az érvelés a törvény a kettős tagadás nem vezet az építési bármilyen algoritmus; Sőt, a kívánt algoritmus ebben az esetben nem is létezik (lásd. még konstruktív szelekciós elv).
más készítmények
A törvény a kettős tagadás szorosan kapcsolódik a törvény a kizárt közepén. valamint az úgynevezett törvénye Pierce. Bizonyos értelemben mindhárom törvények egyenértékűek. Tehát a intuitionistic ítéletlogika, ahol ezek a törvények nem tautológia. Mindegyik két törvény származnak egymással, és az esetleges hozzáadása közülük egy axiomatikus azonnal elvezet a klasszikus logika. Ebben az esetben azonban van egy logikai amelyben mind a három a törvény nem ekvivalens [1].
jegyzetek
lásd még
Nézze meg, mit „dupla negatív” más szótárak:
kettős negatív - lásd egyetemes negatív állítás ... szótár nyelvi szempontból.
Denial - Ez a kifejezés, vannak más célra, lásd Denial (egyértelműsítő lap) .. Logikai tagadás egyváltozós függvény fenti ítéletek, a döntés eredménye, amely (bizonyos értelemben) „ellentéte” az eredeti. Jele ¬ előtt vagy ... ... Wikipedia
tagadás - kifejezést használja lexikális, frazeológiai, szintaktikai azt jelenti, hogy a kapcsolat egy mondat úgy, mint valójában nem is létezik. Negation fejezik ki: 1) a részecskék nem. Sajnos, ő nem keresi a boldogságot, és nem a boldogság ... ... szótár nyelvi kifejezések
Tagadás (logikai) - egyváltozós tagadás logikai művelet az ítéletet, melynek eredménye az a kijelentés (bizonyos értelemben) „ellentéte” az eredeti. Jele ¬ Mint a klasszikus és a matematikai intuicionizmus „dupla negatív» ¬¬A van ... Wikipedia
Logikai tagadás - Denial egyváltozós logikai művelet az ítéletet, melynek eredménye az a kijelentés (bizonyos értelemben) „ellentéte” az eredeti. Jele ¬ Mint a klasszikus és a matematikai intuicionizmus „dupla negatív» ¬¬A van ... Wikipedia
a törvény a kettős tagadás - törvény, amely lehetővé teszi a logika lengő dupla negatív. Ez az alábbiak szerint történik: a tagadás tagadása ad jóváhagyást, vagy: ismételt kettős tagadás létrehozásához vezet. Pl. Ha nem igaz, hogy a világegyetem nem végtelen, ez a logika ... szótár kifejezések
Törvény tagadás tagadása - az egyik DOS. A törvények a dialektika, amely jellemzi az irányt a fejlesztési folyamat, az egység a progresszió és folyamatosságának fejlesztése, valamint az új attribútumokat. kiújulásának néhány pillanatig a régi. Ez volt az első megfogalmazott ... ... Filozófiai Enciklopédia
Matematikai intuicionizmus - az egyik legfontosabb ága nem klasszikus logika, amely a filozófia. előfeltétele a program intuitionism. Kiemelve matematikai intuíció terv intuicionisták nem tulajdonítanak nagy jelentőséget rendszerezése logika szabályai. ... ... Filozófiai Enciklopédia
- Zene-Egy igazi irodában, vagy lehetséges minden!. Alice ArtSkripka. „Az ajtó kinyitása előtt az irodájában, Ilya észrevette, hogy telepített új plakk lemez olvasható: .. Zene-A-Realnaya iroda Ovolshebim Emeld fel, pendelnem Log Out there ... Tovább Vásárlás 50 rubelt.!