Большая советская энциклопедия:
Приведение к абсурду
В логике, вид доказательства, т. н. Доказательство от противного.
Математическая энциклопедия:
Правило логич. вывода, позволяющее заключить, что если из списка утверждений Г, А следует как утверждение В, так и утверждение , то из списка Г следует . Правило П. к а. записывают, напр., в виде и наз. также правилом введения отрицания. П. к а. является допустимым правилом для подавляющего большинства логико-матеатич. исчислений, C. Ю. Маслов.
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020