Tertium non datur: differenze tra le versioni

In altre parole, non è possibile che due proposizioni contraddittorie siano entrambe non vere. Il principio del ''tertium non datur'' implica ed è più generale del [[principio di non-contraddizione]] (o di consistenza), per il quale 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; il principio del terzo escluso afferma invece che il valore di verità di una proposizione è sempre opposto a quello della proposizione contraddittoria.

La fondazione della [[matematica#Fondazioni e metodi|matematica]] - in particolare attraverso la scuola [[intuizionismo|intuizionista]] - non ne dà oggi per scontata l'autoevidenza. La [[logica Fuzzyfuzzy]] rifiuta tale principio, perché i valori di verità sono presi nell'intervallo chiuso tra vero e falso nel campo dei numeri reali, violandone la polarità. Ma in tutte le logiche in cui i valori di verità sono polari, il principio in questione conserva ancora tutta la sua validità, come si dimostra in [[Logica binaria]].