ЗАКОН СНЯТИЯ ДВОЙНОГО ОТРИЦАНИЯ — Один из базовых законов рассуждений, характерных для традиционных формальных систем. Он утверждает, что всегда имеет место равенство A=A.