Безпосередні висновки зі складних суджень

Посиланням безпосереднього висновку може бути не тільки просте - атрибутивне або реляційне, а й складне судження.

Візьмемо за приклад умовну думку (імплікацію): «Якщо завтра буде сонячна погода, то ми підемо в ліс». З нього можна зробити висновок: "Якщо ми не пішли в ліс, то погода не була сонячною".

Подібний висновок заснований на законі контрапозиції. Воно означає, що будь-яке справжнє умовне судження, якщо в ньому поміняти місцями підставу і слідство і піддати їх одночасно заперечення, може дати як висновок теж справжнє умовне судження.

Безпосередній висновок можна зробити і з кон'юнкції. Якщо істинно, що «Казань перебуває в Волзі, і Саратов перебуває в Волзі», то істинним буде й висновок: «Саратов перебуває в Волзі, і Казань перебуває в Волзі».

Укладання з суворої диз'юнкції: якщо істинно, що «Продуктивність праці залежить від технічного прогресу чи відкваліфікації працівника», то звідси випливає, що істинно і таке судження: «Продуктивність праці залежить від кваліфікації працівника чи то з технічного прогресу». В основі цих безпосередніх висновків з кон'юнкції та диз'юнкції лежить їх властивість комутативності (перестановності).

Нарешті, можна робити висновки із суворої диз'юнкції еквівалентності.

Підсумовуючи тепер загальний підсумок, можна підкреслити, що безпосередні висновки з найпростіших і найскладніших суджень — не тільки «гімнастика для розуму». Завдяки їм з вже відомого знання витягується додаткова, і до того ж найрізноманітніша і багата, інформація: про взаємини структурних елементів думки - S і Р або x і y - у простих судженнях, а також вихідних суджень у складних. Важливо лише, щоб у кожному окремому випадку дотримувалися ті чи інші специфічні правила таких висновків, щоб уникати помилок у міркуваннях.