Умозаключение, в котором заключение выводится из одной посылки, называется непосредственным. Его видами являются: превращение, обращение, противопоставление предикату, умозаключение по логическому квадрату (см. учебник, гл. IV, § 2).
Превращение
Преобразование суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения, называется превращением.
Чтобы превратить суждение, нужно изменить его связку на противоположную, а предикат - на противоречащее понятие. Суждение «Не все S есть Р» рассматривается как частноотрицательное: «Некоторые S не есть Р».
Схемы превращения:
(А) Все S есть Р
(Е) Ни одно S не есть не-Р
(Е) Ни одно 5 не есть Р (Л) Все S есть не-Р
(/) Некоторые 5 есть Р (О) Некоторые S не есть не-Р
(О) Некоторые S не есть Р (Г) Некоторые 5 есть не-Р