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

• ƎуD(Петр, у)
• ƎxⱯy D(x,y)
• ⱯхƎу D(x,y)
• ƎxD(x,y)
• D(Петр, x)

Другие предметы Колледж Исчисление предикатов интеллектуальные информационные системы предикаты свободные переменные логика дружба формулы исчисления колледж математика ИИС Д(x,y) Пётр логические выражения анализ формул Новый