Исчисление высказываний

Axis17
Сообщений: 3
Зарегистрирован: 01 апр 2009, 21:00

Исчисление высказываний

Сообщение Axis17 » 21 апр 2009, 11:51

Нужно доказать что ¬A ∪ B ⊃ (A ⊃
За гипотезу беру ¬A ∪ B, A но c помощью теоремы дидукции не могу доказать что получается B.
Может кто-нибудь помочь?
Последний раз редактировалось Axis17 30 ноя 2019, 16:04, всего редактировалось 1 раз.
Причина: test

Вернуться в «Дискретная математика»

Кто сейчас на форуме

Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 12 гостей