Parte de la base es el cumplimiento del principio de exclusión de intermedios: una proposición que no puede ser falsa es necesariamente verdadera, y una proposición que no puede ser verdadera es necesariamente falsa.