Principio di non contraddizione: differenze tra le versioni

Nella logica quantistica, a livello più tecnico, non sono più valide diverse forme di bivalenza, su tutte quella espressa come V(a) or V(~a), che si può leggere come "è vero a o è vero non a". Rimane comunque valido il classico principio del tertium non datur a livello sintattico, ovvero V(a or ~a), "è vero che sia il caso che 'a o non a'", ma la logica non mantiene più solo due valori di verità (vero e falso). Infatti accetta anche la possibilità che qualcosa non sia nèné vera nèné falsa (indeterminata), sebbene la loro unione possa essere invece ancora vera. Il principio di non contraddizione infine è completamente rispettato nella forma che non esiste proposizione a per cui V(a&~a), ma può darsi il caso che V(a)&V(~a), ovvero non può essere "è vero 'a e non a'", ma è possibile che "a è vero e non a è vero".