El procedimiento consiste en mostrar que la suposición de que es falsa conduce a una contradicción lógica. Así, la proposición no puede ser falsa, y por tanto, según la ley del tercio excluso, debe ser verdadera. Este método de demostración se llama demostración por absurdo.