Cтраница 1
Исходные формулы двух последних типов мы называем критическими формулами первого и соответственно второго рода и говорим, что они связаны с е-термом eE9l ( j) Фигуру доказательства с перечисленными свойствами мы называем нормированным доказательством. [1]
Исходная формула для расчета расхода газа на отопление приведена в главе третьей. [2]
Исходные формулы (3.1) для определения искомых параметров феррозондов при произвольных азимуте, зенитном и визирном углах сложны. Однако формулы значительно упрощаются при некоторых значениях углов пространственной ориентации. Составим для некоторых случаев выражения сигналов с феррозондов. [3]
Исходной формулой для всех выводов, сделанных в данном параграфе, является формула ( 28), которая была получена для идеального цикла Карно. [4]
Исходной формулой разложения определителя является формула ( П-2), позволяющая выделить один из избытков. С точки зрения алгебры графов эта операция состоит в получении двух подграфов: первый подграф соответствует исходному графу, у которого исключена ветвь с коэффициентом передачи ац; второй подграф соответствует исходному графу, у которого ветвь с коэффициентом передачи a j отсоединяется только от базовой вершины, а вершина, в которую заходит эта ветвь, объединяется с базовой. [5]
Эта исходная формула, как указывалось ранее, является справедливой как для меридиональных, так и для сагиттальных пучков лучей. [6]
Если исходная формула выполнима, то новая тоже выполнима: достаточно взять в качестве F и G графики сколемовских функций. Напротив, если новая формула выполнима, то выполнима и старая ( более того, из новой формулы следует старая): надо взять z и v согласно первым двум строкам и заметить, что согласно третьей строке они подойдут. [7]
Записываются исходные формулы включения для каждого выхода. Для удобства записи и упрощения / предварительно составляется табл. 5.5 рабочих и запрещенных состояний. В формулы включения не входят входные сигналы от того ИМ или ЭП, для которого составляется формула. [8]
Каждая исходная формула рассматриваемого доказательства либо получается в результате подстановки из какой-либо тождественно истинной формулы исчисления высказываний или из собственной аксиомы, не содержащей кванторов, либо является критической формулой или формулой е-равенства. [9]
Столбцы исходных формул здесь играют роль стрелок. Vx-i А ( х), а лишнее ЗхА ( х) опускается в силу общих свойств - - Фактически несущественно, рассматривать ЗхА ( х) как исходную формулу в 2 - 5 или нет. [10]
В исходной формуле (17.4) фигурирует разность потенциалов ( pl - p2, которая не зависит от выбора начала отсчета ср. Поэтому будем считать, что начало отсчета pi и р2 в формуле ( 17.4) находится в бесконечно удаленной точке. [11]
В исходной формуле ( 18) и ее частных разновидностях член при Q равен i. [12]
В исходной формуле ( 18) и ее частных разновидностях коэффициент при Q равен i. [13]
Над исходными формулами в фигуре разложения не стоят никакие другие формулы; над результирующей формулой любой схемы заключения стоят две формулы ( здесь имеет место ветвление вверх); над любой другой формулой стоит по одной формуле. Последовательность формул из данной фигуры разложения, начинающаяся какой-либо исходной формулой и такая, что за каждой формулой, не являющейся заключительной формулой вывода, следует формула, стоящая в этой фигуре непосредственно под ней, называется нитью доказательства. [14]
Сопоставим две исходные формулы - (7.110) и (7.111), вспомнив сделанное о них выше замечание. [15]