Множество - предложение
Cтраница 3
Пусть 2 и Г - такие множества предложений языка X, что 2 U Г противоречиво. [31]
Для определенной структурной схемы SCTp задают множество предложений многосортного языка. [32]
Пусть К и L - два множества предложений, причем для всякой формулы р G L неверно, что К - р в НРС. Тогда может быть построена модель А, в которой все формулы из К истинны и ни одна из формул L не истинна, однако эта модель может быть без корня. [33]
Пусть К, L - два множества предложений языка П и неверно К - L. Тогда существует модель Крипке для языка П такая, что все формулы из К истинны в этой модели, а дизъюнкция любого конечного множества формул из L не истинна в этой модели. Дополнительно можно потребовать, чтобы эта модель удовлетворяла требованиям второго и третьего абзацев теоремы 5.1. Действительно, пусть 5.1.1 доказана. Условие, что не К h L, в этом случае как раз означает непротиворечивость Г, и мы немедленно получаем теорему. [34]
Точнее, здесь Д - переменная для множеств предложений в пре-нексной нормальной форме, в которых никакой квантор не является фиктивным. Так как для всякого предложения существует пренексный эквивалент, а фиктивные кванторы во всяком предложении можно опустить, получив при этом предложение, равносильное исходному, эти предположения не содержат никаких действительных ограничений. [35]
Сообщение Т является концепт-конструкцией, представленной некоторым множеством предложений. [36]
Методы отбора, основанные на глобальных критериях, рассматривают множество предложений как целое. Среди таких критериев различают: сравнение мощностей, наименее предположительная или наименее специфичная абдукция, наиболее специфичная абдукция и минимальная аномальность. [37]
 |
Средние значения а для металлов и эмалей при t 0 100 С. [38] |
Для расчета а стекол по линейному уравнению (19.31) имеется множество предложений, среди которых есть и учитывающие состав стекла, по которым принимаются коэффициенты, зависящие от состава. В табл. 19.47 приведены некоторые из этих коэффициентов. Колебания ( разброс приводимых значений) и многочисленные краевые условия свидетельствуют о сложности и проблематичной точности расчетов. [39]
Обеднение этой модели до модели языка X дает нам модель множества предложений Т, являющуюся, очевидно, бесконечной. [40]
Принятые органами санитарного надзора меры привели к интенсивным разработкам и множеству предложений по сокращению контролируемых потерь ртути в производстве. [41]
 |
Превращение арилалкилкетонов в ы-арилалкановые кислоты. [42] |
Механизм реакции был предметом продолжительной дискуссии, и хотя было выдвинуто множество предложений, до сих пор отсутствует единое заключение, которое бы удовлетворяло следующим наблюдениям. Карбонильная группа превращается в тиокарбонильную группу, которая а-тиолируется, а затем перемещается вдоль цепи путем десульфуризации и нового тиолирования. В ряде случаев [83] интермедиа ( 62), производные тиокетонов, удается выделить. [43]
 |
Превращение арилалкилкетонов в ы-арилалкановые кислоты. [44] |
Механизм реакции был предметом продолжительной дискуссии, и хотя было выдвинуто множество предложений, до сих пор отсутствует единое заключение, которое бы удовлетворяло следующим наблюдениям. Карбонильная группа превращается в тиокарбонильыую группу, которая а-тиолируется, а затем перемещается вдоль цепи путем десульфуризации и нового тиолирования. В ряде случаев [83] интермедиаты ( 62), производные тиокетонов, удается выделить. [45]
Страницы: 1 2 3 4