A logikai következmény - matematikai enciklopédia - enciklopédiák és szótárak
egy adott helyiségből - egy értelmezés, amely minden értelmezésre igaz, nem logikus. szimbólumok (azaz objektumok, funkciók, predikátumok nevei), amelyeken a helyiségek igazak. Ha a mondat L. az Γ mondatok halmazából, akkor azt mondjuk, hogy Γ logikusan az A-t jelenti, amely agogikusan Γ-ból következik.
Ha Γ a formalizált logikai-matematikai állítások halmaza. Nyelve 1. rendű, A - hez ugyanazt a nyelvet, az arány „A. logikus következménye G” azt jelenti, hogy minden modell G modell A. Ezt az arányt jelöli tól Gödel-tétel a teljesség, a klasszikus levezethető következik hogy az összefüggés egybeesik a kapcsolatsal, ha és csak akkor, ha az A mondat klasszikus módszerrel levezethető a mondatok halmazából. predikátum kalkulus.
Irod : [1] Raseev, E. Sycorcius, R., A metamatematika matematikája, Per. angolul. M. 1972; [2] G o d e l K. Monatsh, Math és Phys., 1930, Bd 37, S. 349-60. V. E. Plisko.
Matematikai Encyclopedia. - M. Soviet Encyclopedia IM Vinogradov 1977-1985
Keresőmotor segítség