Обернення судження
Нагадаємо, що дедуктивні умовиводи поділяються на виводи логіки висловлювань (виводи зі складних суджень) та виводи з простих категоричних суджень (А, Е, І, О), які мають структуру “S-Р”.
Виводи з простих категоричних суджень поділяють на опосередковані - з двох і більше суджень-засновків, та безпосередні з одного суджсння-засновку.У даному і подальших параграфах цього розділу ми будемо розглядати безпосередні умовиводи.
* Безпосередніми умовиводами називають такі дедуктивні виводи, які здійснюються з одного категоричного судження-засновку.
Існують чотири основних види безпосереднього виводу:
1) обернення судження; 2) перетворення судження; 3) протиставлення предикатові та 4) виводи за логічним квадратом.
Обернення (латинське conversin') - цс логічна операція, в результаті якої S та P судження-засновку міняються місцями. Якість судження при оберненні не змінюється. Якщо кількість судження не змінюється, то такс обернення називають простим, або чистим. Якщо ж кількість судження при оберненні змінюється, то такс обернення називають оберненням з обмеженням (узагальненням).
У залежності від чотирьох типів простих категоричних суджень існують такі правила обернення суджень.
Загальностверджувальне судження.
Наприклад: 
Це приклад обернення з узагальненням.
Частковозаперечне судження не завжди дає необхідні виводи у випадку обернення, тобто висновки обернення з судження O(SP) не завжди є істинними. Наприклад: “Деякі злочинці не є рецидивістами, отже, деякі рецидивісти не є злочинцями (?!)”. Виходячи з цього, частковозаперечне судження операції обернення не підлягає.
5.