Скачать: CL | DM;

хелп плизз с методом резолюций   Найти похожие ветки 

← →
Fessio   (2005-05-30 18:06) [0]

Короче такая задача::
2. Запишите следующие рассуждения в виде последовательности формул логики высказываний. Если рассуждение логично, то докажите это методом резодлюций; если нелогично, то постройте интерпретацию, при которой посылки истинны, а заключение ложно.

Если конгресс отказывается принять новые законы, то забастовка не будет окончена, кроме случая, когда она длится более месяца и президент фирмы уйдет в отставку. Допустим, что конгресс отказывается действовать и забастовка заканчивается. Следовательно, забастовка длилась более месяца.

Я не сильно шарю что такое метод резолюций, но очень надо.
Подскажите хоть в каком направлении копать )) плизззз!! :)

---

← →
Fessio   (2005-05-30 18:09) [1]

P.S.:
Вот решение, но нужно его записать в делфях:

Приведем решение задачи 2. Рассмотрим высказывания: Х=«конгресс отказывается принять законы», Y=«забастовка не будет закончена», Z=«забастовка длится более месяца», U=«президент фирмы уйдет в отставку». Тогда предложения рассуждения 2.1 можно представить формулами F1=XY(Z&U), F2=X&Y, G=Z. Сформируем множество T={F1,F2,G}, каждую из формул приведем к КНФ и получим множество дизъюнктов S={XYZ, XYU,X,Y,Z}. Легко выдеть, что из S выводим □. Следовательно, рассуждение логично.

---

← →
Игорь Шевченко ©   (2005-05-30 18:13) [2]

> Подскажите хоть в каком направлении копать


В направлении Яндекса ?

---

← →
KilkennyCat ©   (2005-05-30 18:39) [3]

гугл вроде получше стал.

---

Страницы: 1 вся ветка

Скачать: CL | DM;



Память: 0.45 MB
Время: 0.024 c