Cтраница 3
Если частью секвенции считать часть какой-нибудь формулы из числа составляющих секвенцию формул, то любая часть в секвенции будет иметь тот же самый знак, что и в соответствующей формуле, если эта формула входит в сукцедент, и противоположный знак, если эта формула входит в антецедент рассматриваемой секвенции. Знаки кванторов существования считаются противоположными знакам их областей действия. Например, в секвенции Vx3yP ( x y), - V vQ ( v) - VzR ( z) / / 3uS ( u) кванторы Vz, Vv и Зу положительны, а кванторы Vx и Зи - отрицательны. При установлении знаков кванторов необходимо, чтобы все переменные, связанные кванторами, были попарно различными. Их обозначения должны также отличаться от обозначений всех свободных переменных. [31]
Описанный выше метод определения знака D можно применить при мультипольных расщеплениях любых порядков. Как было замечено в § 3, измеряя положение линий спектра при различных углах, можно получить величину коэффициентов всех членов, дающих мультипольные расщепления, вместе с их относительными знаками. Поэтому для определения всех знаков достаточно наблюдать, как меняется интенсивность линий с понижением температуры. Измерения тонкой структуры спектра, проводимые в тех случаях, когда магнитное поле направлено вдоль каждой из трех осей тензора D, дают три величины: А, Dv t Z) r, а поскольку Dx - f - Dy - f - Dz 0, то возможна только одна комбинация относительных знаков этих трех коэффициентов. Иными словами, только знак произведения ( DxDyDz) неизвестен, и установление знака любого из этих трех параметров достаточно для того, чтобы определить все другие знаки. Например, в сильном поле, направленном вдоль оси х, уровни энергии совпадают с показанными на фиг. Наблюдение изменения относительных интенсивностей с температурой дает знак Dx. Здесь следует заметить, что изменение заселенности уровней с температурой обусловливает также появление в восприимчивости члена типа Т1 2, знак которого непосредственно связан со знаком D [ формула ( А. [32]