непосредственное умозаключение в рамках формализма традиционной логики ; применяется обычно совместно с обращением суждений. П. состоит в изменении качества посылки и одновременном замещении термина предиката на термин ему противоположный, Пример: 'Книга новая, следовательно, она не старая'. Семантической основой П. служит дихотомическое деление признаков, а логической основой - исключенного третьего принцип и законы двойного отрицания. Для т. н. 'категорических' силлогистических посылок правила П. суть следующие: из истинности 'Все (или некоторые) S суть Р ' следует истинность 'Никакие (или некоторые) S не суть не- Р ', и наоборот; из истинности 'Никакие (или некоторые) S не суть Р ' следует истинность 'Все (или некоторые) S суть не- Р ', и наоборот.
Как и др. виды непосредственных умозаключений, П. пользовалось особым вниманием средневековых философов, занимавшихся логико-грамматическим анализом места отрицания в предложении в связи с вопросом о равносильности высказываний. В формализме математической логики П. самостоятельного значения не имеет. Это, однако, не умаляет его полезности для практики содержательного мышления. В частности, П. используется (обычно неявно) в 'языке исследователя' при переводе традиционного символизма категорических суждений на символический язык современной логики предикатов .
Лит.: Логика, М., 1956, с. 130-31.
М. М. Новосёлов.