Косвенные доказательства и их виды.

Доказательство — это логическая операция обоснования истинности утверждения с помощью фактов и других истинных связанных с ним суждений.

Доказательства по форме делятся на прямые и (косвенные).

Непрямое (косвенное) доказательство — это доказательство, в котором истинность выдвинутого тезиса обосновывается путём доказательства ложности утверждаемого антитезиса. Оно применяется тогда, когда нет аргументов для прямого доказательства. Антитезис может быть выражен в одной из двух форм:

1. если тезис обозначить буквой а, то его отрицание (а) будет антитезисом, то есть противоречащим тезису суждением;
2. антитезисом для тезиса а в суждении а...в...с служат суждения в и с.

В зависимости от этого различия в структуре антитезиса косвенные доказательства делятся на два вида – апагогическое (доказательство от «противного») и разделительное доказательство (методом исключения). Первое осуществляется путем установления ложности противоречащего тезису суждения. Этот метод часто используется в математике. Во втором антитезис является одним из членов разделительного суждения, в котором должны быть обязательно перечислены все возможные альтернативы, например: Преступление совершил либо А, либо Б, либо С. Доказано, что не совершали преступление ни А, ни Б. Следовательно преступление совершил С. Истинность тезиса устанавливается путем последовательного доказательства ложности всех членов разделительного суждения кроме одного.

Не нашли, что искали? Воспользуйтесь поиском: