Cтраница 4
Если в логическую формулу входит несколько кванторов, необходимо учитывать их взаимное расположение. Рассмотрим возможные интерпретации логической формулы ЛЮБИТ, Y) с квалифицированными переменными. [46]
Если в логическую формулу входит несколько кванторов, необходимо учитывать их взаимное расположение. Рассмотрим возможные интерпретации логической формулы ЛЮБИТ ( Г, 30 с квалифицированными переменными. [47]
Если в логической формуле, представленной в предваренной нормальной форме, У [ 1 ( 1 / н) есть квантор сущест - BOH. Если же квантор существования принадлежит к области действия квантора общности, то он мо-же. Эта функция называется функцией Сколема. [48]
В одной логической формуле не допускается применение разных кванторов к одной переменной, например выражение ( ЭХ) ( УХ) Р ( Х) является недопустимым. [49]
В одной логической формуле не допускается применение разных кванторов к одной переменной, например выражение ( ЗХ) ( УХ) Р ( Х) является недопустимым. [50]
В нашей интерпретации логических формул изменим определение конъюнкции. [51]
ОБЩЕЗНАЧИМОСТЬ - свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в нее нелогич. Всякая общезначимая формула выражает логический закон. Из Геделя теоремы о полноте следует, что все общезначимые предикатные формулы и только они выводимы в классич. [52]
Внешнее представление для логических формул, дизъюнктивных нормальных форм, расширенных формул, а также для простых выражений, линейных и простых программ, полиномов, формулировок задач и списков геометрических фигур полностью описано в словаре ( гл. [53]
Теорема 1.9. Для любой логической формулы существует логически эквивалентная ей предваренная форма. [54]