Completa la tabella di verità per il contropositivo: ¬B → ¬A

Confrontala con A → B per verificare che siano equivalenti. Seleziona ⊤ (vero) o ⊥ (falso) per ogni riga della tabella di verità.