Подстановка - формула
Cтраница 2
Если F в 51 находится в области действия квантора, связывающего какую-либо букву, то эта буква не входит в 33, то возможна подстановка формулы 53 в 91 вместо предиката F. [16]
Собственные аксиомы формализма ( в том числе и специальные аксиомы равенства), а также тождественно истинные формулы исчисления высказываний обладают тем свойством, что любые получающиеся из них в результате подстановки формулы без переменных при естественном распределении истинностных значений являются истинными формулами. Отсюда привычным рассуждением мы получаем, что заключительная формула любого нормированного доказательства, если в ней не встречаются е-сим-волы, при естественном распределении истинностных значений тоже является истинной формулой. [17]
Для невосстанавливаемых систем в формулы (5.9.1) - (5.9.4) следует подставить соответствующие выражения из табл. 5.4.1, 5.4.2 и 5.8.1 - 5.8.6. Так, для четырехканальной системы ( 2; 0; 2), состоящей из двух автономно работающих двухканальных систем, выражения для вероятности безотказного функционирования, частоты и интенсивности отказов можно получить путем подстановки формул для Р, а и Л из табл. 5.4.1 и 5.4.2 при т 2 в формулы (5.9.1) - (5.9.3) соответственно. [18]
Это означает, что если ряд по полиномам Лежандра равен нулю, то должны равняться нулю коэффициенты при каждом из его членов. Посредством подстановки формулы Родрига (5.115) в формулу (5.129) можно получить другое, часто более удобное, чем (5.129), выражение для ат. [19]
 |
Теоретические зависимости а и tp от параметра гидродинамического экранирования по Дебаю-Бики. [20] |
Таким образом, при малых а остается справедливой концепция свободнопроницаемого клубка. С другой стороны, можно показать, что результат, получаемый при подстановке формулы (4.31) в (4.29), совпадает с формулой (4.16), выведенной для характеристической вязкости из соотношения Эйнштейна. Следовательно, при больших значениях а сферы с пористой структурой полностью захватывают растворитель, и макромолеку-лярные клубки ведут себя как жесткие непроницаемые шарики. [21]
Особые точки наблюдаются или в центре зоны Бриллюэна, или в точках высокой симметрии на границе зоны Бриллюэна, или вдоль линий высокой симметрии. На рис. 105 приведены зависимости gr ( йсо), полученные интегрированием уравнения (8.52) при подстановке формулы (8.57) для четырех типов критических точек. [22]
Особые точки наблюдаются или в центре зоны Бриллюэна, или в точках высокой симметрии на границе зоны Бриллюэна, или вдоль линий высокой симметрии. На рис. 115 приведены зависимости g, ( йсо), полученные интегрированием уравнения (8.23) при подстановке формулы (8.25) для четырех типов критических точек. [23]
Для простых случаев, когда используется малое число значений функции, смешанные производные можно получать прямо подстановкой формул (7.9), (7.10), (7.11) друг ь друга. [24]
Страницы: 1 2