(Logica funcțională) (teoria de cuantificare) (logica Cuantificator) - partea principală a moderne (simbolice matematice,) logica, care descrie constatările, având în vedere intern (subiect-predicat) structura propozițiilor. L. f. Este o versiune extinsă a logicii propozițiilor.
În L. n -. În plus față de mijloacele de logica propozitionala Introducerea operatorilor booleeni „(“ toate „) și $ (“ unele „sau“ acolo „), numit cuantificatorii universale și existențiale, respectiv, pentru a identifica structura declarațiilor subiectului cu predicatul. a introdus o supra fără sfârșit
variabile individuale ry: x, y, z. x1, y1, zl. reprezentând o varietate de obiecte, precum și o listă nesfârșită de variabile predicative: P, Q, R. P1, Q1, L1. reprezentând proprietățile și relațiile de obiecte. Variabilele individuale iau valori într-un regiuni arbitrare (non-gol); Alături de aceste variabile pot fi administrați constante individuale sau nume proprii.
Înregistrarea ( "x) F (x) înseamnă" Fiecare x are proprietatea P "; ($ x) P (x) -" Unele x au proprietatea P "; ($ x) Q (xy) -" Există x, care este în relația Q cu y „și așa mai departe. n. variabile individuale incluse în domeniul de aplicare al cuantificatorul variabilei este numit legat, variabile care nu sunt legate, se numește liber. Deci, în toate cele trei formule de mai sus, variabila x este legat, în ultima formulă, variabila y schimbare reală liberă este singura variabilă liberă :. în schimb, este posibil să se înlocuiască una dintre valorile sale și de a lua osmys ennoe expresie. variabile corelate sunt numite fictive.
Formula L. n. Este numit valid dacă este adevărat în fiecare interpretare. Tautologie logicii propozițiilor este un caz special de o formulă universal valabilă. În L. f. Spre deosebire de logica propozitiilor, nu există nici un proces eficient, care permite luate în mod arbitrar formula decide dacă este sau nu este valid.
Pentru L. n. S-au dovedit mai multe teoreme importante care caracterizează proprietățile sale de bază (vezi. Consistența. Completitudinea. Solvabilitatea teoretic).
Vezi ce o „logică cuantificator“ în alte dicționare:
logica predicatelor - (logica funcțională) (teoria de cuantificare) (logica Cuantificator) a secțiunii principale a moderne logica (matematice, simbolice), în care sunt descrise constatările, luând în considerare intern (sub rezerva predicatului) structura propozițiilor. L. n. ... ... Dicționar de logica termenilor
logica funcția - (logica funcțională) (teoria de cuantificare) (logica Cuantificator) a secțiunii principale a moderne logica (matematice, simbolice), în care sunt descrise constatările, luând în considerare intern (sub rezerva predicatului) structura propozițiilor. L. n. ... ... Dicționar de logica termenilor
RUSSELL - (Russell), Bertrand (1872 1970), Doamne, nepotul lui prim-ministru al Marii Britanii Dzhona Rassela britanic filosof, logician, matematician, sociolog, activist social. Mill lui finul. El a absolvit cu onoruri de la Trinity College din Cambridge. Câștigător al ... ... Istoria filosofiei: Enciclopedia
Rassel Bertran (1872-1970) - filosof britanic, logician, matematician, sociolog, activist social. Mill lui finul. El a absolvit cu onoruri de la Trinity College din Cambridge. Câștigător al Ordinului de Merit al Regatului Unit (1949). Premiul Nobel pentru literatură (1950) ... ... Istoria filosofiei :. Enciclopedia
Teoria de cuantificare - (logica funcțională) (teoria de cuantificare) (logica Cuantificator) din secțiunea principală a logicii moderne (matematică, simbolic), care descrie constatările, având în vedere intern (sub rezerva predicatului) structura propozițiilor. L. n. ... ... Dicționar de logica termenilor
Cuantificatorii - operatorul logic, cu care declarația a l .. obiect separat este transformat într-o declarație despre combinația (set) de astfel de obiecte. Logica folosită de cele două comunități principale KK, „V“, și existența K., „E“. În ... ... Filozofic Enciclopedia