Большая Советская энциклопедия
в логике, вид доказательства, т. н. Доказательство от противного.
Большой англо-русский и русско-английский словарь
лат. ad absurdum
Математическая энциклопедия
- правило логич. вывода, позволяющее заключить, что если из списка утверждений Г, А следует как утверждение В, так и утверждение 
, то из списка Г следует 
. Правило П. к а. записывают, напр., в виде
и наз. также правилом введения отрицания. П. к а. является допустимым правилом для подавляющего большинства логико-матеатич. исчислений, C. Ю. Маслов.
Dictionnaire technique russo-italien
riduzione all'assurdo