Положительный вывод из отрицательного предпосылка

Утвердительный вывод из отрицательной предпосылки (незаконно отрицательный) - это формальная ошибка, которая совершается, когда категорический силлогизм имеет положительный вывод и одну-две отрицательные посылки.

Например:

Ни одна рыба не является собакой, и никакие собаки не могут летать, поэтому все рыбы могут летать.

Единственное, что можно правильно вывести из этих предпосылок, - это то, что некоторые вещи, которые не являются рыба не может летать при наличии собак.

Или:

Мы не читаем этот мусор. Люди, которые читают эту хлам, не ценят настоящую литературу. Поэтому мы ценим настоящую литературу.

Математически это можно проиллюстрировать как

Если $A\; \cap \; B\; =\; \varnothing \; \{\backslash \; displaystyle\; A\; \backslash \; cap\; B\; =\; \backslash \; emptyset\}$и $B\; \cap \; C\; =\; \varnothing \; \{\backslash \; displaystyle\; B\; \backslash \; cap\; C\; =\; \backslash \; emptyset\}$, тогда $A\; \subset \; C\; \{\backslash \; displaystyle\; A\; \backslash \; subset\; C\}$.

Это заблуждение, потому что любые допустимые формы категорический силлогизм, утверждающий отрицательную предпосылку, должен иметь отрицательный вывод.

• Отрицательный вывод из утвердительных предпосылок, в котором силлогизм недействителен, потому что вывод отрицательный, но предпосылки утвердительные
• Заблуждение исключительных предпосылок, в котором силлогизм недействителен, потому что обе посылки отрицательны

• Файлы заблуждений: положительный вывод из отрицательного предположения

.