Косвенное доказательство

Определение "Косвенное доказательство" в Большой Советской Энциклопедии


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




"БСЭ" >> "К" >> "КО" >> "КОС" >> "КОСВ"

Статья про "Косвенное доказательство" в Большой Советской Энциклопедии была прочитана 262 раз
Английское куриное карри
Куриный суп

TOP 20