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