Cтраница 2
Из схемы аксиом 6, применяя э-удал. Отсюда с помощью э-правил получаем теорему: Если Г, А - - i - i С и Г, В н - i - i С ( с фиксированными свободными переменными для А и В соответственно), то Г, - i - i ( AyB) I - - i - i С. Мы, таким образом, обосновали модифицированное правило разбора случаев, в котором формула случаев А VВ и заключение С дважды отрицаются. [16]
Для приведенных здесь правил определения псевдокритических констант не дается какого-либо теоретического вывода или эмпирического обоснования. Все правила, включая правила Кэя, дают почти одинаковые значения критической температуры. Модифицированное правило Праусница и Ганна является результатом упрощений более сложных правил для определения псевдокритического давления. [17]
Рассматриваемые переходы происходят в тем менее широком интервале темп-р, чем больше кооператив-ность системы. Сам по себе факт существования температурного интервала перехода еще не дает основания подвергать сомнению фазовую природу конфор-мационных превращений. Теоретически кристаллизация в одномерных системах невозможна. Однако даже в случае линейно-кристаллических систем следует помнить, что у спирали или кросс - - формы есть протяженность в трех измерениях. Истинным критерием природы перехода является его конформационная прерывность ( в смысле рис. 12), к-рая никак не противоречит модифицированному правилу фаз Гиббса. [19]
Рассматриваемые переходы происходят в тем менее широком интервале темн-р, чем больше кооператпв-ность системы. Сам по себе факт существования температурного интервала перехода еще не дает основания подвергать сомнению фазовую природу конфор-мациопиых превращений. Теоретически кристаллизация в одномерных системах невозможна. Однако даже в случае линейно-кристаллических систем следует помнить, что у спирали гтлп кросс - 5-формы есть протяженность в трех измерениях. Истинным критерием природы перехода является его конформационная прерывность ( в смысле рис. 12), к-рая никак не противоречит модифицированному правилу фаз Гиббса. [21]