Перетворення , безпосередній висновок в рамках формалізму традиційною логіки ; застосовується зазвичай спільно з зверненням думок. П. полягає в зміні якості посилки і одночасному заміщенні терміну предиката на термін йому протилежний, Приклад: «Книга нова, отже, вона не стара». Семантичною основою П. служить дихотомічне ділення ознак, а логічною основою — виключеного третього принцип і закони подвійного заперечення. Для т.з. «категоричному» силогізмі посилок правила П. суть наступні: з істинності «Все (або деякі) S суть Р » слідує істинність «Никакие (або деякі) S не суть не- Р », і навпаки; з істинності «Никакие (або деякі) S не суть Р » слідує істинність «Все (або деякі) S суть не- Р », і навпаки.
Як і ін. види безпосередніх висновків, П. користувалося особливою увагою середньовічних філософів, що займалися логіко-граматичним аналізом місця заперечення в пропозиції у зв'язку з питанням про равносильності висловів. У формалізмі математичної логіки П. самостійного значення не має. Це, проте, не зменшує його корисності для практики змістовного мислення. Зокрема, П. використовується (зазвичай неявно) в «мові дослідника» при перекладі традиційного символізму категоричних думок символічною мовою сучасною логіки предикатів .
