Математическая энциклопедия - приведение к абсурду

правило логич. вывода, позволяющее заключить, что если из списка утверждений Г, А следует как утверждение В, так и утверждение , то из списка Г следует . Правило П. к а. записывают, напр., в виде

и наз. также правилом введения отрицания. П. к а. является допустимым правилом для подавляющего большинства логико-матеатич. исчислений, C. Ю. Маслов.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985