Правила форума
В этом разделе
нельзя создавать новые темы. Если Вы хотите задать новый вопрос, то
не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".
Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть
удалены без предупреждения.Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса
обязан привести свои попытки решения и указать конкретные затруднения.
Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть
удалена или перемещена в
Карантин, а Вы так и не узнаете, почему.
|
alex_dorin |
Метод резолюций и предваренная нормальная форма  27.02.2012, 12:50 |
|
08/03/11
273
|
|
Обязательно ли приведение формул к предваренной нормальной форме для
применения метода резолюций для логики предикатов ?
|
|
|
|
 |
|
cyb12 |
Re: Метод резолюций и предваренная нормальная форма 27.02.2012, 22:43 |
|
27/01/10
260
Россия
|
|
Основная идея метода резолюций заключается в построении системы дизъюнктов и проверки ее на противоречивость. Система дизъюнктов строится из сколемовской стандартной формы (это ПНФ, у которой все кванторы - кванторы всеобщности). А ее без ПНФ не построить... Таков метод просто.
|
|
|
|
|
  |
Страница 1 из 1
|
[ Сообщений: 2 ] |
|
Модераторы: Модераторы Математики, Супермодераторы
