Привдение к абсурду

рассуждение, показывающее ошибочность какого-то положения путем выведения из него абсурда, т. е. противоречия. Если из высказывания А выводится как высказывание B, так и его отрицание, то верным является отрицание A. Напр., из высказывания «Треугольник — это окружность» вытекает как то, что треугольник имеет углы (так как быть треугольником значит иметь три угла), так и то, что у него нет углов (поскольку он окружность); следовательно, верным является не исходное высказывание, а его отрицание «Треугольник не является окружностью». Закон П. к а. с применением символики логической (р, q — некоторые высказывания; —> импликация, «если, то»; ~ отрицание, «неверно, что») представляется формулой: (р -> q) -> ((р -> ~ q) -> ~ р), если (если р, то q), то (если (если р, то не-q), то не-р).