Безпосередні умовиводи - логіка - є для всіх
Частноутвердітельние виділяють судження звертаються в общеутвердітельние:
Деякі юристи, і тільки юристи, є адвокатами.
Всі адвокати суть юристи.
Про: частноотріцательние судження не звертаються.
Логічна операція звернення судження має велике практичне значення. Незнання правил поводження призводить до грубих логічних помилок. Так, досить часто общеутвердительное судження звертається без обмеження. Наприклад, судження «Всі юристи повинні знати логіку» звертається в судження «Всі вивчають логіку - юристи». Але це невірно. Вірно судження «Деякі вивчають логіку - юристи».
Протиставлення предікату- це послідовне застосування операцій перетворення і звернення - перетворення судження в нове судження, в якому суб'єктом стає поняття, що суперечить предикату, а предикатом - суб'єкт вихідного судження; змінюється якість судження.
Наприклад, із міркувань «Все адвокати - юристи» можна, протиставляючи предикат, отримати «Жоден не-юрист не є адвокатом». схематично:
Ставлення протилежності має місце між судженнями Общеутвердітельное і Общеотріцательное (А-Е). Сутність цього відношення полягає в тому, що два протилежних судження не можуть бути одночасно істинними, але можуть бути одночасно хибними. Тому якщо одне з протилежних суджень істинно, то інше неодмінно помилково, але якщо одне з них помилково, то про інше судженні ще не можна беззастережно стверджувати, що воно істинне, - воно невизначено, т. Е. Може виявитися як істинним, так і помилковим. Наприклад, якщо істинно судження «Всякий адвокат є юристом», то протилежне йому судження «Жоден адвокат не є юристом» буде неправдою.
Але якщо помилково судження «Всі студенти нашого курсу раніше вивчали логіку», то протилежне йому «Жоден студент нашого курсу раніше не вивчав логіку» буде невизначеним, т. Е. Воно може виявитися як істинним, так і помилковим.
Ставлення часткової сумісності має місце між судженнями Частноутвердітельное і частноотріцательное (I - О). Такі судження не можуть бути одночасно хибними (принаймні одне з них істинно), але можуть бути одночасно істинними. Наприклад, якщо помилково судження «Іноді можна спізнюватися на урок», то судження «Іноді можна спізнюватися на урок» буде істинним.
Але якщо одне з суджень істинно, то інше судження, яке перебуває з ним у відношенні часткової сумісності, буде невизначеним, тобто воно може виявитися як істинним, так і помилковим. Наприклад, при істинності судження «Деякі люди вивчають логіку» судження «Деякі люди не вивчають логіку» буде істинним або хибним. Але при істинності судження «Деякі атоми подільні» судження «Деякі атоми не є ділимими» буде хибним.
Відношення підпорядкування існує між Общеутвердітельное і Частноутвердітельное судження (А-I). а також між Общеотріцательное і частноотріцательное судженнями (Е-О). При цьому А і Е є подчиняющими, а I і О - підлеглими судженнями.
Відношення підпорядкування полягає в тому, що з істинності підпорядковує судження обов'язково слід істинність підлеглого судження, але зворотне необов'язково: при істинності підлеглого судження підкоряє буде невизначеним - воно може виявитися як істинним, так і помилковим.
Але якщо підпорядковане судження помилкове, то підкоряє буде тим більш хибним. Зворотне знову-таки необов'язково: при хибності підпорядковує судження підлегле може виявитися як істинним, так і помилковим.
Наприклад, при істинності підпорядковує судження «Всі адвокати - юристи» підлегле судження «Деякі адвокати - юристи» буде тим більш істинним. Але при істинності підлеглого судження «Деякі адвокати входять в Московську колегію адвокатів» підкоряє судження «Всі адвокати входять в Московську колегію адвокатів» буде хибним або істинним.
При хибності підлеглого судження «Деякі адвокати не входять в Московську колегію адвокатів» (О) буде хибним підкоряє судження «Жоден адвокат не входить в Московську колегію адвокатів» (Е). Але при хибності підпорядковує судження «Жоден адвокат не входить в Московську колегію адвокатів» (Е) підпорядковане судження «Деякі адвокати не входять в Московську колегію адвокатів» (О) буде істинним або хибним.
Відносини протиріччя існує між Общеутвердітельное і частноотріцательное судженнями (А - О) і між Общеотріцательное і Частноутвердітельное судження (Е -I). Сутність цього відношення полягає в тому, що з двох суперечливих суджень одне обов'язково істинно, інше - помилково. Два суперечливих судження не можуть бути ні одночасно істинними, ні одночасно хибними.
Знання залежності істинність або хибність одних суджень від істинності чи хибності інших суджень допомагає робити правильні висновки в процесі міркування.