Утвердительное заключение из отрицательной посылки (недопустимое отрицание) — формальная ошибка , которая совершается, когда категорический силлогизм имеет положительное заключение и одну или две отрицательные посылки.
Например:
Единственное, что можно правильно вывести из этих предпосылок, это то, что некоторые существа, не являющиеся рыбами, не могут летать, при условии, что существуют собаки.
Или:
Математически это можно проиллюстрировать так:
Это заблуждение, поскольку любые действительные формы категорического силлогизма , утверждающие отрицательную посылку, должны иметь отрицательное заключение.