[QUOTE=Delphi-Laie;1328192]
Aus einer falschen Annahme kann nur Wahres folgen.
1=2
1=2 (+)
-------
2=4 (=)
Die Definition der Implikation ist durch folgende Wahrheitstabelle gegeben:
Code:
a b a => b
f f w
f w w
w f f
w w w
"a" ist die Annahme. Ich meine hier das Ergebnis des "=>"-Operators das aus der Verknüpfung von a und b folgt. Ich habe versucht das oben umzuformulieren (siehe Edit).
Ich hoffe es sind etwas mehr als diese Kleinigkeiten aufgefallen?
P.S.: Zur Kommunikationserleichterung wäre es hilfreich mehr als nur kurze Formeln hinzuschreiben (die bisherigen deuten auch nur die gewünschte Implikation an weisen sie aber nicht explizit auf, bei Diskussionen von Detailfragen sollte so etwas erwähnt werden), da wir hier offensichtlich an einander vorbeireden.