На множестве людей задан предикат
D(x,y),
что означает «x дружит с y».
Какие из приведенных формул исчисления предикатов содержат свободные переменные, и, следовательно, не могут принять конкретное значение И или Л?
- D(Петр, x)
- ∀x∃y D(x,y)
- ∃xD(x,y)
- ∃x∀y D(x,y)
- ∃yD(Петр ,y)
Для просмотра статистики ответов нужно
залогиниться.