Значения в других словарях Двойного Отрицания Закон — Логический принцип, согласно к-рому "если неверно, что неверно А, то верно Л". Д. о. з. наз. также законом снятия двойного отрицания. В формализованном языке логики высказываний Д. о. Математическая энциклопедия