Cтраница 3
Таким образом, алгоритм Сколема, сохраняя свойство невыполнимости ( противоречивости), приводит произвольную формулу, имеющую пренексный вид, к V-формуле. [31]
В общем случае при решении вопроса о выполнимости или невыполнимости той или иной конкретной формулы может оказать существенную помощь предварительное приведение этой формулы к так называемой нормальной форме. [32]
Мы в силах теперь усмотреть существование эффективного позитивного теста для невыполнимости, т.е. такой эффективной процедуры, которая, будучи примененной к произвольному предложению S некоторого языка первого порядка, выдает ответ да в точности тогда, когда S невыполнимо. Эффективный позитивный тест для невыполнимости - это не то же самое, что процедура распознавания невыполнимости, представляющая собой эффективный процесс, выдающий ответ да, если рассматриваемое им предложение невыполнимо, и нет, если оно выполнимо. [33]
Несоответствие принятых размеров листов или отдельных заготовок реальным данным или технологическая невыполнимость некоторых раскроев приводят к невозможности осуществления плана в целом, поэтому всякое планирование раскроя должно начинаться с детального уточнения исходных данных. [34]
Присоединение к множеству тавтологий какой-либо необщезначимой формулы неизбежно приводит к невыполнимости системы: множество теорем совпадает тогда с множеством всех формул. Из этого последнего дизъюнкта легко выводится р, так как ( ( р V 1 1 р) р) является теоремой. [35]
Так как S2 очевидно, невыполнимо, делаем вывод о невыполнимости исходной формулы. [36]
Аналогично будем вычеркивать поглощенные дизъюнкты, которые также не меняют невыполнимость множества дизъюнктов. Дизъюнкт С поглощает дизъюнкт С % тогда и только тогда, когда имеется подстановка 8, такая, что С 8 С С-2 - Дизъюнкт С % называется поглощенным дизъюнктом. [37]
Сформулированное предложение представляет собой некоторую запрещающую теорему, которая определяет невыполнимость определенных конструктивных попыток. Несмотря на то, что полученный результат пока что не дает рекомендаций по оптимальному конструированию антенн с движением луча, однако он весьма важен, так как определяет предел, к которому следует стремиться конструктору антенны, перед которым стоит задача по возможности уменьшить число элементов в антенне. [38]
Аналитическое исследование случайных процессов в нелинейных системах вызывает значительные трудности вследствие невыполнимости принципа суперпозиции. Нелинейные преобразования, в общем случае, искажают законы распределения вероятностей входных сигналов, меняют их вероятностные характеристики. Поэтому исследования часто ведутся с использованием приближенных методов, базирующихся на статистической линеаризации нелинейностей. [39]
Аналитическое исследование случайных процессов в нелинейных системах вызывает значительные трудности вследствие невыполнимости принципа суперпозиции. Нелинейные преобразования, в общем случае, искажают законы распределения вероятностей входных сигналов, меняют их вероятностные характеристики. Поэтому исследования часто ведутся с использованием приближенных методов, базирующихся на статистической линеаризации нелинейно стей. [40]
Сведение А к SA представляет особый интерес, потому что доказательство невыполнимости становится эффективнее, если ограничиться толь ко формулами, представленными в сколемовской форме. [41]
Вот и Вы полагаете, что использование вероятностей связано лишь с практической невыполнимостью чересчур громоздких расчетов и что за этими вероятностями скрываются однозначные закономерности, управляющие поведением отдельных молекул. [42]
Все это свидетельствует о неоднородности пластической деформации, а следовательно, о невыполнимости схемы Тейлора, о взаимодействии структурных элементов как целого, а также о том, что деформация может осуществляться движением ( трансляцией и поворотом) структурных элементов различного масштаба. Согласно изложенной в книге концепции, пластическая деформация должна протекать одновременно на нескольких структурных уровнях. При этом первично трансляционное движение, которое обязательно должно сопровождаться аккомодационным поворотом на другом структурном уровне, что свидетельствует о вихревом характере пластической деформации. [43]
Однако в некоторых случаях коллективные меры применять невозможно либо в силу их технической невыполнимости, либо в результате несчастных случаев. Поэтому они должны быть дополнены индивидуальными мерами защиты. Нет необходимости подчеркивать, что такие меры крайне неудобны и часто не дают требуемых гарантий. Тем более поэтому необходимо совершенствовать действительно эффективные меры коллективной защиты. [44]
С помощью эрбрановских интерпретаций мы сводим проблему невыполнимости множества дизъюнктов к проблеме невыполнимости множества основных примеров этих дизъюнктов на эрбрановском универсуме. Так как в основные примеры дизъюнктов не входят переменные, выполнимость может быть доказана с помощью методов логики высказываний, таких как метод семантических таблиц и метод резолюций. [45]