Предикат (математическая логика)
- Предикат – символ, представляющий свойство или отношение в логике.
- Значение предиката – функция от области объектов к истинностным значениям “true” и “false”.
- В семантике логики предикаты интерпретируются как отношения.
- Предикаты могут обозначать различные отношения в зависимости от интерпретации.
- Логика первого порядка включает только предикаты, применимые к отдельным объектам.
- В других логиках могут допускаться предикаты, применимые к коллекциям объектов.
- Предикаты в разных системах могут быть операторами или математическими утверждениями.
- В нечеткой логике строгая оценка истинности/ложности предиката заменяется величиной, интерпретируемой как степень истинности.
Полный текст статьи: