31. Демонстрація — це не якесь окреме судження" наявне в доказі, окрім суджень" у яких виражені теза й аргументи, а спосіб (або форма) зв'язку тези й аргументів доказу.

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

Пустим поняттям називається поняття з нульовим обсягом, тобто поняття, логічний клас якого не має жодного елемента. Наприклад, "круглий квадрат", "вічний двигун", "Бог", "русалка", "відьма" тощо.

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

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

32. Порівнянними називаються поняття, у змісті і обсязі яких наявне дещо спільне. Порівнянні є такі поняття: "право" і "мораль", "закон" і "указ", "договір" і "угода" тощо.

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

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

Визначення повинно бути співмірним, тобто обсяг визначуваного поняття повинен дорівнювати обсягу визначаючого

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

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

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

Гіпотезою називається спосіб мислення, котрий полягає в побудові припущення про те, що таке досліджуване явище, та в доведенні цього припущення.Термін "гіпотеза" уживається з подвійним значенням. Під гіпотезою розуміють і саме припущення, котре пояснює спостережуване явище, і спосіб мислення в цілому, який включає висування припущення, його розвиток і доведення. Гіпотеза є метод пізнання предметів і явищ навколишнього світу.

Середнім терміном називається поняття, яке входить до обох засновків і відсутнє у висновку. Позначається середній термін літерою М.

Умовно-розділювальний – умовивід, в якому один засновок умовне, а інший розділове судження (чи лемматичний умовивід lemma – припущення)

34. Термін "логіка" походить від грецького слова "логос", яке перекладається на українську мову як "слово", "мисль", "поняття", "розум", "закономірність".Під цим терміном розуміють: 1. Об'єктивну закономірну послідовність речей і явищ. 2. Послідовність мислення. 3. Науку, яка вивчає мислення.

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

Предикат — це те, що мовиться у судженні про предмет думки. Предикат є поняттям про те, що стверджується або заперечується про предмет, виражений суб'єктом. Позначається предикат літерою Р.

Розділове доведення — непряме доведення, яке полягає в тому, що із розділового судження, до складу якого входить теза, послідовно виключаються всі альтернативи, крім однієї — тези.

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