Будет ли множество [1,2,3] собственным подмножеством множества [2,1,3]?
Будет ли множество [1,2,3] подмножеством множества [2,1,3]?
Отношение называется транзитивным, если
Если убрать "зеленое" отсечение, то программа
Если убрать "красное" отсечение, то программа
Логическая программа завершается успехом в случае, если:
Первая подстановка является более общей, чем вторая, если:
Одно отношение называется транзитивным замыканием другого отношения, если
Формула представлена в предваренной нормальной форме, если вынесены в ее начало все:
Что, скорее всего, произойдет, если удалить предложение, реализующее базис рекурсии?