Некоторые методы, которые используются для доказательства положительных утверждений в логике:

• Прямое доказательство. 2 Истинность тезиса непосредственно обосновывается аргументами. 2
• Дедуктивное доказательство. 2 Предлагает заглавную, ведущую идею, которая всеми признаётся истинной и из которой доказываемый тезис вытекает как следствие. 2
• Апагогическое доказательство (доказательство «от противного»). 2 Осуществляется через установление ложности противоречащего тезису суждения. 2 Базируется на законе исключённого третьего. 2
• Метод резолюций. 5 К доказываемой формуле применяется операция отрицания, затем предпринимается попытка доказать, что формула, полученная в результате отрицания, противоречива. 5 Если это удаётся сделать, то исходная формула считается выводимой из множества аксиом. 5