Контрарная пара в методе резолюций - это

Литера в методе резолюций - это

Пустой дизъюнкт в методе резолюций обозначается

Идея метода резолюций состоит в

Метод аналитических таблиц в отличие от метода резолюций

Метод резолюций по своему смыслу более всего близок методу

Обязательным требованием метода резолюций является приведение исходной формулы к

Индукционный шаг в методе математической индукции - это

Проверка истинности утверждения на первом шаге при n=1 в методе математической индукции называется