logo
Лекції з матем - заоч

Доведення:

Розглянемо скінченні множини А, В і С такі, що n(А)=а, n(В)=b, n(С)=с, АВ=, АС=, ВС=. Утворимо множину АВС, для якої справедливий асоціативний закон, тобто: В)С=АС). Звідси випливає: n((АВ)С)=n(АС)). Таким чином: n(АВ)+n(С)=n(А)+n(ВС). Далі: (n(А)+n(В))+n(С)=n(А)+(n(В)+n(С)). Отже, маємо: (а+b)+с=а+(b+с). Теорему доведено.