Интерпретация - формула
Cтраница 2
В классических логических исчислениях множество У выбирается таким образом, что интерпретация формул из У не зависит от интерпретации термов, в них входящих. Другими словами, при любой интерпретации входящих в них термов сами формулы интерпретируются однозначно. Правила вывода выбираются таким образом, что их применение не нарушает интерпретацию формул. [16]
При этом число ходов, которое понадобится Новатору, соответствует кван-торной глубине различающей интерпретации формулы. [17]
В случаях когда исчисление кортежей используется как основа системы запросов, данная выше интерпретация формул исчисления кортежей представляет на практике некоторые трудности. Во-первых, эти формулы могут определять бесконечные отношения. [18]
В случаях когда исчисление кортежей используется как основа системы запросов, данная выше интерпретация формул исчисления кортежей представляет на практике некоторые трудности. Во-первых, эти формулы могут определять бесконечные отношения. [19]
Значит, если бы в области теории было достаточно, как это делает г-н Прудон, дать уравнительную интерпретацию формулы излишка, доставляемого трудом, не принимая во внимание современных условий производства, то в области практики было бы достаточно провести среди рабочих уравнительное распределение всех приобретенных к настоящему времени богатств, ничего не изменяя в современных условиях производства. Такой дележ не обеспечил бы, конечно, каждому из его участников особенно большого благополучия. [20]
Так как в логике первого порядка имеется бесконечное число областей, то, вообще говоря, имеется бесконечное число интерпретаций формулы. Следовательно, в отличие от логики высказываний, невозможно доказать общезначимость или противоречивость формулы оценкой формулы при всех возможных интерпретациях. [21]
Приписывание логических значений true, false, true, true соответственно атомам Р, Q, R, S называется интерпретацией формулы G. [22]
Понятно, что если бы мы ошибочно предположили, что корреляция между входными процессами физически обусловлена источником 2, то приведенная выше интерпретация формул (9.23) была бы совершенно неверной. [23]
В случае повторения кваитификаций для одной и той же переменной можно принять, что существенна только самая правая квантификация: это согласуется с общим правилом интерпретации квантифицированных формул. [24]
Для формальных систем, обладающих некоторыми обычными свойствами образования и выводимости, эту теорему можно формулировать и в узком смысле слова метаматематически, заменяя ссылки на интерпретацию формул А ( х) как выражающих значений предиката ( у) Т1 ( х, х, у) непротиворечивостью и полнотой, определенными как внутренние свойства системы, например, следующим ( кратким) способом. [25]
Понятия истинной, ложной, общезначимой, противоречивой формул, понятие эквивалентности и логического следствия, теорема о дедукции для логики предикатов формулируются точно так же, как и для логики высказываний, но используемое при этом понятие интерпретации формул для логики предикатов является более сложным, чем для логики высказываний. [26]
Поскольку в языке ZF ( см. § 1.1) нет констант и других термов, кроме переменных, а атомарные формулы как в ZFC, так и в ZFC SI ( в интерпретации на множестве) имеют одинаковый вид, то для получения интерпретаций формул нам, понятно, достаточно лишь произвести соответствующую замену переменных. [27]
Дополним область S до всей плоскости таким образом, чтобы при переходе через замкнутые контуры напряжения оставались непрерывными. Такая интерпретация формул (3.1) позволяет единообразно исследовать поведение напряжений и смещений вблизи угловой точки как на внутренних контурах ( разрезах), так и на внешней границе. [28]
При такой интерпретации формулы для рп и qn становятся уже не приближенными, а точными. [29]
Страницы: 1 2 3 4