2. Правило сведения “к абсурду”

Это так называемое reductio ad absurdum - метод доказатель­ства приведением к нелепости, иначе это называется правилом введения отрицания. Оно записывается так:

180

Правило читается так: “Если из посылок Г и посылки а вы­водится противоречие, т. е. b и не-b, то из одних Г выводится не-а”. Метод сведения к абсурду широко применяется в мыш­лении, как научном, так и в обыденном.

В классической двузначной логике метод сведения к абсур­ду выражается в виде формулы:

где F- противоречие или ложь. Эта формула говорит о том, что суждение а надо отрицать (считать ложным), если из а вытека­ет противоречие.

Определение отрицания посредством сведения к абсурду, про­тиворечию широко используется не только в классической, но и в неклассических логиках: в многозначных, конструктивных и интуиционистской.