Question

Доказать ├ ( A → B ) → ((¬A → B ) → B ) Нужна помощь в решении. Заранее благодарю.

Answer 1

Ответ:

Пошаговое объяснение:

Answer 2

Для доказательства выражения ├ (A → B) → ((¬A → B) → B), мы можем использовать предположение (A → B) и доказать ((¬A → B) → B). Затем мы можем использовать предположение (¬A → B) и доказать B. Вот полное доказательство:

1. A → B Предположение

2. (¬A → B) → B Предположение

3. ¬A Предположение

4. ¬A ∨ B Введение дизъюнкции (3)

5. B Исключение дизъюнкции (1, 4)

6. (¬A → B) Введение импликации (3-5)

7. B Модус поненс (2, 6)

8. (A → B) → ((¬A → B) → B) Введение импликации (1-7)

Таким образом, мы доказали, что ├ (A → B) → ((¬A → B) → B).