Советский философский словарь - логика предикатов
Связанные словари
Логика предикатов
логика предикатов
функциональная логика, квантор пая логика, осн. раздел математич. логики, средствами к-рого строятся многие др. её разделы. Л. п., в отличие от логики высказываний, расширением к-рой она является, учитывает не только связи между предложениями (высказываниями), но и их субъектно-предикатную структуру: выделяются аналоги подлежащих в предложениях естеств. языков (т. н. термы) и аналоги сказуемых предикаты. Для этой цели выразит. средства логики высказываний пополняются спец. символами для обозначения предикатов и термов, а дедуктивные средства правилами образования и преобразования выражений, содержащих эти символы. В Л. п. вводят также спец. операторы кванторы. Аксиоматич. построение Л. п. в виде исчисления предикатов включает аксиомы и правила вывода, позволяющие преобразовывать кванторные формулы и строить формальные доказательства (напр., система аксиом и правил вывода для исчисления высказываний пополняется схемами аксиом). Добавление к аппарату исчисления предикатов различных спец. постоянных и переменных термов с характеризующими полученную предметную область конкретными аксиомами и схемами аксиом приводит к различным видам прикладных исчислений предикатов, служащих формализациями различных логико-математич. теорий арифметики, алгебры, анализа, геометрии и др. разделов математики.
Для Л. п. и теорий, построенных на её основе, доказан ряд важных метатеорем, характеризующих их осн. свойства (см. Метатеория, Независимость, Непротиворечивость, Полпота).
Рейтинг статьи:
Вопрос-ответ:
Что такое логика предикатов
Значение слова логика предикатов
Что означает логика предикатов
Толкование слова логика предикатов
Определение термина логика предикатов
logika predikatov это
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1816 | |
2 | 1431 | |
3 | 1240 | |
4 | 1171 | |
5 | 1158 | |
6 | 1114 | |
7 | 922 | |
8 | 847 | |
9 | 808 | |
10 | 780 | |
11 | 765 | |
12 | 750 | |
13 | 726 | |
14 | 715 | |
15 | 714 | |
16 | 697 | |
17 | 695 | |
18 | 672 | |
19 | 670 | |
20 | 656 |