Процедура опровержения
Процедура опровержения — установление противоречивости (невыполнимости) формулы, состоящей из конъюнкции посылок и отрицания заключения. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт,