Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 3 ] 
Автор Сообщение
 Заголовок сообщения: Доказать высказывание(клаузу)
СообщениеДобавлено: 14 дек 2019, 21:25 
Не в сети
Начинающий
Зарегистрирован:
14 дек 2019, 21:12
Сообщений: 1
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
A,B v C => A ^ C ; B ^ НЕ C
A->B, C->D,(B ^ D) -> E,E,A=> НЕ С
A ->(B->C),B v C v D => (A->C) v D
Доказать 3 способами: Методом резолюции, методом Вонга, аксиоматическим методом.
Начал доказывать с метода резолюции, столкнулся с проблемой несокращения слагаемых во 2 и 3 клаузах ( что как бы намекает, что другими методами получится тоже самое )
Буду благодарен за помощь.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Доказать высказывание(клаузу)
СообщениеДобавлено: 19 дек 2019, 13:04 
Не в сети
Light & Truth
Зарегистрирован:
23 авг 2010, 22:28
Сообщений: 4430
Cпасибо сказано: 565
Спасибо получено:
1075 раз в 952 сообщениях
Очков репутации: 315

Добавить очки репутацииУменьшить очки репутации
Клауза верна, поскольку формула [math](A(B \vee C)) \to ((AC) \vee (B \overline{C}))[/math] тождественно истинна. А вот что касается именно метода резолюций, тут нужно подумать...

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Доказать высказывание(клаузу)
СообщениеДобавлено: 19 дек 2019, 13:31 
Не в сети
Light & Truth
Зарегистрирован:
23 авг 2010, 22:28
Сообщений: 4430
Cпасибо сказано: 565
Спасибо получено:
1075 раз в 952 сообщениях
Очков репутации: 315

Добавить очки репутацииУменьшить очки репутации
По поводу метода резолюций. Формула [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]. Дальше проблем с методом резолюций быть не должно.

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 3 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Доказать клаузу

в форуме Дискретная математика, Теория множеств и Логика

madimager

2

842

15 окт 2017, 18:19

Доказать клаузу

в форуме Дискретная математика, Теория множеств и Логика

Slava59rus

1

168

27 май 2019, 09:40

Доказать, что высказывание ложно

в форуме Дискретная математика, Теория множеств и Логика

artem2006

1

159

25 дек 2020, 22:02

Доказать, что высказывание ложно

в форуме Дискретная математика, Теория множеств и Логика

Alena92

4

269

20 фев 2017, 18:03

Доказать исчисление высказывание по аксиомам

в форуме Дискретная математика, Теория множеств и Логика

volseb

0

216

25 мар 2017, 13:30

Построить высказывание

в форуме Дискретная математика, Теория множеств и Логика

melika

16

562

11 мар 2017, 09:43

Записать высказывание

в форуме Дискретная математика, Теория множеств и Логика

belke

2

89

16 янв 2023, 09:45

Высказывание, соответствующее формуле

в форуме Дискретная математика, Теория множеств и Логика

spyphy

6

705

06 май 2014, 16:07

Исследуйте с таблицами истинности высказывание:

в форуме Информатика и Компьютерные науки

top234

2

160

13 окт 2020, 20:26

​Исследуйте с таблицами истинности высказывание:

в форуме Информатика и Компьютерные науки

top234

1

134

13 окт 2020, 20:27


Часовой пояс: UTC + 3 часа [ Летнее время ]



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

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


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved