Karşıt önerme için doğruluk tablosunu tamamlayın: ¬B → ¬A

Bunu A → B ile karşılaştırarak denk olduklarını doğrulayın. Doğruluk tablosundaki her satır için ⊤ (doğru) veya ⊥ (yanlış) seçin.