Приведение К Абсурду, Или: Редукция К Абсурду, Приведение К Нелепости - это...

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