Главная страница
Top.Mail.Ru    Яндекс.Метрика
Текущий архив: 2005.06.29;
Скачать: 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 вся ветка

Текущий архив: 2005.06.29;
Скачать: CL | DM;

Наверх




Память: 0.47 MB
Время: 0.045 c
1-1117812333
sofs
2005-06-03 19:25
2005.06.29
Как сделать одновременный скроллинг в двух ричэдит?


1-1117903664
Destroyer
2005-06-04 20:47
2005.06.29
Как динамически создавать кнопки с событиями для ActionToolBar?


9-1111255090
Кирилл
2005-03-19 20:58
2005.06.29
GLScene


4-1115318045
bc0113
2005-05-05 22:34
2005.06.29
FreeLibrary


1-1118307165
KostR
2005-06-09 12:52
2005.06.29
По подробней, пожалуйста, объясните про открытие word кого файла.