элементы теории множеств

← →
wl (2003-11-05 23:00) [0]

как доказать теоремы:
A U (B U C) <=> (A U B) U C (ассоциативность)
(A U B)" <=> A" П B" (закон де-моргана " - отрицание )
есть тут студенты?

← →
Asteroid (2003-11-05 23:16) [1]

Кажется доказывалось так ( c - принадлежит ):
A U (B U C) = A U ( {x| x c B} U {x| x c C} ) = A U {x| (x c B)V(x c C) } = {x| (x c A)V( (x c B)V(x c C) ) } = {x| ( (x c A)V(x c B) ) V (x c C) } = ... = (A U B) U C

Второе аналогично.

← →
wl (2003-11-05 23:25) [2]

thanx

элементы теории множеств Найти похожие ветки