Complétez la table de vérité pour la contraposée : ¬B → ¬A

Comparez celle-ci avec A → B pour vérifier qu'elles sont équivalentes. Sélectionnez ⊤ (vrai) ou ⊥ (faux) pour chaque ligne de la table de vérité.