Cтраница 3
Еъ есть результат подстановки y ( x) xs для разбиения с ftl. Задача состоит в том, чтобы найти такие значения at, a. G ( s) имеет постоянный знак. [31]
Формулы, тождественно равные единице. [32] |
Например, результат подстановки rs вместо р в выражение для первой формы закона исключенного третьего есть дизъюнкция r - s V V ( rs), которая тождественно равна единице. [33]
Так как результат подстановки координат точки М0 в нормальное уравнение плоскости отрицателен, то М0 и начало координат лежат по одну сторону от заданной плоскости. [34]
Так как результат подстановки координат точки М0 в нормальное уравнение плоскости отрицателен, то Мд и начало координат лежат по одну сторону от заданной плоскости. [35]
Так как результат подстановки координат точки М0 в нормальное уравнение плоскости отрицателен, то М0 и начало координат лежат по одну сторону от заданной плоскости. [36]
Для представления результата подстановки будет полезно одно компактное метаматематическое обозначение. [37]
Если в результате подстановки путь от корня до соседнего узла становится короче, алгоритм всегда добавляет данный узел в список возможных. [38]
Тогда в результате подстановки t вместо х в f получится формула, обозначаемая как / ( t / x), которая определяется следующим образом: модифицируем каждый атом из /, содержащий свободное вхождение х в /, по следующим правилам. [39]
Тогда в результате подстановки t вместо х в f получится формула, обозначаемая как / ( tlx), которая определяется следующим образом: модифицируем каждый атом из /, содержащий свободное вхождение х в f, по следующим правилам. [40]
Тогда в результате подстановки в дифференциальное уравнение функции Qn ( х) еах степень многочлена понижается на две единицы. [41]
Если в результате подстановки в эти равенства предельных значений всех звеньев размерной цепи получается тождество, то величины допусков на отдельные звенья размерной цепи рассчитаны правильно. [42]
Полученное в результате подстановки ( 19 4) уравнение также будет линейным. [43]
Вещественная часть дает результат подстановки в ( 3) соответствующих косинусоидальных функций. [44]
Доказать, что результат подстановки А ( Р В формулы В вместо пропозициональной переменной Р в формулу А снова есть формула. [45]