Grundlagen - Aussagenlogik
Implikation und Äquivalenz verknüpfen zwei Aussagen logisch miteinander.
Die Implikation bedeutet: Aus Aussage AAA folgt Aussage BBB.
Gesprochen: Wenn AAA, dann BBB.
Die Äquivalenz bedeutet: Zwei Aussagen haben immer denselben Wahrheitswert.
Gesprochen: AAA genau dann, wenn BBB.