Логическое Следствие
из данного множества посылок - высказывание, являющееся истинным при любой интерпретации нелогич. Символов (т. Е. имен объектов, функций, предикатов), при к-рой истинны посылки. Если высказывание Аявляется Л. С. Из множества высказываний Г, то говорят, что Г логически влечет Аили что Алогически следует из Г. Если Г - множество предложений нек-рого формализованного логико-математич. Языка 1-го порядка, А - предложение того же языка, то отношение "А - логич. Следствие из Г" означает, что всякая модель для Г является моделью для А. Это отношение обозначается Из Гёделя теоремы, о полноте классического исчисления предикатов следует, что отношение совпадает с отношением тогда и только тогда, когда предложение Авыводимо из множества предложений Г средствами классич.
Исчисления предикатов. Лит.:[1] Р а с е в а Е., С и к о р с к и й Р., Математика метаматематики, пер. С англ., М., 1972. [2] G o d е l К., "Моnatsh. Math. Und Phys.", 1930, Bd 37, S. 349-60. В. Е. Плиско. .
Дополнительный поиск Логическое Следствие
На нашем сайте Вы найдете значение "Логическое Следствие" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Логическое Следствие, различные варианты толкований, скрытый смысл.
Первая буква "Л". Общая длина 20 символа