Обсуждение:Теории первого порядка — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «{{Лемма |about = 2 |statement = <tex> b + a' = b' + a</tex> |proof = Индукция по <tex> a </tex>: База. <tex> b + 0' = (b + 0)' </tex>, <tex>b' = ...»)
 
 
(не показана 1 промежуточная версия 1 участника)
Строка 11: Строка 11:
 
}}
 
}}
  
Может <tex>(b + a')' = \textbf{b} + a''</tex> ?
+
Может <tex>(b + a')' = \textbf{b} + a''</tex> ? --Tanfilyev Igor

Текущая версия на 20:49, 27 января 2012

Лемма (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