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

Всё, что не упомянуто выше.

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

Сообщение Гость » Пт дек 18, 2020 5:38 am

Если кто понимает, можете подсказать какие теоремы вывести из набора гипотез {не а, не б, а коньюнкция б, а дизьюнкция б} по 11 аксиомам?
Уже все что мог вроде перебрал, всякие херни, а преподу надо, сука, больше. Фантазии нет. Может кто хелпанет, пожалуйста, есть идейки?
Гость
 

Вернуться в Алгебра



Кто сейчас на конференции

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

cron