Какой из них тезис опровержения

По форме доказательства делятся на прямые и косвенные.
Прямые доказательства представляют собой вывод, в котором тезис непосредственно выводится из аргументов.
Схема прямого доказательства:
Подбираются аргументы, прямо направленные на обоснование тезиса (по дедукции, по индукции или аналогии).
«Дедуктивное обоснование чаще всего осуществляется путем подведения частного случая под общее правило.
Индуктивное обоснование – это логический переход от аргументов, являющихся единичными или менее общими суждениями к общему выводу, которым и является тезис.
Обоснование в форме аналогии – это прямое обоснование тезиса, в котором формулируются утверждения о свойствах единичного явления».
Косвенное (непрямое) доказательство достигается посредством опровержения некоторых других высказываний.
Различают два вида косвенных доказательств: доказательство «от противного» (апагогическое) и доказательство посредством исключения альтернатив.
Апагогическое косвенное доказательство (или доказательство «от противного») осуществляется путем ycтановления ложности противоречащего тезису суждения. Этот метод часто используется в математике.
Пусть а – тезис или теорема, которую надо доказать. Предполагаем от противного, что а ложно, т. е. истинно не-а (или ¬а ).
Из допущения ¬а  выводим следствия, которые противоречат действительности или ранее доказанным теоремам. Имеем  а v ¬а, при этом ¬а – ложно, значит, истинно его отрицание, т.е. ¬¬а, которое по закону двузначной классической логики (¬¬а → а) дает а. Значит, истинно а, что и требовалось доказать.
Следует заметить, что в конструктивной логике формула ¬¬а → а не является выводимой, поэтому в этой логике и в конструктивной математике ею пользоваться в доказательствах нельзя. Закон исключенного третьего здесь также «отвергается» является выводимой формулой, поэтому косвенные доказательства здесь не применяются .
Разделительное доказательство (методом исключения). Антитезис является одним из членов разделительного суждения, в котором должны быть обязательно перечислены все  возможные альтернативы, например:
Кошелёк потерял либо А, либо В, либо С.
Мы знаем, что кошелёк ни А, ни В не теряли.
Значит, этот кошелёк С.
Истинность тезиса устанавливается путем последовательного доказательства ложности всех членов разделительного суждения, кроме одного.
Здесь применяется структура отрицающе-утверждающего модуса разделительно-категорического силлогизма. Заключение будет истинным, если в разделительном суждении предусмотрены все возможные случаи (альтернативы), т. е. если оно является закрытым (полным) дизъюнктивным суждением:
a v b v c v d; ¬a ʌ ¬b ʌ ¬c ʌ ¬d
d
В этом модусе союз «или» может употребляться и как строгая дизъюнкция (⊽), и как нестрогая дизъюнкция (v), поэтому ему отвечает также схема:
a ⊽ b ⊽ c ⊽ d; ¬a ʌ ¬b ʌ ¬c ʌ ¬d
d
Правила по отношению к тезису, аргументам, демонстрации.
Логические ошибки по отношению к ним.
Правила по отношению к тезису
1. Тезис должен быть логически определенным, ясным и точным. 
2. Тезис должен оставаться тождественным.
Ошибки по отношению к тезису
1. «Подмена тезиса». Тезис должен быть ясно сформулирован и оставаться одним и тем же на протяжении всего доказательства или опровержения. В противном случае, произойдёт нарушение требований закона тождества.
2. «Довод к человеку». Ошибка состоит в подмене доказательства самого тезиса ссылками на личные качества того, кто выдвинул этот тезис. Например, вместо того чтобы доказывать ценность и новизну вновь вышедшей книги, отмечают прежние заслуги её автора