Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше
Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике
Назовем предложение положительным, если у всех его литералов нет знака отрицания. Ясно, что в любом невыполнимом множестве есть по крайней мере одно положительное предложение. В противном случае модель, определяемая множеством отрицаний атомов из эрбрановской базы, удовлетворяла бы Опровержение, при котором каждая резольвенция осуществляется между такими двумя предложениями, что по крайней мере одно из них положительно, назовем -опровержением. Полнота -опровержения следует из теоремы 8.2; в самом
деле, в качестве модели можно взять множество литералов из с отрицаниями. Тогда предложение в рамках этой модели принимает значение истинности тогда и только тогда, когда оно положительно.
Если непротиворечивым образом переименовать литералы, в то получим просто вариант -опровержения. Если в нашем примере на рис. 8.4 заменить на — на то опровержение станет Л-опровержением для переименованного множества предложений. -опровержение и его варианты важны, поскольку здесь легко реализовать проверку выполнения условия проведения резольвенции.
есть по крайней мере одно положительное предложение. В противном случае модель, определяемая множеством отрицаний атомов из эрбрановской базы, удовлетворяла бы 
Опровержение, при котором каждая резольвенция осуществляется между такими двумя предложениями, что по крайней мере 
одно из них положительно, назовем 
-опровержением. Полнота 
-опровержения следует из теоремы 8.2; в самом
с отрицаниями. Тогда предложение в рамках этой модели принимает значение истинности 
тогда и только тогда, когда оно положительно.
то получим просто вариант 
-опровержения. Если в нашем примере на рис. 8.4 заменить 
на — 
на 
то опровержение станет Л-опровержением для переименованного множества предложений. 
-опровержение и его варианты важны, поскольку здесь легко реализовать проверку выполнения условия проведения резольвенции.
