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