Vul de waarheidstabel in voor de contrapositie: ¬B → ¬A

Vergelijk dit met A → B om te verifiëren dat ze equivalent zijn. Selecteer ⊤ (waar) of ⊥ (onwaar) voor elke rij in de waarheidstabel.