47. У логіці під безпосередніми умовиводами розуміють такі умовиводи, у котрих висновок робиться всього з одного засновку.

Третя фігура має таке правило: менший засновок має бути ствердним. Висновок у третій фігурі завжди частковий.

За методом єдиної схожості ґрунтується на такому правилі: якщо два чи більше випадків досліджуваного явища мають спільну лише одну обставину, а всі інші обставини різні, то ця єдина схожа обставина і є причиною цього явища.

Тезою доказу називається положення, істинність якого треба довести. У складному доказі слід розрізняти основну тезу і підлеглі, часткові тези.Основною тезою називається положення, котрому підлягає обґрунтування ряду інших положень.Часткова теза — це таке положення, котре стає тезою лише тому, що за її допомогою доводиться основна теза. Часткова теза, будучи доведеною, сама стає потім аргументом для обґрунтування основної тези.

Умовно-розділювальний – умовивід, в якому один засновок умовне, а інший розділове судження

48. Частковоствердні судження — це судження за кількістю часткові, а за якістю ствердні. Наприклад: "Деякі студенти — відмінники"; "Деякі злочини здійснюються з необережності". Формула частковоствердного судження: Деякі S е Р.

Негативним називається поняття, в якому йдеться про відсутність у предмета ознак, котрі складають позитивні поняття.

У реальних визначається предмет. До реальних визначень відносять такі: визначення через рід і видові відмінності, генетичне та інші способи визначення.

Категоричним силогізмом називається такий дедуктивний умовивід, у якому обидва засновки є категоричними судженнями.

Відношення противності мають місце між судженнями А і Е (загальноствердним і загальнозаперечним). Суть цього відношення полягає в тому, що противні судження не можуть бути обидва одночасно істинними, але обидва можуть бути одночасно хибними. Тому якщо одне із противних суджень істинне, то друге безперечно хибне, але із хибності одного противного судження не можна робити висновок про істинність другого.

49. Закон тотожності формулюється так: будь-яка думка про предмет у процесі даного міркування тотожна сама собі, скільки б разів вона не повторялась.

Фігурами силогізму називаються форми силогізму, що відрізняються одна від одної розташуванням середнього терміна в засновках. Існує чотири фігури силогізму.

Сполучений метод схожості і різниці е сполучення методу схожості і методу різниці. Загальне правило сполученого методу схожості і різниці формується так: якщо два чи більше випадків виникнення досліджуваного явища мають загальним лише одну обставину, а два чи більше випадків не виникнення цього явища мають загальним тільки відсутність тієї ж обставини, то ця обставина і є причиною явища, що вивчається.

Апагогічне (лат. apagoge — вивід; apagōgōs — той, що відводить) доведення. Непрямедоведення, в якому з антитези виводять наслідки, що явно суперечать дійсності або відомим істинним і достовірним положенням.

Конструктивна Проста дилема —дилема, висновком якої є наслідок умовного судження-засновку