Axioma de la lógica proposicional según el cual una proposición es ya sea verdadera o bien falsa, y no hay una tercera posibilidad. Se usa en las demostraciones por contradicción: partiendo de ~p y logrando una contradicción, se concluye que ~p no puede ser verdadera; por lo tanto, ~p es falsa; de aquí que p sea verdadera.