En lógica bivalente o lógica binaria, la negación de una proposición negativa equivale a una afirmativa.