Множество - формула
Cтраница 1
Множество формул Е семантически выполнимо ( или просто выполнимо), если все его элементы допускают общую модель; в противном случае оно невыполнимо. Таким образом, множество формул уподобляется ( с точки зрения семантики) конъюнкции своих элементов. [1]
Множество формул Г называется локально выполнимым, если любое конечное подмножество Го множества Г выполнимо. [2]
Множество формул Г назовем противоречивым, если существует формула А такая, что Г h А и Г I - i А, непротиворечивым - в противном случае. [3]
Множество формул Г сигнатуры а назовем полным, если для любой замкнутой формулы сигнатуры а выполняется Г h А или Г h - 1 А. В противном случае Г называется неполным. [4]
Множество формул У называется совместным или непротиворечивым, если множество МОД () не пусто. [5]
 |
Древовидная форма формулы. [6] |
Множество формул является подмножеством множества всех слов ( соединений), построенных из исходных символов. Следовательно, множество формул счетное. Оно является также рекурсивным ( или разрешимым), то есть можно достоверно выяснить, является ли даннное слово ( соединение) формулой или нет. [7]
Множество формул Тя & [) а совместно. [8]
Множество формул X сигнатуры 2 называется противоречивым или несовместным, если в исчислении предикатов доказуема секвенция Г - , где все члены Г принадлежат X. В противном случае X называется непротиворечивым или совместным. [9]
Имеется множество формул для пересчета давления насыщенных паров нефтяных фракций с одной температуры на другую, однако чаще пользуются графическими методами. График Кокса построен следующим образом. На оси ординат отложены значения температуры. Под углом 30 к оси абсцисс проведена прямая, обозначенная индексом Н20, которая характеризует зависимость давления насыщенных паров воды от температуры. При построении графика из ряда точек на оси абсцисс восстанавливали перпендикуляры до пересечения с прямой Н20 и полученные точки сносили на ось ординат. На оси ординат получилась шкала, построенная по температурам кипения воды, соответствующим различным давлениям ее насыщенных паров. [10]
Имеется множество формул для пересчета давления насыщенных паров нефтяных фракций с одной температуры на другую, однако чаще пользуются графическими методами. График Кокса построен следующим образом. На оси ординат отложены значения температуры. Под углом 30 к оси абсцисс проведена прямая, обозначенная индексом Н2О, которая характеризует зависимость давления насыщенных паров воды от температуры. При построении графика из ряда точек на оси абсцисс восстанавливали перпендикуляры до пересечения с прямой Н20 и полученные точки сносили на ось ординат. На оси ординат получилась шкала, построенная по температурам кипения воды, соответствующим различным давлениям ее насыщенных паров. [11]
Существует множество формул для определения усилий штамповки при вытяжке Р, которые найдены авторами для разных случаев вытяжки с учетом определенных условий процесса. [12]
Пусть множество формул Г сигнатуры а полно и непротиворечиво. [13]
Все множество разнообразных формул для гидродинамического сопротивления представляет собой частные формы этого уравнения. Так, например, в случае движения среды по трубе удобно рассматривать падение давления на единицу длины. [14]
Выделяется нек-рое множество формул ( обычно конечное или перечислимое), к-рые наз. [15]
Страницы: 1 2 3 4