Унификация дизъюнктов. Не могу понять, как правильно заменить контрарные атомы в дизъюнктах

@vadim444666 · Регистрация: 17.05.2021

Author24 — интернет-сервис помощи студентам

Привел формулу лп к формуле ссф,получил 4 дизъюнкта:
K={(B(a)∨ ¬B(x)∨A(z));(¬B(a)∨¬A(y)∨A(z));(¬A(b)∨¬B(x)∨A(z));(¬A(b)∨¬A(y)∨A(z)}
Нашел контрарные атомы ¬B(x) и B(a), ¬A(y) и A(z).Не могу понять как правильно заменить контрарные атомы в дизъюнктах.
a и b в аргументах - это предметные постоянные,которые нельзя заменить

@3D Homer · 09.09.2022, 13:07

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

Не могу понять как правильно заменить контрарные атомы в дизъюнктах.

Почему? Вы не прочитали определение правила вывода метода резолюций? Он есть, например, в разделе 4.4.1 в книге Герасимов А.С. Курс математической логики и теории вычислимости. СПб.: Лема, 2011.

@vadim444666 0 / 0 / 0 Регистрация: 17.05.2021 Сообщений: 1
		1
	Унификация дизъюнктов. Не могу понять, как правильно заменить контрарные атомы в дизъюнктах 08.09.2022, 20:52. Показов 560. Ответов 1 Метки нет (Все метки) Привел формулу лп к формуле ссф,получил 4 дизъюнкта: K={(B(a)∨ ¬B(x)∨A(z));(¬B(a)∨¬A(y)∨A(z));(¬A(b)∨¬B(x)∨A(z));(¬A(b)∨¬A(y)∨A(z)} Нашел контрарные атомы ¬B(x) и B(a), ¬A(y) и A(z).Не могу понять как правильно заменить контрарные атомы в дизъюнктах. a и b в аргументах - это предметные постоянные,которые нельзя заменить 0

@3D Homer $Эксперт по математике/физике$ 4952 / 3570 / 1150 Регистрация: 01.09.2014 Сообщений: 9,658
	09.09.2022, 13:07	2
	Сообщение было отмечено VSI как решение Решение Сообщение от vadim444666 Не могу понять как правильно заменить контрарные атомы в дизъюнктах. Почему? Вы не прочитали определение правила вывода метода резолюций? Он есть, например, в разделе 4.4.1 в книге Герасимов А.С. Курс математической логики и теории вычислимости. СПб.: Лема, 2011. 0

Унификация дизъюнктов. Не могу понять, как правильно заменить контрарные атомы в дизъюнктах

Решение