Выявите структуру опровержения. Выделите тезис и аргументы опровержения

Опровержение – логическая операция установления ложности или необоснованности ранее выдвинутого тезиса.
Опровержение должно показать, что: 1) неправильно построено само доказательство (аргументы или демонстрация); 2) выдвинутый тезис ложен или не доказан.
Суждение, которое надо опровергнуть, называется тезисом опровержения. Суждения, с помощью которых опровергается тезис, называются аргументами опровержения.
Существуют три способа опровержения: опровержение тезиса (прямое и косвенное); критика аргументов; выявление несостоятельности демонстрации.
Виды опровержений
Опровержение тезиса (прямое и косвенное).
Опровержение тезиса осуществляется с помощью следующих трех способов (первый – прямой способ, второй и третий – косвенные способы).
1. Опровержение фактами – самый верный и успешный способ опровержения. Должны быть приведены действительные события, явления, статистические данные, которые противоречат тезису, т. опровергаемому суждению.
2. Устанавливается ложность (или противоречивость) следствий, вытекающих из тезиса . Доказывается, что из данного тезиса вытекают следствия, противоречащие истине. Этот прием называется «сведение к абсурду» (reductioadabsurdum). Поступают так: опровергаемый тезис временно признается истинным, но затем из него выводятся такие следствия, которые противоречат истине.
В классической двузначной логике (как уже отмечалось) метод «сведения к абсурду» выражается в виде формулы:
¬a =a→F, Df, где F – противоречие или ложь.
В более общей форме принцип «сведения (приведения) к абсурду» выражается такой формулой: (а →b) → ((а →¬b)  →¬a.
3. Опровержение тезиса через доказательство антитезиса. По отношению к опровергаемому тезису (суждению а)  выдвигается противоречащее ему суждение (т. е. не-а), и суждение не-а (антитезис) доказывается. Если антитезис истинен, то тезис ложен, и третьего не дано по закону исключенного третьего.
Критика аргументов
Подвергаются критике аргументы, которые были выдвинуты оппонентом в обоснование его тезиса. Доказывается ложность или несостоятельность этих аргументов.
Ложность аргументов не означает ложности тезиса: тезис может оставаться истинным, согласуясь формуле: ((а→b), ¬а) → Вероятно,¬b