Cтраница 1
Обратная импликация доказывается аналогично. [1]
Обратная импликация ( II у) ( Ну очевидна. [2]
Обратная импликация проверяется аналогично с по-мо. [3]
Обратная импликация гораздо проще, и убедиться в ее справедливости предоставляется читателю в качестве упражнения. [4]
Для установления обратной импликации нужно показать, что единственной возможностью коммутировать для элементов k и W - ltW является наличие описанного процесса. Это включает в себя необходимость показать, что присутствие обратных символов не дает существенного эффекта. Ключом к этому является использование соотношений типа p a ap и qa aql, которые контролируют то, как записывающие буквы р и q и буквы из С могут двигаться друг через друга. Мы не будем пытаться описать это все детально для данного представления, а вместо этого проиллюстрируем принцип на очень простом примере. [5]
Cm-i - Рассмотрим обратную импликацию. Ьт становится истинным, при подстановке в него ст вместо Ьт. Действительно, в любом таком литерале запрещено участие только одного значения для ст. Поэтому всегда возможен выбор значения ст с упомянутым свойством, так как число литералов в / фиксировано, а р может быть выбрано сколь угодно большим. [6]
Это положение является обратной импликацией по отношению к ( F1) и вместе с ( F1) дает эквивалентность. [7]
Для нормальных пространств справедлива и обратная импликация. [8]
Используя результат ( а), дать другое доказательство обратной импликации в лемме Ь: если расширение А / г несепарабельно, то А не является сепарабельной F-алгеброй. [9]
Одним из наиболее удивительных свойств интуиционистской логики является то, что обратная импликация не имеет места. [10]
Модельная полнота теории не влечет за собой ее ( обычной) полноты; обратная импликация также неверна. Теория плотного линейного порядка с первым и последним элементами является полной, но не модельно полной. [11]
Всякая полугруппа с возрастающим аннуляторным рядом будет / - полугруппой; вопрос о справедливости обратной импликации ( см. задачу 1.50 а) в [34]) до сих пор ( 1989) открыт. Ненильпотентная нильполугруппа содержит нильпотентные подполугруппы сколь угодно большой ступени нильпотентности. Вопрос о том, существуют ли ненильпотентные нильполугруппы, все собственные подполугруппы которых нильпотентны ( см. задачу 1.52 в [34]), до сих пор ( 1989) открыт. [12]
Поэтому ( s) влечет ( g), и наша задача - доказать обратную импликацию. [13]
На схеме они отмечены пунктирными кружками, от которых идут пунктирные же ребра, показывающие возможные обратные импликации, по которым можно судить, какие типы регулярных операций в действительности, возможно, и совпадают. [14]
Более того, если А достаточно близка к 0 еМ ( С), то справедливы и обратные импликации. [15]