Немедленный вывод - Immediate inference - Wikipedia

An немедленный вывод является вывод который можно сделать только из одного утверждение или же предложение.^[1] Например, из высказывания «Все жабы зеленые». мы можем сразу сделать вывод, что «никакие жабы не зеленые». Есть ряд немедленные выводы которые могут действительно производиться с использованием логических операций, результатом которых является логически эквивалентный форма заявления к данному заявлению. Есть также недействительные немедленные выводы, которые силлогистические заблуждения.

Действительные немедленные выводы

Converse

Учитывая тип E заявление, от традиционного квадрат оппозиции, "Нет S находятся п. ", можно сделать немедленный вывод это не п находятся S"что является обратным данному утверждению.
Учитывая тип я заявление "Некоторые S находятся п. ", можно сделать немедленный вывод это что то п находятся S"что является обратным данному утверждению.

Лицевой

Учитывая тип А заявление "Все S находятся п. ", можно сделать немедленный вывод это не S находятся не-P"что является лицевой стороной данного утверждения.
Учитывая тип E заявление "Нет S находятся п. ", можно сделать немедленный вывод все это S находятся не-P"что является лицевой стороной данного утверждения.
Учитывая тип я заявление "Некоторые S находятся п. ", можно сделать немедленный вывод это что то S не не-P"что является лицевой стороной данного утверждения.
Учитывая тип О заявление "Некоторые S не п. ", можно сделать немедленный вывод это что то S находятся не-P"что является лицевой стороной данного утверждения.

Контрапозитивный

Учитывая тип А заявление "Все S находятся п. ", можно сделать немедленный вывод все это не-P находятся не-S"что является противоположностью данного утверждения.
Учитывая тип О заявление "Некоторые S не п. ", можно сделать немедленный вывод это что то не-P не не-S"что является противоположностью данного утверждения.

Недействительные немедленные выводы

Случаи неправильного применения противоположных, субподрядных и субальтернационных отношений являются силлогистическими заблуждениями, называемыми противозаконный, незаконный субподряд, и незаконное подчинение. Случаи неправильного применения противоречивого соотношения настолько редки, что заблуждение «незаконного противоречия» обычно не распознается.

Незаконное наоборот

Неверно, что все А находятся B, поэтому нет А находятся B.
Это неправда, что нет А находятся B, поэтому все А находятся B.

Незаконный субподряд

Немного А находятся B, поэтому неверно, что некоторые А не B.
Немного А не B, поэтому некоторые А находятся B.

Незаконная субальтернация (суперальтернация)

Немного А не B, поэтому нет А находятся B.
Неверно, что все А находятся B, поэтому неверно, что некоторые А находятся B.