Tertium non datur: differenze tra le versioni

In altre parole, non è possibile che due proposizioni contradditorie siano entrambe non vere, in quanto esso afferma che il valore di verità di una proposizione è sempre opposto a quello della proposizione contraddittoriacontradditoria. Il principio del ''tertium non datur'' implica ed è più generale del [[principio di non-contraddizione]] o di consistenza, per cui se una proposizione è vera, non lo è il suo contrario, fatto che a priori non esclude che entrambe possano essere non vere. Il principio si differenzia anche dal [[principio di bivalenza]] che afferma che una proposizione è vera o è falsa.