Udfyld sandhedstabellen for kontrapositionen: ¬B → ¬A

Sammenlign dette med A → B for at verificere, at de er ækvivalente. Vælg ⊤ (sand) eller ⊥ (falsk) for hver række i sandhedstabellen.