Операції з простими судженнями (безпосередні висновки)
За допомогою операційзвернення, перетворення та протиставленнявиходять нові судження, еквівалентні вихідним.
Сенсзвернення як операції полягає в тому, що суб'єкт і предикат судження змінюються місцями (звертаються), не змінюючи якості судження. Якщо кількість у своїй зберігається, це судження без обмеження (просте чи чисте), якщо кількість вихідного судження змінюється, це судження з обмеженням.
I. A→IСужденіе А звертається в I з обмеженням(обмеження пов'язане з тим що поняття S і Р взяті в різному обсязі, в цьому легко переконається за допомогою схеми). Усі S є Р Деякі Р є S Наприклад: "Якщо всі люди смертні, то лише деякі смертні істоти є людьми" (Якщо всі S є Р, то деякі Р є S). Можливе звернення А→А: Якщо всі квадрати (S) є рівносторонніми прямокутниками, то всі рівносторонні прямокутники (P) є квадратами (S) (Якщо всі S є Р, то всі Р є S)
ІІ. Е→ЕСудження Е звертається в Е без обмеженняНаприклад: "Якщо всі театри не є поліклініками, то всі поліклініки не є театрами". Всі S не є Р Всі Р не є S
ІІІ. I→IСудження I звертається до I також без обмеження.Деякі S є Р Деякі Р є S Наприклад: Якщо деякі студенти є спортсменами, то деякі спортсмени є студентами
IV. О→?Міркування Про не звертається
У перетворенні ствердні судження перетворюються на негативні, і навпаки і в результаті виходить еквівалентне судження вихідному.
Протиставлення - балка. операція з простими судженнями, що виробляє одночасно і звернення та перетвореннясуджень. Якщо відбувається спочатку звернення, та був перетворення, це протиставлення суб'єкту Якщо відбувається спочатку перетворення, та був звернення, то протиставлення предикату.
1. А в ОВсі студенти учні- вихідне судженняДеякі учні - студенти- звернення вихідного суд.Деякі учні не є не студентами- перетворення зверненого cужд.2. Є в АНі один лікар не є юристомВсі юристи не є лікарямиВсі юристи є не лікарями 3. I в О деякі студенти є відмінниками Деякі відмінники є студентами
4. Приватнонегативні судження (О) шляхом протиставлення суб'єкту, в силу невизначеності квантора "деякі", не дозволяють вказати єдине слідство з вихідного судження.
1. А в ЄВсі зірки є небесними тілами - вихідне судженняВсі зірки не є ненебесними тілами - перетворенняВсі ненебесні тіла не є зірками - звернення 2. Е в IЖодна дитина не є дорослоюВсі діти є не дорослимиДеякі недорослі є дітьми 3. Про в IДеякі є ссавцямиДеякі тварини є не ссавцямиДеякі не ссавці є тваринами
4.Частноствердні судження (Про) шляхом протиставлення предикату, через невизначеність квантора " деякі " , неможливо вказати єдине слідство з вихідного судження.