Словарь логики

(лат. conversio) — в традиционной логике вид не­посредственного умозаключения, в котором вывод получается путем постановки предиката посылки на место субъекта, а субъекта посылки - на место предиката. Общая схема О. выглядит следую­щим образом: S есть Р. Р есть S. Напр., из суждения «Птицы есть позвоночные» мы путем О. полу­чаем вывод «Позвоночные есть птицы». Общеутвердительные суж­дения «Все S есть Р» (типа A) обращаются в частноутвердительные «Некоторые Р есть S» (типа I), напр., суждение «Все рыбы дышат жабрами» обращается в суждение «Некоторые дышащие жабрами есть рыбы»; общеотрицательные суждения «Ни одно S   не есть Р» (типа Е) обращаются в общеотрицательные «Ни одно Р не есть S» (типа Е), напр., суждение «Ни один кит не является рыбой» обращается в суждение «Ни одна рыба не есть кит»; частноутвердительные суждения «Некоторые S есть P» (типа I) обра­щаются в частноутвердительные «Некоторые Р есть S», напр., суждение «Некоторые металлы — жидкости» обращается в сужде­ние «Некоторые жидкости — металлы»; наконец, из частноотрицательного суждения нельзя сделать вывод путем О.