La ley del tercero excluido, establece que para todas las proposiciones p o bien p o p ~ debe ser cierto, ya que no hay proposición de medio real entre ellos (Esto no debe confundirse con el principio de bivalencia, que establece que cualquiera de p debe ser verdadera o falsa).