математические высказывания о некоторых объектах или их свойствах.
Понятие предиката
Определение 1
Предикат - утверждение, которое содержит переменные, принимающие...
истинности предиката $I_p$....
Операции над предикатами
Рассмотрим применение операций алгебры логики к предикатам....
Например: предикат $A(x)$: «$x$ -- чётное число», предикат $B(x)$: «$x$ делится на $5$»....
истинности предиката $A(x)$.
В статье проводится критический обзор философской, психологической и лингвистической литературы, посвященной феномену веры. Особое внимание уделяется двум аспектам изучения предикатов веры в лингвистике: когнитивному и системно-семантическому.
Субъект и предикат как элементы суждения
Определение 1
Субъект и предикат – это элементы суждения...
Отношения между субъектами и предикатами суждения
Отношения между субъектами и предикатами обладают рядом...
Отношение между субъектом и предикатом являются необходимым членом суждения....
Отражением отношений в суждении являются отношения между субъектом и предикатом....
соответствующих предметов, т.е. что объем понятия, характеризуемого предикатом, шире.
Автор знакомит читателя с логикой высказываний и логикой предикатов. Разобраны примеры задач, предлагаются упражнения для самостоятельной работы.
автоматизированная информационная система, обеспечивающая хранение и обработку информации, характеризующейся большим разнообразием и значительной неопределенностью используемой терминологии. Последнее связано с недостаточным уровнем формализации предметной области.
[alphanumeric data] — данные, значения которых составлены из любых знаков алфавита.
процедура приближенного формализованного представления сложных геометрических многообразий через совокупность более простых. Например, замена произвольных кривых ломаными линиями, состоящими из прямолинейных отрезков; произвольных криволинейных поверхностей – системой сопряженных плоских граней, тел сложной конфигурации – многогранниками. Процедура А. позволяет упрощать математические описания объектов виртуального мира и, соответственно, создание системы виртуальной реальности.
