Теза – висловлювання, що підлягає доказу (або спростуванню); аргументи (підстави)
Підручник з логіки
Теза – висловлювання, що підлягає доказу (або спростуванню); аргументи (підстави) - висловлювання, з допомогою яких доводиться чи спростовується теза; демонстрація (форма доказу) - зв'язок між тезою та аргументами у вигляді умовиводу чи міркування; спростування - доказ, спрямований на відведення чи уточнення тверджень, які вважалися раніше доведеними.
Прямий доказ - найбільш звичайний доказ, в якому прямо фігурує теза, що доводиться; опосередкований доказ - обхідний шлях у доказових міркуваннях, коли замість тези береться логічно пов'язане з нею твердження; доказ від протилежного (апагогічне) - різновид непрямого доказу, в якому спростовується твердження, що суперечить тезі; розділовий доказ - різновид непрямого доказу, у якому послідовно відкидаються альтернативні тези твердження.
Основна помилка - помилка, викликана тим, що у міркуванні використовується хибний аргумент; коло в доказі - помилка, викликана тим, що аргументи, що підкріплюють тезу, самі обґрунтовуються через цю тезу; попередження підстави - помилка, викликана тим, що аргументи заздалегідь закладається те, що треба довести; надмірний доказ - вживання у доказі зайвих аргументів, від чого доказ лише заплутується.
Уявне прямування - загальна назва помилок, що виникають через порушення у формі доказу (має дуже багато різновидів); "після цього не означає внаслідок цього" - вираз, яким позначають зустрічається іноді помилку при встановленні причинних зв'язків; "від сказаного з умовою до сказаного безумовно" - вираз, яким позначають помилку, що виникає черезігнорування конкретних умов тієї чи іншої істини; "від сказаного у збірному сенсі до сказаного в розділовому сенсі" - вираз, яким позначають помилку, що виникає через ігнорування різниці між збірними та розділовими поняттями; заміна доказу іншими засобами протягнути потрібне твердження - неприпустимий у доказах прийом, що має дуже багато різновидів.
Критика тези, критика аргументів, критика демонстрації – три види, на які поділяються всі способи спростування; спростування фактами, зведенням до абсурду, доказом антитези – три основні різновиди спростування тези; "Жіночий аргумент" - вираз, яким позначають недозволений прийом спростування, коли думка опонента перебільшується до карикатури.
Пропозиційна змінна - символ (зазвичай латинська літера), що замінює будь-яке висловлювання; логічний союз - назва широко поширених у будь-якій мові мовних зворотів, за допомогою яких пов'язуються дві і більше оповідальні пропозиції (мають символічні позначення); заперечення - найпростіший логічний союз, що виражається словами "невірно, що .", який не пов'язує, а лише перетворює висловлювання; кон'юнкція - логічний союз, що виражається граматичною спілкою "і" а також багатьма іншими еквівалентними йому виразами (позначається символом - /); диз'юнкція - логічний союз, що виражається граматичною спілкою "або" а також іншими еквівалентними йому виразами (позначається символом - \/); імплікація - логічний союз, що виражається словами "якщо ., то ." а також багатьма іншими еквівалентними йому оборотами (позначається символом - =); еквівалентність - логічний союз, що виражає відносини рівнозначності, взаємної залежності (позначається символом - ó).