Здравствуйте, очень жду помощи. Бьюсь целые сутки с посторением вывода аксиоматическим способом.
Собственно сам вывод: ¬A ⊃ ¬B ↦ B ⊃ A
Вот мои догадки:
1. ¬A ⊃ ¬B - посылка
2. (¬A ⊃ ¬B) ⊃ ((¬A ⊃ B) ⊃ A) - Аксиома 9
3. (¬A ⊃ B) ⊃ A - modus ponens 1 и 2
4. ...
...