1 reply to this topic

[Hoangtheson2611]

Bài 1 đến 6 : 

Attached Files

•  13950757_564945003713798_1636135940_o.jpg   48.7KB   0 downloads

[The flower]

1/₊Lấy x bất kì, x thuộc A giao B:

=>x thuộc A _^ x thuộc B=>x thuộc A

Do đó (A giao B) con A (1)

  ₊Lấy  x bất kì ,x thuộc A=>x thuộc B(vì A con B)

=>x thuộc A _^ x thuộc B=>x thuộc (A giao B)

Nên A con (A giao B)(2)

(1),(2)=>A giao B=A

 

3/lấy x bất kì, x thuộc (A/B) hợp (B/A)<=>(x thuộc A _^ x ko thuộc B) hợp (x ko thuộc A _^ x thuộc B)

<=>((x thuộc A _^ x ko thuộc B) hợp (x ko thuộc A)) _^ ((x thuộc A _^ x ko thuộc B) hợp ( x thuộc B))<=>x thuộc ((A hợp B)/(A giao B)(đpcm)