Бюрократы, editor, Администраторы
422
правки
Изменения
Да ни у кого больше нет таких проблем с логикой, зачем это здесь?
Если <tex>A\le_{m}B</tex> и <tex>A</tex> неразрешимо, то <tex>B</tex> неразрешимо.
|proof=
Следует из второго свойства. Достаточно преобразовать утверждение ''Из <tex>A</tex> следует <tex>B</tex>'' к виду ''Из <tex>\overline{B}</tex> следует <tex>\overline{A}</tex>''.
}}
== Литература ==
