Per agevolare lo studio della logica, si consideri una proposizione come un enunciato assertorio, cioè che asserisce qualcosa (dunque un comando, per esempio, non sarebbe propriamente una proposizione); ovvero una proposizione è un enunciato che può essere vero o falso (tertium non datur). Qui possiamo evocare il principio del terzo escluso, formulato nella Metafisica di Aristotele, e formalizzabile in:

ovvero il valore di verità di una proposizione è sempre opposto al valore di verità della propria proposizione contraddittoria, cioè non è possibile che due proposizioni contraddittorie siano entrambe non vere. Il principio del terzo escluso differisce da quello di bivalenza che recita che una proposizione o è vera o è falsa, dacché nel principio del terzo a priori non si può escludere che siano, le proposizioni, entrambe non vere.