База ответов ИНТУИТ

Основы программирования на языке Пролог

<<- Назад к вопросам

Формула представлена в предваренной нормальной форме, если вынесены в ее начало все:

(Отметьте один правильный вариант ответа.)

Варианты ответа
кванторы существования
кванторы всеобщности
кванторы(Верный ответ)
Похожие вопросы
Формула в сколемовской нормальной форме не содержит:
Формула в конъюнктивной нормальной форме состоит из:
Для добавления факта в начало внутренней базы данных служит предикат:
Можно ли использовать предикат frontchar для того, чтобы приписать символ в начало строки?
Отношение называется транзитивным, если
Если убрать "красное" отсечение, то программа
Если убрать "зеленое" отсечение, то программа
Логическая программа завершается успехом в случае, если:
Если взять дополнение к дополнению множества, то получится:
Первая подстановка является более общей, чем вторая, если: