प्रतिधनात्मक कथन के लिए सत्यता तालिका पूर्ण करें: ¬B → ¬A

इसकी तुलना A → B से करें और सत्यापित करें कि वे समतुल्य हैं। सत्यता तालिका की प्रत्येक पंक्ति के लिए ⊤ (सत्य) या ⊥ (असत्य) चुनें।