Mathematik zum 2. Adventswochenende

[1unitedpower]

Hallo 1unitedpower,

Falsch wäre die Aussage, wenn es ein Dreieck gäbe, dass die Bedingung nicht erfüllt.

Du verstehst meinen Einwand miss. Die zu zeigende Aussage besteht aus zwei Teilaussagen. (1) Die Punkte bilden stets ein Dreieck und (2) es ist gleichseitig.

Was ist das "es" in der zweiten Teilaussage? Wenn (1) wahr ist, dann ist "es" ein Dreieck. Wenn (1) falsch ist (was es ist), dann ist "es" in (2) undefiniert. Insgesamt ist die Aussage deshalb nicht wohl-definiert. Einer wohldefinierten Aussage kann man Wahrheitswerte zuordnen, einer unter-definierten Aussage nicht.

Aber letztlich ist es Haarspalterei und ich habe ja auch nur zanken wollen.

Ich arbeite derzeit mit einer halb-automatischen Beweisführerin namens Isabelle. Das ist die Königin der Haarspalterei, das färbt wohl ab.