Приведение К Абсурду
Правило логич. вывода, позволяющее заключить, что если из списка утверждений Г, А следует как утверждение В, так и утверждение , то из списка Г следует . Правило П. к а. записывают, напр., в виде и наз. также правилом введения отрицания. П. к а. является допустимым правилом для подавляющего большинства логико-матеатич. исчислений, C. Ю. Маслов.
Источник:
Математическая энциклопедия
на Gufo.me
Значения в других словарях
- Приведение к абсурду — В логике, вид доказательства, т. н. Доказательство от противного. Большая советская энциклопедия