Правило отделения, см.: Модус поненс. Превращение (лат. Obversio) в традиционной логике

— вид непосредственного умозаключения, характеризующегося тем, что в исходных суждениях вида A, Е, I, О (см.: Суждение) предикат Р заменяется на не-Р (т. е. на его дополнение), и наоборот, и при этом качество суждения изменяется (утвердительное суждение преобра­зуется в отрицательное, и наоборот), а его общность (т. е. количество суждения) остается прежней. Так, из истинного суждения вида «Все S суть Р» путем его П. можно получить истинное суждение вида «Ни одно S не есть не-Р» (ср.: «Все тигры — хищные животные» и «Ни один тигр не является не-хищным животным»). Из истинного суждения вида «Ни одно S не есть Р» можно путем П. получить истинное суждение вида «Все S суть не-Р» (ср.: «Ни один кит не есть рыба» и «Все киты суть не-рыбы»). Из истинного суждения вида «Некоторые S суть Р» путем П. можно получить истинное суж­дение вида «Некоторые S не суть не-Р» (ср.: «Некоторые металлы являются жидкими» и «Некоторые металлы не являются не-жидкими»). Из истинного суждения вида «Некоторые S не суть Р» путем П. можно получить истинное суждение вида «Некоторые S есть не-Р» (ср.: «Некоторые учащиеся не являются отличниками» и «Неко­торые учащиеся являются не-отличниками»).