Para toda proposición a, se cumple que existe una única proposición b, tal que b es la negación de a.