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