Модель - формула
Cтраница 1
 |
Таблицы истинности основных логических операций. [1] |
Модель формулы - та предметная среда, значениями которой конкретизируется формула. Очевидно, что одна и та же абстрактная логическая формула может быть основой для построения модели некоторой среды. Поэтому говорят об абсолютной и относительной выполнимости, о тождественной ( для всех моделей) и относительной ( выполняется только для конкретной модели) истинности. [2]
В модели формулы IX кольцо с кетонной группой, являющееся частью мс-декалино-вой системы, резко отклонено назад по оси С5 - С 4 и приближается к плоскости, находящейся под прямым углом к плоскости ароматического кольца. Аналогичное положение наблюдается и у 11-кетостероидов, гидрирующихся исключительно в результате разрыва двойной связи с менее экранированной стороны. Гидрирование 6-кетона ряда морфия должно, очевидно, приводить к разрыву двойной связи с незащищенной стороны и к образованию 6а - ориентированного спирта. [3]
Для этих моделей формулы (56.7) и (56.8) дают аналитические выражения координатного расстояния в зависимости от красного смещения. [4]
В теории классов моделей формулы УИП интерпретируются следующим образом. [5]
Таким образом, всякая модель формулы g дает нам некоторую модель формулы ( 1) с той же самой индивидной областью и наоборот. [6]
Таким образом, всякая модель формулы g дает нам некоторую модель формулы ( 1) с той же самой индивидной областью и наоборот. [7]
Существенным требованием для дальнейшего рассмотрения является отсутствие в системе замыкающих соотношений модели формул, включающих в себя производные от неизвестных функций, что обеспечивает неизменность вида матрицы данной системы уравнений. [8]
Разумеется, это истолкование формул ( 9) и ( 10) как формул, выражающих некоторую модель формулы 8, представляет собой некий неформальный комментарий. [9]
Необходимо учитывать приближенный характер выражений (9.9) и ( 9.9 а), так как потенциальная энергия кристалла определяется здесь только двумя силовыми константами р и f ( или vu и) - Однако в рамках такой модели формулы (9.9) и ( 9.9 а)) абсолютно точны, и было бы бесполезно пытаться с тем же набором параметров, определяющих свойства кристалла, получить более точное выражение для коэффициента теплопроводности. [10]
Модель называется связной, если она определена на связной модельной структуре. Модель Ф является моделью формулы А тогда и только тогда, когда А истинна в Ф, в противном случае Ф является контрмоделью для А. [11]
Уу Вх 3 mVf / 2 ( f о Л / У-Тогда формула G выполнима тогда и только тогда, когда выполнима F. Действительно, каждая модель для G есть и модель для F, а любую модель для F можно расширить до модели формулы G интерпретацией новых предикатных символов, как описано выше. Более того, длина G зависит линейно от длины F. Наконец, предваренная форма формулы G, в которой все кванторы существования расположены между двумя кванторами общности, содержится в классе У. [12]
Тогда из ( 34 12) получаем U 4nkT 5 0 Интересно, что это значение лежит посредине интервала 0 - 10 2, определяемого критерием (32.6), который мы получили при рассмотрении статических моделей. Что касается модели линеаризованной формулы Больцмана, то для тех же исходных данных мы получили из (33.14) значение Gel / nkT я 6 36, откуда можно судить, что линеаризованное уравнение Пуассона - Больцмана дает завышенный результат. [13]
Реальные процессы разрушения материалов настолько сложны, что указанные модели могут рассматриваться как первое приближение. Поэтому на полученные с помощью этих моделей формулы следует емотреть как на приближенные. Вместе с тем установлено, что в ряде случаев результаты расчетов по этим формулам находятся в удовлетворительном согласии G данными прямых экспериментов. [14]
Отправной точкой для суждения о возможных путях пиролиза угля является его химическая структура. Как уже подробно было сказано в главе 12, уголь имеет структуру с конденсированными ароматическими ядрами и гетероциклическими, гидроароматическими, алифатическими группами и периферийными функциональными группами, содержащими главным образом кислород. Условно примем за отправную точку для рассуждений модель формулы угля по В. [15]
Страницы: 1 2