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 |