Aussagenlogik #3 - Implikation und Äquivalenz

Wir sehen uns zwei weitere Junktoren der Aussagenlogik an, nämlich die Implikation und die Äquivalenz (auch Biimplikation genannt). Wir gehen die Wahrheitstabellen Schritt für Schritt durch und argumentieren auch, warum die Wahrheitstabellen so definiert sind.