[Закон Двойного Отрицания]
а- закон логики, позволяющий отбрасывать двойное отрицание. Его можно сформулировать так: отнрицание отрицания дает утверждение, или: повторенное дважды отрицание ведет к утверждению. Напр.: лЕсли неверно, что Вселеннная не является бесконечной, то она бесконечна