Cтраница 4
Наконец, представляется небезынтересной мысль Страйт-визера и Перрина [189] о целесообразности введения новых констант а - как средств выражения устойчивости радикалов, содержащих различные замещающие группы. [46]
Рассмотрим язык П, полученный из П путем добавления к последнему некоторого множества новых констант. Точнее, к П следует добавлять не сами предметные объекты, а их имена, и добавляемые имена должны быть отличны от уже имеющихся констант языка U. Исключение составляют предметные объекты, сопоставляемые в А константам языка П, - их имена можно отождествить с самими этими константами. [47]
Пусть формула р, не содержащая новых констант, имеет вывод, в котором новые константы встречаются. [48]
Мощность сигнатуры а А есть максимум из мощностей а и А; после добавления новых констант в количестве / 3 штук получится сигнатура мощности / 3, и согласно теореме 48 ( с. Преобразование ее в нормальную модель ( факторизация) может лишь уменьшить мощность, но / 3 различных элементов у нас заведомо есть. [49]
Второй метод доказательства теоремы С более конкретен; он показывает, как вычислить г новых констант M. [50]
![]() |
Зависимость количества окисленного продукта от потенциала окисления. [51] |
Так как k в этом выражении не зависит от рН, то следует ввести новую константу / С, включающую фактор рН, а она получается экспериментально. Форму этой кривой можно наложить на кривую рис. 1, для которой значения / С были вычислены. [52]
Используя рассмотренное выше свойство, сначала заменим все переменные в predlfc, Т, е) новыми константами. Предположим, что переменная Т заменяется константой spec const. Далее сопоставим этот основной литерал с кортежами с функтором queried. Таким образом, проверка обобщения также завершается успешно. [53]
Так как отношение двух постоянных k и &2 есть также величина постоянная, то оно заменено новой константой К. Полученное равенство является математическим выражением закона действующих масс; применительно к обратимым реакциям этот закон можно формулировать так: при химическом равновесий отношение произведения равновесных концентраций продуктов реакции к произведению равновесных концентраций исходных веществ для данной реакции при данной температуре есть величина постоянная. [54]
Оно сводится к уравнению z [ 1 ( г) а ] с, где с - новая константа. [55]