Приведение К Абсурду

Значение слова Приведение К Абсурду по Логическому словарю:
Приведение К Абсурду - или: Редукция к абсурду, приведение к нелепости (лат. reductio ad absurdum),  — рас­суждение, показывающее ошибочность какого-то положения путем выведения из него абсурда, т. е. противоречия. Если из высказывания А выводится как высказывание B, так и его отрицание, то верным является отрицание A. Напр., из высказывания «Треугольник — это окружность» вытекает как то, что треугольник имеет углы (так как быть треугольником значит иметь три угла), так и то, что у него нет углов (поскольку он окружность); следовательно, верным явля­ется не исходное высказывание, а его отрицание «Треугольник не является окружностью». Закон П. к а. с применением символики логической (р, q — некото­рые высказывания; —> импликация, «если, то»; ~ отрицание, «не­верно, что») представляется формулой: (р -> q) -> ((р -> ~ q) -> ~ р), если (если р, то q), то (если (если р, то не-q), то не-р).  представля­ется формулой: (р -> р) -> ~ р, если (если р, то не-р), то не-р. Напр., из положения «Всякое правило имеет исключения», которое само является правилом, вытекает выс­казывание «Есть правила, не имеющие исключений»; значит, после­днее высказывание истинно. В романе И. С. Тургенева «Рудин» име­ется такой диалог: «— Стало быть, по-вашему, убеждений нет? - Нет и не существует. — Это ваше убеждение? — Да. — Как же вы говори­те, что их нет? Вот вам уже одно на первый случай». Ошибочному мнению, что никаких убеждений нет, противопоставляется его отри­цание: есть по крайней мере одно убеждение, а именно — что убеж­дений нет. Коль скоро утверждение «Убеждения существуют» выте­кает из своего собственного отрицания, это утверждение, а не его отрицание, является истинным.

Определение «Приведение К Абсурду» по БСЭ:
Приведение к абсурду - в логике, вид доказательства, т. н. Доказательство от противного.

Приведение    Приведение К Абсурду    Приведенная Масса