Доказать выводимость формул в исчислении высказываний методом резолюций (Проверте)

Ответить на сообщение
AgentSmith63
Сообщений: 10
Зарегистрирован: 30 мар 2009, 21:00

Доказать выводимость формул в исчислении высказываний методом резолюций (Проверте)

Сообщение AgentSmith63 » 24 апр 2009, 15:44

Доказать выводимость формул в исчислении высказываний методом резолюций

$$A \to B \Lambda A \vee C \to B \vee C$$

Решение:

$$A \to B \Lambda A \vee C \to B \vee C$$

$$A \to B,\bar{(A \vee C )\to (B \vee C)}$$


$$\frac{A \to B=\bar{A} \vee B}{(A\vee C\to(B \vee C)}=A \vee C \wedge \bar {B \vee C}=(A \vee C )\wedge \bar{B} \wedge\bar{C}=\bar{A} \vee B, (A \vee C),\bar{B},\bar{C}$$

Тут где-то ошибка. Помогите пожалуйста.
Последний раз редактировалось AgentSmith63 30 ноя 2019, 16:04, всего редактировалось 1 раз.
Причина: test
Вернуться наверх
Ответить на сообщение

Вернуться в «Дискретная математика»

Кто сейчас на форуме

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