Превращение – это умозаключение, состоящее в преобразовании некоторого категорического суждения в противоположное по качеству с предикатом, противоречащим предикату исходного суждения.
Другими словами, при выводе с помощью превращения отрицательное суждение преобразуется в утвердительное и, наоборот, утвердительное – в отрицательное, а предикат берётся с отрицанием (то есть Р меняется на не-Р или не-Р на Р).
Формы выводов с помощью превращения:
1) для общеутвердительного суждения:
Все S есть Р.
Ни одно S не есть не-Р.
2) для общеотрицательного суждения:
Ни одно S не есть Р.
Все S есть не-Р.
3) для частноутвердительного суждения:
Некоторые S есть Р.
Некоторые S не есть не-Р.
4) для частноотрицательного суждения:
Некоторые S не есть Р.
Некоторые S есть не-Р.
Прежде чем преобразовать суждение при помощи операции превращения (а также при помощи других непосредственных умозаключений), его желательно записать в логической форме. Это позволяет не совершать ошибок при определении тех понятий, которые являются субъектом и предикатом категорических суждений, и таким образом избегать нелепостей при выводе. Причем, при записи категорического суждения в логической форме нужно помнить о том, что его субъект и предикат должны иметь общий род.