Cтраница 4
Если для любого уравнения заданное давление оказывается больше рассчитанного, то это означает невыполнимость заданного режима. [46]
Всякий тест для проверки общезначимости предложений легко превращается в тест, позволяющий устанавливать невыполнимость конечных множеств предложений, поскольку из определений гл. [47]
Несколько иной подход предложил Робинсон [19], разработав достаточно удобный метод для выявления невыполнимости множества дизъюнктов, представленных в виде КНФ. [48]
Применяя аппарат математического анализа к тем или иным задачам, мы сталкиваемся с невыполнимостью некоторых операций; например, функцию, не имеющую производной ( в некоторых точках или даже всюду), нельзя дифференцировать, если производную понимать как обычную функцию. Однако такое сужение запаса допустимых функций во многих случаях весьма нежелательно. [49]
Применяя аппарат математического анализа к тем или иным задачам, мы сталкиваемся с невыполнимостью некоторых операций; например, функцию, не имеющую производной ( в некоторых точках или даже всюду), нельзя дифференцировать, если производную понимать как обычную функцию. Конечно, затруднений такого типа можно было бы избежать, ограничившись, скажем, рассмотрением одних только аналитических функций. Однако такое сужение запаса допустимых функций во многих случаях весьма нежелательно. [50]
Это обстоятельство представляет собой простое следствие того факта, что для установления выполнимости или невыполнимости формулы, содержащей п одноместных предикатов, достаточно ограничиться рассмотрением предметных областей, состоящих не более чем из 2 объектов. В результате проверка выполнимости ( или тождественной истинности) предикатной формулы сводится ( после замены кванторов дизъюнкциями и конъюнкциями) к проверке выполнимости ( или, соответственно, тождественной истинности) соответствующей формулы исчисления высказываний. [51]