АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия
Логика первого порядка — (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 … Википедия
Логика второго порядка — в математической логике формальная система, расширяющая логику первого порядка[1] возможностью квантификации общности и существования не только над атомами, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В… … Википедия
Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Исчисления предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Логика предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Предикатная логика — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
БУЛЕВОЗНАЧНАЯ МОДЕЛЬ — модель, определяемая следующим образом. Пусть сигнатура нек poro языка 1 й ступени с одним сортом переменных, т. е. множество символов функций и предикатов. Б. м. наз. тройка где невырожденная булева алгебра, непустое множество и функция,… … Математическая энциклопедия
ТОЖДЕСТВЕННАЯ ИСТИННОСТЬ — логическая истинность, общезначимоеть, свойство формул языка исчисления предикатов, означающее истинность формулы во всех ее интерпретациях и цри всех допустимых значениях ее свободных переменных. Так, для формул, содержащих только один… … Математическая энциклопедия
часто обозначают отношение порядка на действительных числах, являющееся двуместным предикатом. При формальном построении языка символы, отнесенные к категории предикатных, должны определенным образом использоваться для построения выражений языка. Именно, если Ресть n-местный П. с., то среди синтаксич. правил образования выражений формализованного языка должно быть правило: "если t1 ,. . ., tn - термы, то P(t1 ,. . ., tn) - формула". Таким образом, П. с. синтаксически используются для образования формул, а семантически обозначают предикаты.