ЛОГИКА ПРЕДИКАТОВ

ЛОГИКА ПРЕДИКАТОВ, или: Функциональная логика, теория квантификации, кванторная логика, — основной разделсовременной(математической,символической)логики,в котором описываются выводы, учитывающие внутреннюю (субъектно-предикатную) структуру высказываний. Л. п. является расширенным вариантомлогики высказываний. В Л. п. — в дополнение к средствам логики высказываний -вводятся логическиеоператоры"("для всех") и$("для некоторых" или "существует"), называемыекванторамиобщности и существования соответственно. Для выявления субъектно-предикатной структуры высказываний вводится бесконечный перечень индивидных переменных:х,у,z,...,х¹,у¹,z^l,...,представляющих различные объекты, и бесконечный перечень предикатных переменных:Р,Q,R,...,Р¹,Q¹,Л¹, ..., представляющих свойства и отношения объектов. Индивидные переменные принимают значения в произвольной (непустой) области; наряду с этими переменными могут вводитьсяиндивидныеконстанты,или имена собственные. Запись ("х)Р(х)означает "Всякийхобладает свойствомР";($х)Р(х)-"Некоторыехобладают свойствомР";($x)Q(xy)-"Существуетх,находящийся в отношенииQсу"и т. п.Индивидная переменная, входящая в область действия квантора по этой переменной, называетсясвязанной;переменная, не являющаяся связанной, называетсясвободной.Так, во всех трех приведенных формулах переменнаяхсвязана, в последней формуле переменнаяусвободна. Подлинной переменной является только свободная переменная: вместо нее можно подставить одно из ее значений и получить осмысленное выражение. Связанные переменные называютсяфиктивными.Формула Л. п. называетсяобщезначимой,если она истинна в каждойинтерпретации.Тавтологиялогики высказываний является частным случаем общезначимой формулы. В Л. п., в отличие от логики высказываний, нет эффективного процесса, позволяющего для произвольно взятой формулы решить, является она общезначимой или нет. Для Л. п. доказан ряд важных теорем, характеризующих ее основные свойства (см.:Непротиворечивость,Полнота,Разрешимость теории).

логика предикатов—раздел математической логики См. Логикаem изучающий логические законы общие для любой области объектов исследования содержащей хоть один объект с заданными на этих объект...Большая Советская энциклопедия II
логика предикатов—раздел логических теорий в котором изучаютсяобщезначимые связи между высказываниями о свойствах и отношенияхпредметов в основе логики предикатов лежит формализованный язы...Большой энциклопедический словарь II
логика предикатов—ЛОГИКА ПРЕДИКАТОВ раздел логических теорий в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов в основе логики предикатов лежит...Большой энциклопедический словарь III
логика предикатов—ЛОГИКА ПРЕДИКАТОВ раздел логических теорий в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов в основе логики предикатов лежи...Большой Энциклопедический словарь V
логика предикатов—раздел логич. теорий в кром изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов в основе Л. п. лежит формализованный язык отображающий су...Естествознание. Энциклопедический словарь
логика предикатов—раздел дедуктивной логики в котором ведущую роль играет влияние внутренней структуры суждений на логический вывод. Поскольку здесь полностью сохраняется характер связей л...Новая философская энциклопедия
логика предикатов—предикаттар логикасы...Орысша-қазақша «Математика» терминологиялық сөздік
логика предикатов—predicate logic...Русско-английский политехнический словарь
логика предикатов—predicate logic...Русско-английский словарь по электронике
логика предикатов—логка прэдыката...Русско-белорусский математический словарь
логика предикатов—логка предикатв...Русско-украинский политехнический словарь
логика предикатов—prediktov logika...Русско-чешский словарь
логика предикатов—Функциональная логика теория квантификации кванторная логика основной раздел современной математической символической логики в котором описываются выводы учитывающие вну...Словарь логики
логика предикатов—функциональная логика квантор пая логика осн. раздел математич. логики средствами крого строятся многие др. е разделы. Л. п. в отличие от логики высказываний расширением ...Советский философский словарь
логика предикатов—ЛОГИКА ПРЕДИКАТОВ раздел логических теорий в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов в основе логики предикатов лежит...Современный энциклопедический словарь
логика предикатов—ЛОГИКА ПРЕДИКАТОВ центральный раздел логики в котором изучается субъектнопредикатная структура высказывании и истинностные взаимосвязи между ними.Л.п. представляет собой...Философская энциклопедия
логика предикатов—ЛОГИКА ПРЕДИКАТОВ раздел логических теорий в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов в основе логики предикатов лежи...Энциклопедический словарь естествознания
логика предикатов—ЛОГИКА ПРЕДИКАТОВ раздел символической логики изучающий рассуждения и др. языковые контексты с учетом внутренней структуры входящих в них простых высказываний при этом в...Энциклопедия эпистемологии и философии науки