Vervollständigen Sie die Wahrheitstafel für die Kontraposition: ¬B → ¬A

Vergleichen Sie diese mit A → B, um zu überprüfen, dass sie äquivalent sind. Wählen Sie ⊤ (wahr) oder ⊥ (falsch) für jede Zeile in der Wahrheitstafel.