A hợp ( B giao C) = ( A hợp B) giao ( A hợp C)
[/QUOTE]
***giả sử x thuoc A hợp ( B giao C) khi đó hoặc x thuoc A hoặc x thuok ( B giao C)
+ nếu x thuoc A thì x thuoc A hợp B và x thuộc A hợp C. Do đó x thuộc ( A hợp B) giao ( A hợp C)
+ nếu x thuộc B giao C thì x thuộc B và x thuộc C. Vì x thuộc B nên x thuộc A hợp B. Vì x thuộc C nên x thuộc A hợp C. do đó x thuộc ( A hợp B) giao ( A hợp C)
--tiếp theo ta chứng minh vp là con của vt tức là cm với mọi x thuộc ( A hợp B) giao ( A hợp C) thì
x thuộc A hợp ( B giao C)
thật vậy, giả sử ( A hợp B) giao ( A hợp C). khi đó x thuộc A hợp B và x thuộc A hợp C.
+ nếu x thuộc A thì x thuộc A hợp ( B giao C)
+ nếu x ko thuộc A thì do x thuộc ( A hợp B) nên x thuộc B. vì x thuộc A hợp C nên x thuộc C. Vậy
x thuộc ( B giao C). do đó x thuộc A hợp ( B giao C)
bạn tham khảo nguồn :yahoo nhé