2014-02-04
261
| 1 этап | Формулирование антитезиса как суждения, противоречащего тезису |      
|
| 2 этап |  Выведение следствий (С1 - Сn) из антитезиса и сопоставление их с реальным положением дел (f₁ - fn), в котором обнаруживается хотя бы одно несоответствие (//)
| С 1 С n
 II II
f₁ f n
|
| 3 этап | Выведение по отрицающее-отрицающему модусу условно-категорического умозаключе-ния ложности антитезиса (דА) | А → (С1 – С n), ד(С1 –С n) ד А |
| 4 этап | Следование на основании закона исключенного 3-го из ложности антитезиса истинности тезиса | <T\\// A>
 ד A T
|
Построение косвенного разделительного доказательства
| 1 этап | Формулирование тезиса и антитезиса как членов закрытой дизъюнкции |  <T\\// A>
|
| 2 этап | Обоснование ложности альтернатив – антитезиса | a1 – a n
ד А
|
| 3 этап | Выведение по отрицающее-утверждающему модусу разделительно-категорического умоза-ключения из ложности антитезиса истинности тезиса | <T \\// A>,דA T |
