Укажите определение теоремы о полноте отрицания по конечному неуспеху:
(Отметьте один правильный вариант ответа.)
Варианты ответа
Пусть P — логическая программа без отрицаний. Если , то существует конечное дерево SLD-резолюции для A, заканчивающееся неуспехом(Верный ответ)
не выводимо тогда, когда A имеет конечное дерево вывода, заканчивающиеся неуспехом
Пусть P — логическая программа без отрицаний. Если некоторое утверждение A имеет конечное дерево SLD-резолюции, заканчивающиеся неуспехом, то