Контрарная пара в методе резолюций - это
Пустой дизъюнкт в методе резолюций обозначается
Идея метода резолюций состоит в
Метод аналитических таблиц в отличие от метода резолюций
Метод резолюций по своему смыслу более всего близок методу
Обязательным требованием метода резолюций является приведение исходной формулы к
Индукционный шаг в методе математической индукции - это
Проверка истинности утверждения на первом шаге при n=1 в методе математической индукции называется