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

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

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

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

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

29. Закон суперечності твердить: два протилежні висловлювання не є одночасно істинними; у крайньому разі одне з них неодмінно хибне.Відношення підпорядкування існує між судженням А та / (загальноствердним та частковоствердним). Судження А є підпорядковуючим стосовно судження І, а судження І — підпорядкованим. Так само судження Е — підпорядковуюче, а судження О — підпорядковане. Сутність відношення підпорядкування: а) Із істинності підпорядковуючого судження випливає істинність підпорядкованого йому судження, але з істинності підпорядкованого судження не випливає істинність підпорядковуючого судження, воно може бути як істинним, так і хибним. б) Із хибності підпорядковуючого судження не випливає з необхідністю хибність підпорядкованого: воно може бути як хибним, так і істинним. Але з хибності підпорядкованого судження необхідно випливає хибність відповідного підпорядковуючого судження.

Аналогією називається такий умовивід, в якому від схожості предметів в одних ознаках робиться висновок про схожість цих предметів і в інших ознаках.

Прямим доказом називається доказ, у котрому теза обґрунтовується безпосередньо аргументами.

В складній конструктивній дилемі умовний засновок містить дві основи і два наслідки. Міркування направлене від ствердження істинності основ до ствердження істинності наслідків:

30. Загальнозаперечні судження — це судження за кількістю загальні, а за якістю заперечні. Наприклад:"Жодне явище не існує ізольовано від інших явищ'*. Формула загальнозаперечного судження: Жодне S не є Р.

Позитивними називаються такі поняття, котрі відображають наявність у предмета або явища певних ознак.

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

Індукцією називається умовивід, у якому на основі знання частини предметів класу робиться висновок про всі предмети класу, про клас у цілому. Індукція — це умовивід від часткового до загального. Термін "індукція" походить під латинського слова inductio, що означає "наведення".

Судженням називається думка, в якій утверджується або заперечується що небудь про предмети та явища об'єктивної дійсності.