dintr-un anumit set de premise - o afirmație care este adevărată pentru orice interpretare este ilogică. simboluri (adică nume de obiecte, funcții, predicate), la care premisele sunt adevărate. Dacă propoziția este L. cu. din mulțimea de propoziții a lui Γ, atunci afirmăm că Γ implică în mod logic A, care rezultă agogic din Γ.
Dacă Γ este setul de propoziții ale unor formalizate logico-matematice. Limba de ordinul 1, A - oferă aceeași limbă, raportul dintre „A. consecința logică a G“ înseamnă că fiecare model pentru G este un model pentru A. Acest raport este notat Din teorema lui Gödel privind caracterul complet al calculului predicatelor clasic urmează raportul coincide cu raportul dacă și numai dacă oferta pluralității de propuneri Avyvodimo T mijloace clasice. calculul predicat.
Lit. : [1] Raseev, E. Sycorcius, R., Matematica metamatematicii, Per. cu engleza. M. 1972; [2] G o d e l K. Monatsh, Math. Und Phys., 1930, Bd 37, S. 349-60. V.E. Plisko.
Enciclopedia matematică. - M. Enciclopedia sovietică IM Vinogradov 1977-1985
Ajutor pentru motoarele de căutare