Axioma de la lógica que establece que una proposición no puede ser verdadera y falsa al mismo tiempo.
