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

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

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

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

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

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

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

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

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