MustDie
Удален
|
    
Не обходимо доказать тождество ФОРМАЛЬНО и ОЧЕВИДНО: (А\В)*С=(А*С)\(В*С).
Испробывал уже больше 5 вариантов, все неправильные. Кто свой предложит?;)
|
Всего сообщений: N/A | Присоединился: N/A | Отправлено: 13 апр. 2005 12:05 | IP
|
|
dm
Удален
|
По определению разности множеств и декартового произведения множеств. Запишите, какие элементы принадлежат левой части равенства. Запишите, какие правой. Убедитесь, что это одни и те же.
|
Всего сообщений: N/A | Присоединился: N/A | Отправлено: 13 апр. 2005 12:12 | IP
|
|
MustDie
Удален
|
....вышлите на ccc@nestar.ru полное решение, .т.к. я делаю абсолютно так же, но мне все равно говорят неправильно.
|
Всего сообщений: N/A | Присоединился: N/A | Отправлено: 14 апр. 2005 6:32 | IP
|
|
dm
Удален
|
Повторю здесь то же, что сказал Вам в ПМ:
если хотите, напишите здесь свое решение - участники форума посмотрят.
|
Всего сообщений: N/A | Присоединился: N/A | Отправлено: 14 апр. 2005 12:58 | IP
|
|
shishkin21
Новичок
|
надеюсь тема не заброшена, помогите доказать теорему в исчислении предикатов, Если доказуема A(x), то доказуема кванторсуществования A(x)
|
Всего сообщений: 1 | Присоединился: январь 2013 | Отправлено: 6 янв. 2013 17:33 | IP
|
|
theanton3389
Новичок
|
Как найти нормальную конъюнктивную и дизъюнктивную нормальную форму для формулы? подскажите алгоритм действий
внешняя ссылка удалена
(Сообщение отредактировал theanton3389 16 нояб. 2014 16:39)
|
Всего сообщений: 1 | Присоединился: ноябрь 2014 | Отправлено: 16 нояб. 2014 15:28 | IP
|
|
imperceptible
Новичок
|
помогите пожалуйста вывести формулу по шагам с помощью аксиом, свойств и правила MP
В теории L ((A->B)->A)->A
и еще помогите пожалуйста доказать теорему о полноте (вторая часть): Всякая тавтология A-И=> является тавтологией теории L.
Заранее огромное спасибо
|
Всего сообщений: 1 | Присоединился: ноябрь 2016 | Отправлено: 12 нояб. 2016 0:04 | IP
|
|
OplohMox
Участник
|
Ой, я если найду про эти тождества, я скину вам методичку, у меня хорошая была.
|
Всего сообщений: 105 | Присоединился: февраль 2017 | Отправлено: 16 фев. 2017 22:49 | IP
|
|
KarGTU
Новичок
|
Здравствуйте хочу вам порекомендовать вуз внешняя ссылка удалена .
Подготовка высококвалифицированных конкурентоспособных специалистов, ориентированных на решение научных и практических задач государственной программы по форсированному инновационно-индустриальному развитию страны
|
Всего сообщений: 45 | Присоединился: февраль 2018 | Отправлено: 2 апр. 2018 18:16 | IP
|
|
udod
Новичок
|
деньги считать умеешь ну и ладно а для остального есть калькулятор))))))))))))
|
Всего сообщений: 5 | Присоединился: апрель 2018 | Отправлено: 29 апр. 2018 16:20 | IP
|
|
Форум
Математическая логика и теория алгоритмов
