Calculul propozițiilor
Una dintre variantele posibile ale axiomatizării logicii propionale (Hilbert) este următorul sistem de axiome:
;
;
;
;
;
;
;
;
;
;
.
împreună cu o singură regulă:
(Modus ponens)
Teorema de calcul propozițional corectitudinea afirmă că toate axiomele de mai sus sunt tautologii, ci prin modus ponens regulă de afirmații adevărate nu poate fi decât adevărat. Dovada acestei teoreme este trivială și se reduce la o verificare directă. Mult mai interesant este faptul că toate celelalte tautologii pot fi obținute din axiome utilizând regula de inferență - aceasta este așa-numita teoremă de completitudine a logicii propoziționale.
Vedeți ce este "logica propozițională" în alte dicționare:
logica propozițională - LOGICA DE DECLARAȚII, logica propozițională este o secțiune a logicii simbolice care studiază declarații complexe formate din simple și relațiile lor reciproce. Spre deosebire de logica predicatelor, pronunțările simple acționează ca ... ... Enciclopedia de epistemologie și filozofie a științei
logica propozitiilor sau logica propozitiilor - secțiune a logicii deductive, în care problema adevărului (sau falsitatea) declarațiile (.. Adică, judecăți, luate în considerare fără a structura lor predicat discipline) în raționamentul este considerat, pe baza studiului expresiei lor, astfel încât următoarele mijloace ... Contemporary Filozofic dicționar
LOGICA DE SUGESTII este o secțiune a logicii în care sunt studiate interrelațiile veridice dintre afirmații. În cadrul acestei secțiuni, afirmațiile (propunerile, propunerile) sunt luate în considerare numai de la t.r. adevărul sau falsitatea lor, indiferent de subiectivitatea lor interioară ... Enciclopedia filosofică
logica declarațiilor este LOGICUL DECLARAȚIILOR, logica propozițională este o secțiune a logicii simbolice care studiază declarații complexe formate din simple și relațiile lor reciproce. Spre deosebire de logica predicatelor, pronunțările simple acționează ca ... ... Enciclopedia de epistemologie și filozofie a științei
logica propozițiilor - logica propozițională - o secțiune de logică care formalizează folosirea conectivităților logice și. sau. nr. dacă, atunci, etc., care servesc la formarea unor declarații complexe simple. O declarație este numită simplu dacă nu include alte ... Dicționar al termenilor logicii
Logic (Filosofie) - Logica (alta limba greacă λογική «știința de raționament“, «arta de raționament» din λόγος «noi“, «argumentul» ..) știința formelor, metodele și legile de cunoaștere intelectuală, formalizate prin intermediul unui limbaj logic. Pentru că asta e ... ... Wikipedia
Logica declarațiilor - Pentru a îmbunătăți acest articol, este de dorit. Având în vedere notele de subsol, faceți mai multe referințe precise la surse. Logica declarațiilor (sau proposi ... Wikipedia
Logica pozitivă este o logică în care doar argumentele care nu sunt legate de refutări sunt considerate acceptabile, adică cu justificări pentru falsitatea declarațiilor. Deoarece expresia "A este falsă" este doar o formă diferită a expresiei "nu A", în P. l. abandonează orice ... ... Marea enciclopedie sovietică
- Logica declarațiilor. Jesse Russell. Această carte va fi realizată în conformitate cu comanda dvs. privind tehnologia Print-on-Demand. Conținut de înaltă calitate prin articole WIKIPEDIA! Logica declarațiilor (sau logica propozițională din ... Mai mult