Тема
:
Математическая логика и теория алгоритмов
Показать сообщение отдельно
02.12.2015, 17:37
#
1
НатальяС
Новичок
Регистрация: 02.12.2015
Сообщений: 2
Сказал спасибо: 0
Поблагодарили 0 раз(а) в 0 сообщениях
не могли бы вы мне помочь сделать это задание??Доказать, что для любой формулы существует эквивалентная ей формула с тесными отрицаниями, т.е. формула, в которой нет символа → и отрицания относятся только к пропозициональным переменным.
НатальяС
Посмотреть профиль
Отправить личное сообщение для НатальяС
Найти ещё сообщения от НатальяС