Дедуктивні умовиводи
8.2.1. Безпосередні умовиводи
Безпосереднє знання людина одержує за допомогою органів почуттів. Розглядаючи квітку, ми безпосередньо дізнаємось про її колір і зовнішній вигляд.
Безпосередній умовивід, на відміну від безпосереднього знання, обов’язково використовує міркування. Для здійснення безпосереднього умовиводу необхідне знання певних правил.Існує декілька видів безпосередніх умовиводів, а саме: 1) за правилами логічного квадрата; 2) за правилами модальних суджень; 3) за правилами перетворення судження; 4) за правилами обернення судження: 5) за правилами протиставлення пре- дикатці. Оскільки правила логічного квадрата і правила модальних суджень розглянуті вище, розберемо логічні операції із судженнями.
Перетворення — це логічна операція, що дозволяє від судження «суб’єкт—зв’язка—предикат» (S—Р) перейти до судження «суб’єкт—зв’язка—заперечення предиката» (S—не-Р).
При виконанні логічних операцій із судженнями важливо, щоб зміст судження залишався незмінним. Для цього необхідно виконувати такі правила: при перетворенні змінюється якість судження, але ніколи не змінюється його кількість. Це правило пов’язане з відношенням термінів S і P у судженні.
8.3.