In der intuitionistischen Logik wird die Negationsbeseitungsregel ¬¬A→A der klassischen Logik durch den Widerspruchssatz ersetzt, der ansonsten nicht mehr ableitbar wäre. Dadurch lässt sich dar Satz vom ausgeschlossenen Dritten nicht mehr ableiten.