Теза - твърдение, подлежащо на доказване (или опровержение); аргументи (основания)
Учебник по логика
Теза - твърдение, подлежащо на доказване (или опровержение); аргументи (основания) - твърдения, с помощта на които се доказва или опровергава тезата; демонстрация (форма на доказателство) - връзката между тезата и аргументите под формата на заключение или разсъждение; опровержение - доказателства, насочени към опровергаване или изясняване на твърдения, които преди това са били считани за доказани.
Пряко доказателство - най-разпространеното доказателство, при което директно се появява доказаната теза; косвени доказателства - заобиколно решение при демонстративно разсъждение, когато вместо теза се взема твърдение, логически свързано с нея; доказателство чрез противоречие (апагогическо) - вид косвено доказателство, при което се опровергава твърдение, което противоречи на тезата; разделително доказателство - вид косвено доказателство, при което последователно се отхвърлят твърдения, алтернативни на тезата.
Основната заблуда е грешката, причинена от факта, че в разсъждението е използван неверен аргумент; кръг в доказателство - грешка, причинена от факта, че аргументите в подкрепа на тезата сами по себе си са оправдани чрез тази теза; очакване на основата - грешка, причинена от факта, че това, което трябва да се докаже, е предварително заложено в аргументите; прекомерни доказателства - използването на прекомерни аргументи в доказателството, от което доказателството само се обърква.
Въображаемо следване - общото име на грешки, произтичащи от нарушения под формата на доказателства (има много разновидности); „след това не означава поради това“ - израз, който обозначава грешка, която понякога възниква при установяване на причинно-следствени връзки; "от казаното с условие към казаното безусловно" - израз, който обозначава грешка, която възниква порадиигнориране на специфичните условия за определена истина; „от казаното в колективен смисъл към казаното в разделителен смисъл“ е израз, който обозначава грешка, произтичаща от пренебрегването на разликата между колективните и разделящите понятия; замяната на доказателството с други средства за прокарване на необходимото твърдение е неприемлив метод в доказателствата, който има много разновидности.
Критика на тезата, критика на аргументите, критика на демонстрацията - три вида, на които се разделят всички методи за опровержение; опровержение с факти, довеждане до абсурд, доказване на антитезата - три основни вида опровергаване на тезата; "дамски аргумент" - израз, който обозначава недопустим метод за опровержение, когато мисълта на противника се преувеличава до карикатура.
Пропозиционална променлива е символ (обикновено латинска буква), който замества всяко твърдение; логически съюз - името на завоите на речта, които са широко разпространени на всеки език, с помощта на които са свързани две или повече декларативни изречения (те имат символични обозначения); отрицание - най-простото логическо обединение, изразено с думите "не е вярно, че.", което не свързва, а само трансформира твърдението; съюз - логическо обединение, изразено чрез граматическия съюз "и", както и много други еквивалентни на него изрази (обозначени със символа - /\); дизюнкция - логическо обединение, изразено чрез граматическия съюз "или", както и други еквивалентни на него изрази (обозначени със символа - \/); импликация - логическо обединение, изразено с думите "ако ., то ." както и много други еквивалентни на него ходове (обозначени със символа - =>); еквивалентност - логическо обединение, изразяващо връзката на еквивалентност, взаимна зависимост (обозначава се със символа - ó).