Замкнутая формула

Cтраница 3

Пусть Г - множество замкнутых формул некоторой сигнатуры, и любое его конечное подмножество имеет модель. Тогда и само множество Г имеет модель. [31]

Всякая локально совместная система замкнутых формул УИП является совместной системой. [32]

ЭЛЕМЕНТАРНАЯ ТЕОРИЯ - совокупность замкнутых формул логики предикатов 1 - й ступени. [33]

По определению 5 является одновременно открытой и замкнутой формулой языка У. [34]

По определению so является одновременно открытой и замкнутой формулой языка У. [35]

Докажем, что если множество замкнутых формул Г непротиворечиво, то любое его подмножество А С Г непротиворечиво. Допустим, что некоторое его подмножество А противоречиво. [36]

Теорема 8.7. Для любого множества замкнутых формул А авто-эпистемической логики имеется эффективно конструктивная теория с умолчаниями ( D, F ] и обратно, для каждой теории с умолчаниями ( - D F) имеется эффективно конструктивное множество замкнутых формул А автоэпистемической логики такое, что Е является расширением теории с умолчаниями тогда и только тогда, когда оно является подмножеством теории первого порядка для расширений, строго основанных на А. [37]

Пусть Г - произвольное множество замкнутых формул сигнатуры fi, причем любое конечное подмножество А С Г имеет модель. [38]

Получим из рекуррентного выражения (4.116) Замкнутую формулу вычисления второго момента. [39]

Характеристики упругости ЕМ цилиндрических ободочек. [40]

В этом случае получить без упрощений замкнутые формулы для критического сдвигающего усилия не удается. [41]

Области определения коэффициентов биполярного разложения оператора кулоновского взаимодействия. [42]

Для jn в 188 ] получена замкнутая формула. [43]

Множество теорем теории полугрупп ( множество замкнутых формул указанной сигнатуры, истинных во всех полугруппах) неразрешимо. [44]

Таким образом, для матрицы А получена замкнутая формула. [45]

Страницы: 1 2 3 4