Изменения

Перейти к: навигация, поиск

Теории первого порядка

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>.
}}
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/60652»

Навигация