Cтраница 2
Следующие два простых утверждения весьма важны для дальнейшего изложения. [16]
Мы привели одно простое утверждение о спектре индефинитно положительного линейного оператора. Теория таких операторов составляет обширную главу современного линейного анализа, богатую тонкими результатами и различными приложениями. Эта глава ведет свое начало от работ Л.С. Понтрягина, СЛ. [17]
Конечно, это простое утверждение можно получить и независимым образом. [18]
Приведем еще два простых утверждения, доказательства которых читатель легко проведет самостоятельно. [19]
Теория базировалась на простом утверждении, что обмен между двумя сторонами включает как покупку, так и продажу. Сэй распространил эту взаимозависимость между спросом и предложением с бартерной экономики, при которой каждая продажа предполагает спрос такой же величины, не может существовать избыток спроса или предложения и никакой товар не может быть произведен без соответствующего спроса на его потребление, на общую теорию рынков. [20]
Здесь мы приведем несколько простых утверждений, относящихся к случаю, когда неоднородный член в уравнении является определяющим. [21]
Из свойства частичной аддитивности вытекает ряд простых утверждений об операторах Урысона. [22]
Все результаты термодинамики содержатся в нескольких предельно простых утверждениях, называемых законами термодинамики. Во времена Карно первый закон термодинамики - закон сохранения энергии - был еще не известен. Однако аргументы были сформулированы Карно так точно, что они оказались правильными, хотя первый закон тогда не был еще открыт. Немного позже Клаузиус привел более простой вывод, который понять оказалось легче, чем очень тонкие рассуждения Карно. [23]
Классическая логика высказываний предназначена для изучения множества простых утверждений, а также построенных из них составных утверждений. На интуитивном уровне подразумеваемой интерпретацией для этих утверждений служит возможный мир, в котором каждое утверждение истинно или ложно. [24]
Подтверждение принятия на себя обязательств можно ограничить простым утверждением сотрудника: Да, я сделаю так, как вы сказали, либо установлением целого ряда контрольных точек в течение всего проекта. [25]
Интуитивно говоря, высказывательные символы употребляются для изображения простых утверждений, а связки Л и - применяются вместо слов, используемых для построения составных утверждений из простых. [26]
Чтобы упростить доказательство теоремы о свертке, рассмотрим предварительно более простое утверждение, называемое обычно теоремой о сдвиге. [27]
Далее, из рекуррентной формулы (2.1) легко получаются два простых утверждения о нулях ортогональных многочленов. [28]
Два составных высказывания, построенные из одних и тех же простых утверждений, но разными путями, могут принимать одинаковые значения истинности на любом возможном наборе значений истинности своих составных частей. Такие высказывания называются логически эквивалентными. [29]
Она была удивлена, что ее муж дал себя убедить простыми утверждениями. [30]