Implikation

[Gunnar Bittersmann]

@@Der Martin:

A2: Die Seiten eines Dreiecks erfüllen die Bedingung a² + b² = c²

Das war nicht meine A2.

Für mich sind das zwei äquivalente Aussagen. Aus A1 folgt zwingend A2 und umgekehrt.

Das heißt, sowohl A1 → A2 als auch A2 → A1 sind wahr.

Und ganau das ist Äquivzlenz: A1 ↔ A2 = A1 → A2 ∧ A2 → A1.

Aber warum hast du überhaupt die Umkehrung ins Spiel gebracht?

Live long and prosper,
Gunnar