Обсуждение:Теории первого порядка
Версия от 06:16, 15 января 2012; Tanfilyev (обсуждение | вклад)
| Лемма (2): |
| Доказательство: |
|
Индукция по : База. , Переход. Пусть . Докажем, что . . |
Может ? --Tanfilyev Igor
| Лемма (2): |
[math] b + a' = b' + a[/math] |
| Доказательство: |
| [math]\triangleright[/math] |
|
Индукция по [math] a [/math]: База. [math] b + 0' = (b + 0)' [/math], [math]b' = b' + 0[/math] Переход. Пусть [math] b' + a = b + a'[/math]. Докажем, что [math] b' + a' = b + a'' [/math]. [math] b' + a' = (b' + a)' = (b + a')' = b' + a'' [/math]. |
| [math]\triangleleft[/math] |
Может [math](b + a')' = \textbf{b} + a''[/math] ? --Tanfilyev Igor
