Diễn Đàn MathScope - Xem bài viết đơn

**sang89** · 17-11-2012, 10:21 AM

Đây là định luật De Morgan: $C\left( \displaystyle \bigcup_{i \in I} X_i\right) = \displaystyle \bigcap_{i \in I} \left( C(X_i)\right)$

$$ \begin{aligned} x \in C\left( \displaystyle \bigcup_{i \in I} X_i\right) &\Leftrightarrow x \notin \displaystyle \bigcup_{i \in I} X_i \\&\Leftrightarrow x \notin X_i, \: \forall i \in I \\&\Leftrightarrow x \in C(X_i), \: \forall i \in I \\&\Leftrightarrow x \in \displaystyle \bigcap_{i \in I}\left(C (X_i)\right) \end{aligned}$$
Từ đó ta có điều phải chứng minh.

17-11-2012, 10:21 AM	#2
sang89 +Thành Viên Danh Dự+ Tham gia ngày: Mar 2010 Đến từ: Heaven Bài gởi: 887 Thanks: 261 Thanked 463 Times in 331 Posts	Đây là định luật De Morgan: $C\left( \displaystyle \bigcup_{i \in I} X_i\right) = \displaystyle \bigcap_{i \in I} \left( C(X_i)\right)$ $$ \begin{aligned} x \in C\left( \displaystyle \bigcup_{i \in I} X_i\right) &\Leftrightarrow x \notin \displaystyle \bigcup_{i \in I} X_i \\&\Leftrightarrow x \notin X_i, \: \forall i \in I \\&\Leftrightarrow x \in C(X_i), \: \forall i \in I \\&\Leftrightarrow x \in \displaystyle \bigcap_{i \in I}\left(C (X_i)\right) \end{aligned}$$ Từ đó ta có điều phải chứng minh. __________________ $\spadesuit $ Only through the pure logic of mathematics can truth be found.