Cтраница 1
Теоремы вида ( 13) представляют собой утверждения о возможности решения системы функциональных уравнений относительно выбранных функциональных пере-менных, В рассмотренных выше и подобных им примерах важен вопрос о единственности решения. [1]
Важнейшую теорему вида ( 2) доказал в 1867 г. Чебышев [ 4, с. [2]
В теореме вида ( 3) высказывание А называется условием, или посылкой, высказывание В - заключением. [3]
Для доказательства теоремы вида 1 необходимо убедиться в том, что компоненты А, удовлетворяют определению тензора. [4]
Для доказательства теоремы вида 1 необходимо убедиться в том, что компоненты Атп удовлетворяют определению тензора. [5]
Опускать запись Vx в формулировке теоремы вида Vx ( a ( x) b ( x)) можно только в том случае, если о смысле и важности этой опущенной записи не забывают. [6]
I мы назвали взаимно обратными теоремами теоремы вида А - В, В - Л, взаимно противоположными теоремами - теоремы вида А - В, - ] А - 1 В, где А и В - высказывания. [7]
Допустим, что имеется другое доказательство описанного в теореме вида. Терм t может совпадать с а или с Ъ или не совпадать ни с одной из этих переменных. [8]
Отсюда вытекает, что / - спектр периодичности класса Кп может состоять только из чисел указанного в условии теоремы вида. [9]
Термины: условие ( посылка), заключение, обратная теорема, противоположная теорема были введены нами для теорем вида ( 3) и только к ним применимы. [10]
I мы назвали взаимно обратными теоремами теоремы вида А - В, В - Л, взаимно противоположными теоремами - теоремы вида А - В, - ] А - 1 В, где А и В - высказывания. [11]
Гудстейн, говоря о формализации рекурсивного анализа посредством исчисления равенств, подразумевает, по-видимому, возможность обоснования рассмотренных им ( и многих других) теорем вида ( 19) и упомянутых в § 8 видов в определенном сильном смысле, соответствующем определенному, сильному конструктивному истолкованию утверждений этих видов, которое полностью согласуется с используемым в конструктивной ма-тематике более общим истолкнованием суждений о конструктивных объектах, но предполагает относительную простоту определенных конструкций и связей. [12]
Предположение об истинности посылки С & D означает в этом случае, что С и D истинны. Итак, чтобы доказать теорему вида ( 20), нужно) из посылок С и D вывести заключение В. [13]
В частности, не существует теоремы вида П Lp ( эквивалентной М - р) ни в какой теории, базирующейся на немонотонной 55-системе, ибо такая теорема имела бы обоснование, построенное с помощью правила немонотонного вывода из логики Мак-Дермотта. [14]
В частности, не существует теоремы вида - Lp ( эквивалентной М - р) ни в какой теории, базирующейся на немонотонной 85-системе, ибо такая теорема имела бы обоснование, построенное с помощью правила немонотонного вывода из логики Мак-Дермотта. [15]