Известно, что предикаты отражают свойства и отношения между предметами из предметной области. Предикаты содержат переменные, которые можно заменить конкретным предметом из предметной области.
Пусть предметная область – это множество людей. На множестве людей задан предикат D(x, y) , что означает « x дружит с y - ком».
Какая из приведенных формул исчисления предикатов означает: «У Петра есть друг»:

• ∃y D(Петр, y)
• D(Петр, Иван)
• ∃x ∀y D(x, y)
• ∀x ∃y D(x, y)

Другие предметы Университет Предикаты и логика высказываний предикаты свойства отношения предметная область множество людей дружба формулы исчисления предикатов логика интеллектуальные информационные системы университет