Заполните таблицу истинности для контрапозиции: ¬B → ¬A

Сравните её с A → B, чтобы убедиться, что они эквивалентны. Выберите ⊤ (истина) или ⊥ (ложь) для каждой строки таблицы истинности.