Доказать, что последовательность сходится и найти ее предел

Доказать, что последовательность сходится и найти ее предел

Сообщение Vansoul » Вт ноя 27, 2018 4:00 pm

Здравствуйте, очень жду помощи. Бьюсь целые сутки с посторением вывода аксиоматическим способом.
Собственно сам вывод: ¬A ⊃ ¬B ↦ B ⊃ A

Вот мои догадки:
1. ¬A ⊃ ¬B - посылка
2. (¬A ⊃ ¬B) ⊃ ((¬A ⊃ B) ⊃ A) - Аксиома 9
3. (¬A ⊃ B) ⊃ A - modus ponens 1 и 2
4. ...
...
Vansoul
 
Сообщения: 5
Зарегистрирован: Пн сен 24, 2018 5:09 pm

Вернуться в Задачи