Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 3 ] |
|
Автор | Сообщение | |
---|---|---|
Msm_ |
|
|
A->B, C->D,(B ^ D) -> E,E,A=> НЕ С A ->(B->C),B v C v D => (A->C) v D Доказать 3 способами: Методом резолюции, методом Вонга, аксиоматическим методом. Начал доказывать с метода резолюции, столкнулся с проблемой несокращения слагаемых во 2 и 3 клаузах ( что как бы намекает, что другими методами получится тоже самое ) Буду благодарен за помощь. |
||
Вернуться к началу | ||
Ellipsoid |
|
|
Клауза верна, поскольку формула [math](A(B \vee C)) \to ((AC) \vee (B \overline{C}))[/math] тождественно истинна. А вот что касается именно метода резолюций, тут нужно подумать...
|
||
Вернуться к началу | ||
Ellipsoid |
|
|
По поводу метода резолюций. Формула [math]A(B \vee C)(\overline{A} \vee \overline{C})(\overline{B} \vee C)[/math] тождественно ложна, и её можно привести к виду [math](B \vee C)(B \vee \overline{C})(\overline{B} \vee C)(\overline{B} \vee \overline{C})[/math]. Дальше проблем с методом резолюций быть не должно.
|
||
Вернуться к началу | ||
[ Сообщений: 3 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Доказать клаузу | 2 |
842 |
15 окт 2017, 18:19 |
|
Доказать клаузу | 1 |
168 |
27 май 2019, 09:40 |
|
Доказать, что высказывание ложно | 1 |
159 |
25 дек 2020, 22:02 |
|
Доказать, что высказывание ложно | 4 |
269 |
20 фев 2017, 18:03 |
|
Доказать исчисление высказывание по аксиомам | 0 |
216 |
25 мар 2017, 13:30 |
|
Построить высказывание | 16 |
562 |
11 мар 2017, 09:43 |
|
Записать высказывание | 2 |
89 |
16 янв 2023, 09:45 |
|
Высказывание, соответствующее формуле | 6 |
705 |
06 май 2014, 16:07 |
|
Исследуйте с таблицами истинности высказывание:
в форуме Информатика и Компьютерные науки |
2 |
160 |
13 окт 2020, 20:26 |
|
Исследуйте с таблицами истинности высказывание:
в форуме Информатика и Компьютерные науки |
1 |
134 |
13 окт 2020, 20:27 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 29 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |