|
|
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.
|