хелп плизз с методом резолюций

← →
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]

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

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

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

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