|
|
Большая Советская Энциклопедия (цитаты)
|
|
|
|
|
Косвенное доказательство | | Косвенное доказательство (далее К)доказательство в логике какого-либо суждения (тезиса), основанное на опровержении (т. е. доказательстве ложности, доказательстве отрицания) некоторых др. суждений, находящихся в определенных отношениях к тезису. В т. н. разделительном Косвенное доказательство тезис представляет собой один из членов дизъюнкции (т. е. суждения вида "A1, или А2, или..., или An"), о которой известно, что она истинна (или предполагается предварительно доказанной), а само доказательство состоит в опровержении всех членов Ai этой дизъюнкции, кроме доказываемого. Т. н. апагогическое Косвенное доказательство, или доказательство от противного, состоит в опровержении отрицания доказываемого тезиса ("антитезиса"). Если исходить из истинности (или доказуемости) исключенного третьего принципа ("А или не-А"), то апагогично Косвенное доказательство можно считать частным случаем разделительного. |
Для поиска, наберите искомое слово (или его часть) в поле поиска
|
|
 |
 |
 |
|
