Главная страница
Top.Mail.Ru    Яндекс.Метрика
Текущий архив: 2003.11.27;
Скачать: CL | DM;

Вниз

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

 
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



Страницы: 1 вся ветка

Текущий архив: 2003.11.27;
Скачать: CL | DM;

Наверх




Память: 0.46 MB
Время: 0.035 c
3-89679
lovres
2003-11-06 09:26
2003.11.27
Как подключиться к Paradox-таблице без BDE?


4-90156
bolegator
2003-10-05 12:18
2003.11.27
Wheel2Key


14-90078
Думкин
2003-11-05 05:14
2003.11.27
С днем рождения! 5 ноября.


3-89720
lovres
2003-11-10 09:43
2003.11.27
Ошибка Invalid use of keyword в запросе


3-89702
phan
2003-11-10 15:58
2003.11.27
Сохранить картинку в поле MEMO