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

  • D(Петр, x)
  • ∀x∃y D(x,y)
  • ∃xD(x,y)
  • ∃x∀y D(x,y)
  • ∃yD(Петр ,y)
Для просмотра статистики ответов нужно залогиниться.