Математическая логика и теория алгоритмов

VirtUS · 30.03.2014, 13:16

Народ подскажите что там в контрольном задание?

rumanzo · 24.03.2015, 15:50

Цитата:

Сообщение от VirtUS

Народ подскажите что там в контрольном задание?

Совокупность вопросов из 3х модулей, так же как и в Итоговом тестировании

НатальяС · 02.12.2015, 17:37

не могли бы вы мне помочь сделать это задание??Доказать, что для любой формулы существует эквивалентная ей формула с тесными отрицаниями, т.е. формула, в которой нет символа → и отрицания относятся только к пропозициональным переменным.

Опции темы
Версия для печати Отправить по электронной почте
Опции просмотра
Линейный вид Комбинированный вид Древовидный вид

30.03.2014, 13:16	#1
VirtUS Новичок Регистрация: 05.03.2014 Сообщений: 1 Сказал спасибо: 0 Поблагодарили 0 раз(а) в 0 сообщениях	Народ подскажите что там в контрольном задание?

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