Большая советская энциклопедия

Значения в других словарях

  1. Приведение К Абсурду — Правило логич. вывода, позволяющее заключить, что если из списка утверждений Г, А следует как утверждение В, так и утверждение , то из списка Г следует . Правило П. к а. записывают, напр., в виде и наз. также правилом введения отрицания. П.  Математическая энциклопедия