Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Следующая правка →
Теории первого порядка
1 байт убрано
,
19:20, 18 апреля 2017
→
Коммутативность сложения
Переход. Пусть <tex> b' + a = b + a'</tex>. Докажем, что <tex> b' + a' = b + a'' </tex>.
<tex> b' + a' = (b' + a)' = (b + a')' = b
'
+ a'' </tex>.
}}
Анонимный участник
78.25.120.59
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы
Версия для печати