логика предикатов
81Предложение (логика) — У этого термина существуют и другие значения, см. Предложение (значения). Предложение (в логике предикатов) это корректно сформированная формула , которая не содержит свободных вхождений переменных (т.е. вхождений, не находящихся в области… …
82нечеткая логика — НЕЧЕТКАЯ ЛОГИКА термин, появившийся в связи с развитием теории нечетких подмножеств, предложенной амер. математиком Л. Заде в 1965. Согласно Заде, классическое понятие функции принадлежности элемента множеству является… …
83КОМБИНАТОРНАЯ ЛОГИКА — раздел логики, посвященный изучению и анализу таких понятий и методов, как переменная, функция, операция подстановки, классификация предметов по типам или категориям и другие. В качестве основных понятий в К. л. выбираются одноместная функция и… …
84Сигнатура (математическая логика) — У этого термина существуют и другие значения, см. Сигнатура. Сигнатура в математической логике и универсальной алгебре  набор символов, специфических для конкретной системы, определяющих её формальный язык. Формально, сигнатура   набор… …
85ИНТУИЦИОНИСТСКОЕ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — см. Интуиционистская логика …
86Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …
87Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …
88Логичность — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …
89ЛОГИЧЕСКАЯ ИСТИННОСТЬ — (в формальной логике) – истинность предложения (суждения, высказывания), обусловленная его формально логич. структурой и принятыми при его рассмотрении законами логики (в отличие от т.н. фактической истинности, для установления к рой необходим… …
90Философия — Скульптура «Мыслитель» (фр. Le Penseur) Огюста Родена, которая часто используется в качестве символа философии …
