Page 27 - C111215

سلا ک رد را ک
سلاک رد راک
.A ⊇ A  B هک دینک تباث U عجرم اب B و A یاه هعومجم یارب 1
:تابثا
;
∀x )x ∋A ⇒ x∋A ∨ x∋B( ⇒ x ∋ A B

∀x ; )x ∋A ⇒ x ∋A B( ⇒ A⊇A B :میراد نیاربانب
.دیهد حیضوت ار لااب للادتسا یتسرد

.A  C ⊇B  D هاگ نآ C ⊇D و A⊇B رگا :دینک تباث ،دنشاب U عجرم اب هعومجم راهچ D و C و B و A مینک ضرف 2
:دینک رپ ار یلاخ یاهاج :تابثا
)
 x ∋⇒ (A ⊇ B اریز
A

∀ [ ; x x ∋ (A C ] ) ⇒∨ ∨ ⇒ x ∋ B ∨ x ∋ D ⇒ ......



)
 ⇒  x ∋ D (C ⊇ D اریز
:میراد نیاربانب
∀x ; ]x ∋(A  C (⇒ x∋)B  D(] ⇒ ......
.)A  B( ⊇C هاگ نآ B ⊇C و A⊇C رگا :دینک تباث ،دنشاب U عجرم اب هعومجم هس C و B و A مینک ضرف 3

.دینک هدافتسا 2 تمسق یگژیو زا :ییامنهار

یواسم هعومجم ود

؛دشاب A زا یوضع B وضع ره و B زا یوضع ،A وضع ره هک یروط هب دنشاب U عجرم اب هعومجم ود B و A مینک ضرف

هعومجم ود یواست ناوت یم رگید ترابع هب .A=B :میسیون یم و تسا یواسم B اب A تروص نیا رد ،B ⊇A و A⊇B ینعی
:تشون ریز تروص هب ار
A=B⇔])A⊇ B(∧)B ⊇A(]

سلا ک رد را ک
سلاک رد راک
.)لیلدرکذ اب( ؟تسا یواسم A اب ریز یاه هعومجم زا کی مادک ،A=}1 ,2{ دینک ضرف

2
}x∋  | 1≥x≥2{ )ب }x∋| x -3x+2=0{ )فلا
2
}x∋  | 1≥x≥2{ )ت }x∋ | 2x +3x+1=0{ )پ
.)کارتشا ییاج هباج تیصاخ( .A  B=B  A :دینک تباث ،دنشاب U عجرم اب هعومجم ود B و A مینک ضرف :لاثم

:میهد ناشن ار ریز هطبار ود یتسرد دیاب مکح تابثا یارب :تابثا
ٔ
A  B⊇ B  A )1( ؛ B  A⊇A  B )2(

هعومجم ریز :مود سرد 19