Page 28 - C111215

:)1( تابثا
;
∀x ]x∋)A  B( ⇒ x∋A ∧ x∋B ⇒ x∋B ∧ x∋A ) ∧ ییاج هباج تیصاخ قبط(
⇒x ∋ B  A]

.داد ناشن ار )2( هطبار یتسرد ناوت یم هباشم شور هب
ٔ
.A-B=∅ هاگ نآ A⊇B رگا هک دینک تباث ؛دنشاب U عجرم اب هعومجم ود B و A مینک ضرف :لاثم
:تابثا

A-B =}x∋U | x∋A ∧ x∉B{ = }x∋U | x∋B ∧ x∉B{=∅ )A⊇B اریز(
⇒ A-B = ∅

20 تایضایر ینابم اب ییانشآ :لّ وا لصف