Немедленный вывод - Immediate inference
Непосредственный вывод является выводом , который можно сделать только из одного заявления или предложений . Например, из утверждения «Все жабы зеленые» можно сразу сделать вывод, что «никакие жабы не зеленые» или «никакие жабы не зеленые» (аверс). Существует ряд непосредственных выводов, которые можно обоснованно сделать с помощью логических операций, результатом которых является форма, логически эквивалентная данному утверждению. Есть также недействительные немедленные выводы, которые являются силлогистическими заблуждениями .
Действительные немедленные выводы
Converse
- Учитывая утверждение типа E , «Нет S не являются P. », Можно сразу сделать вывод, что «Нет P не являются S », что является обратным данному утверждению.
- Учитывая утверждение типа I «Некоторые S суть P », можно сразу сделать вывод, что «Некоторые P суть S », что является обратным данному утверждению.
Лицевой
- Учитывая утверждение типа A , «Все S суть P », можно сразу сделать вывод, что «Никакие S не являются P », что является оборотной стороной данного утверждения.
- Учитывая утверждение типа E «Нет S не являются P », можно сразу сделать вывод, что «Все S не являются P », что является оборотной стороной данного утверждения.
- Учитывая утверждение типа I «Некоторые S суть P », можно сразу сделать вывод, что «Некоторые S не являются P », что является оборотной стороной данного утверждения.
- Учитывая утверждение типа O , «Некоторые S не являются P. », Можно сразу сделать вывод, что «Некоторые S не являются P », что является лицевой стороной данного утверждения.
Контрапозитивный
- Учитывая тип заявление, «Все S есть P » . , Можно сделать непосредственный вывод , что «все не-P являются не-S » , который является контрапозиции данного заявления.
- Учитывая утверждение типа O , «Некоторые S не являются P. », Можно сразу сделать вывод, что «Некоторые не-P не являются не -S », что является противоположностью данного утверждения.
Недействительные немедленные выводы
Случаи неправильного применения отношений противоположного, субконтроля и субальтернации (они имеют место в традиционном квадрате оппозиции, а не в современном квадрате оппозиции) являются силлогистическими заблуждениями, называемыми незаконным противодействием , незаконным субконтрарием и незаконным субальтернацией , соответственно. Случаи неправильного применения противоречивого отношения (это отношение имеет место как в традиционном, так и в современном квадрате оппозиции) настолько редки, что заблуждение «незаконного противоречия» обычно не распознается. Ниже показаны примеры таких случаев.
Незаконное наоборот
- Это неверно , что все являются B , поэтому нет не B .
- Это неверно , что нет не B , поэтому все являются B .
Незаконный субподряд
- Некоторые являются B , поэтому неверно , что некоторые не B .
- Некоторые не B , поэтому некоторые являются B .
Незаконные субальтернации и незаконные суперальтернации
- Некоторые не B , поэтому нет не B .
- Это неверно , что все являются B , поэтому неверно , что некоторые являются B .