Функциональный предикат
- Функциональный предикат или функциональный символ в формальной логике и смежных разделах математики является логическим символом, который может быть применен к объектному термину для получения другого объектного термина.
- Функциональные предикаты также иногда называют отображениями, но в математике этот термин имеет дополнительные значения.
- В модели символ функции будет смоделирован с помощью функции.
- В типизированной логике F является функциональным символом с типом домена T и типом кодомена U, если для любого символа X, представляющего объект типа T, F(X) является символом, представляющим объект типа U.
- Аналогичным образом можно определить функциональные символы более чем одной переменной.
- В нетипизированной логике существует идентификационный предикат id, который удовлетворяет id(X) = X для всех X.
- В типизированной логике для любого типа T существует предикат идентификации idT с доменом и кодоменом типа T; он удовлетворяет idT(X) = X для всех X типа T.
- Можно определить функциональные предикаты после доказательства соответствующей теоремы.
- Многие методы обработки логики предикатов не допускают функциональных предикатов, а только реляционные предикаты.
- Существует метод замены функциональных символов реляционными символами везде, где могут встречаться первые.
Полный текст статьи: