完成逆否命题的真值表：¬B → ¬A

将其与 A → B 进行比较以验证它们是等价的。为真值表中的每一行选择 ⊤ (真) 或 ⊥ (假)。