Wahrheitskriterium des Euklid

Wahrheitskriterium des Euklid nennt man ein Beweisverfahren, das man symbolisch mit Hilfe der aussagenlogischen Tautologie (&;A &;A) &;A) ausdrücken kann. D. h.: wenn unter der Annahme der Negation &;A einer Aussage A ableitbar ist, dass A wahr ist, so ist A tatsächlich wahr.