Legea dublei negației - care este baza logicii clasice a principiului că „dacă greșit. Dar acest lucru nu este adevărat, că este adevărat A“. Legea dublei negației este, de asemenea, numit legea de eliminare dublă negație. În limbajul formal al logicii propoziționale legea dublei negații este exprimată prin formula
și în această formă, în general, apare în lista teoriilor logice axiome formale. În conținutul tradițional drept matematic dubla negație este o bază logică pentru așa-numita proba contrarie, după cum urmează: pe presupunerea că declarația O teorie matematică dată este incorectă, contradictia ieșire la această teorie, apoi pe baza de coerență ajunge la concluzia teoriei că incorecte „nu a“, și apoi în conformitate cu legea dublei negație concluziona că adevărata A. ca parte a considerațiilor de proiectare, atunci când există o cerință de studiu de fezabilitate algoritmică matematică hotărâre cal, legea dublei negații este, în general vorbind, este inacceptabilă.
Un exemplu tipic în acest sens este nici o dovadă la hotărârea contrară A, în forma „cel puțin există x astfel încât dreptul B (x, y)“, în cazul în care ultima etapă constă în aplicarea legii dublei negativă, este imposibilă datorită faptului că înțelegere constructivă a judecății este obligat să o justifice pentru a construi un algoritm care pentru fiecare x ar da structura astfel încât este adevărat în (x, y). În același timp, raționamentul cu legea dublei negații nu duce la construirea de orice algoritm; Mai mult decât atât, algoritmul dorit în acest caz nu poate exista chiar și (a se vedea. De asemenea, principiul de selecție constructiv).
alte formulări
Legea dublei negației este strâns legată de legea mijloc exclus. precum și așa-numita lege a Pierce. Într-un sens, toate cele trei legi sunt echivalente. Deci, în calculul propozițional intuiționiste, în cazul în care aceste legi nu sunt tautologii. Fiecare dintre aceste două legi derivă dintr-o altă, și adăugarea oricăreia dintre ele într-o axiomatică duce imediat la logica clasică. În acest caz, cu toate acestea, există o logică în care toate cele trei legii nu sunt echivalente [1].
notițe
a se vedea, de asemenea,
Vezi ce „negativ dublu“ în alte dicționare:
dublu negativ - a se vedea universal propunere negativ ... dicționar de termeni lingvistici.
Negarea - Acest termen, există alte utilizări, vezi Denial (dezambiguizare) .. Logica negația operațiune unar sus judecăți, rezultatul judecății, care este (într-un sens) „opus“ original. Reprezentat prin simbolul ¬ înainte sau ... ... Wikipedia
negare - exprimare folosind lexicale, frazeologice, sintactic înseamnă că relația dintre o propoziție este gândit ca într-adevăr inexistentă. Negația este exprimat prin: 1) folosind particula nu. Din păcate, el nu caută fericirea și nu de fericire ... ... Dicționar de termeni lingvistici
Negatie (logica) - operațiune unar logica negație pe judecata, rezultatul care este declarația (într-un sens) „opus“ original. Reprezentat prin simbolul ¬ Ca și în logica clasică și intuiționiste „dublu negativ» ¬¬A este ... Wikipedia
negație logică - Negarea operație logică unară asupra hotărârii, rezultatul care este declarația (într-un sens) „opus“ original. Reprezentat prin simbolul ¬ Ca și în logica clasică și intuiționiste „dublu negativ» ¬¬A este ... Wikipedia
legea dublei negație - legea logicii care permite swinging dublu negativ. Acesta poate fi formulată după cum urmează: negarea negației dă aprobare, sau: repetate negație dublă conduce la stabilirea. Ex. Dacă nu este adevărat, că universul nu este infinit, este logica ... Dicționar de termeni
Legea negării negației - una din DOS. legile dialecticii, care caracterizează direcția procesului de dezvoltare, unitatea de progresie și continuitate în dezvoltare, precum și apariția unor noi atribute. reapariție a unor momente de vechi. Acesta a fost formulată pentru prima dată ... ... Filozofic Enciclopedia
Logica intuiționiste - una dintre cele mai importante ramuri ale logicii non-clasice, care are filozofia. o condiție prealabilă pentru programul de intuitionism. Evidențierea matematice intuitionists planului intuiție nu acordă o mare importanță pentru a sistematiza regulile logicii. ... ... filozofică Enciclopedia
- Music-un birou real sau posibil toate!. Alice ArtSkripka. „Înainte de a deschide ușa biroului său, Ilya a observat că acesta a instalat un nou placă placa citi: .. Muzica-A-Realnaya birou Ovolshebim, Lift sus, pendelnem Log acolo ... Citește mai mult Cumpără pentru 50 de ruble.!