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