Два - утверждение
Cтраница 1
Два утверждения: Множество Y равно обобщенному дополнению множества X и Множество Y обобщенно равно дополнению множества X логически эквивалентны. [1]
Два утверждения, определяющие в некоторой теории один и тот же класс основного множества, называются логически эквивалентными. [2]
Два утверждения этой леммы доказываются одинаково, поэтому мы докажем только первое из них. Если таких кривых не существует, то нам нечего доказывать. [3]
Доказанные два утверждения являются распространением на случай функций, интегрируемых с квадратом, следующей теоремы Стеклова. [4]
Эти два утверждения и являются выражением третьего закона термодинамики. Следует отметить, что оба указанных утверждения не являются независимыми друг от друга, так как из второго может быть выведено первое. [5]
Эти два утверждения и являются выражением третьего закона термодинамики. [6]
Эти два утверждения ( прямое и обратное), которые по отношению к метрическому многообразию Vn имеют исключительно геометрический характер, выражают принцип стационарного действия для голономных систем со связями, не зависящими от времени, и при наличии консервативных сил. [7]
Эти два утверждения непосредственно вытекают из определения интеграла Лебега. [8]
Эти два утверждения абсолютно несовместимы. [9]
 |
Неперекрещивающиеся разрезы. [10] |
Докажем два утверждения, из которых будет следовать, что граф Т является деревом. [11]
Напишем два утверждения: одно утверждение есть оператор READ, который заставляет вычислительную машину читать карту, назначать имена переменных числам на карте и отсылать вычислительную машину к дру-гому утверждению, определяющему тип и длину чисел на карте. [12]
Рассмотрим два утверждения и обозначим их А и. [13]
Эти два утверждения позволяют установить простое и естественное взаимно-однозначное соответствие между системой рефлексивных отношений на произвольном множестве М и системой антирефлексивных отношений на том же множестве. [14]
Эти два утверждения позволяют установить простое и естественное взаимно-однозначное соответствие между системой нестрогих порядков на произвольном множестве М и системой строгих порядков на том же множестве. Соответствие, соотносящее произвольному нестрогому порядку ( Ф, М) на множестве М отношение Ф АМ, М), будет требуемой биекцией. При изучении нестрогих и строгих порядков на множестве М указанной биекцией пользуются совершенно автоматически и свободно переходят от произвольного нестрогого порядка на М к соответствующему, в силу указанной биекции, строгому порядку на М, и обратно. Отношения tyi и фь о) 2 и ф2, 3 и ф3, г) 4 и р4 ( примеры 1, 2), ( 1 и v ( примеры 3, 4), [ i3 и v3 ( примеры 8, 9), ЕМ и Ом ( примеры 14, 15) как раз и являются соответствующими друг другу нестрогим и строгим порядками. [15]
Страницы: 1 2 3 4