Розглянуто нове обгрунтування для отримання висновків та теорему про повноту систем з протиріччям. Доказано основні правила висновків та теорему про повноту системи обчислювання у вузькому розумінні. Запропонований підхід можна взяти за основу створення ситем обгрунтування заперечуючих і ненадійних рішень, наприклад, при проектуванні інтелектуальних роботів і експертних ситем.
