Прескриптивное высказывание, см.: Нормативное выс­казывание. Приведение к абсурду, или: Редукция к абсурду, приведение к нелепости (лат. Reductio ad absurdum),

 — рас­суждение, показывающее ошибочность какого-то положения путем выведения из него абсурда, т. е. противоречия. Если из высказывания

[279]

А выводится как высказывание B, так и его отрицание, то верным является отрицание A. Напр., из высказывания «Треугольник — это окружность» вытекает как то, что треугольник имеет углы (так как быть треугольником значит иметь три угла), так и то, что у него нет углов (поскольку он окружность); следовательно, верным явля­ется не исходное высказывание, а его отрицание «Треугольник не является окружностью».

Закон П. к а. с применением символики логической (р, q — некото­рые высказывания; —> импликация, «если, то»; ~ отрицание, «не­верно, что») представляется формулой:

(р -> q) -> ((р -> ~ q) -> ~ р),

если (если р, то q), то (если (если р, то не-q), то не-р).