20
правок
Изменения
Новая страница: «{{Лемма |about = 2 |statement = <tex> b + a' = b' + a</tex> |proof = Индукция по <tex> a </tex>: База. <tex> b + 0' = (b + 0)' </tex>, <tex>b' = ...»
{{Лемма
|about = 2
|statement = <tex> b + a' = b' + a</tex>
|proof =
Индукция по <tex> a </tex>:
База. <tex> b + 0' = (b + 0)' </tex>, <tex>b' = b' + 0</tex>
Переход. Пусть <tex> b' + a = b + a'</tex>. Докажем, что <tex> b' + a' = b + a'' </tex>.
<tex> b' + a' = (b' + a)' = (b + a')' = b' + a'' </tex>.
}}
Может <tex>(b + a')' = \textbf{b} + a''</tex> ?
|about = 2
|statement = <tex> b + a' = b' + a</tex>
|proof =
Индукция по <tex> a </tex>:
База. <tex> b + 0' = (b + 0)' </tex>, <tex>b' = b' + 0</tex>
Переход. Пусть <tex> b' + a = b + a'</tex>. Докажем, что <tex> b' + a' = b + a'' </tex>.
<tex> b' + a' = (b' + a)' = (b + a')' = b' + a'' </tex>.
}}
Может <tex>(b + a')' = \textbf{b} + a''</tex> ?
