‫‪300‬‬

‫عملي‬

‫تتمة في المجموعات‬
‫‪6‬‬ ‫و جبر المنطق‬
‫‪22/11/2022‬‬ ‫‪6‬‬
‫د‪.‬شذا الخطيب‬
‫محتوى مجاني غير مخصص للبيع التجاري‬
‫الجبر العام‬
‫} ‪𝐴 ∩ B = { 𝑥: 𝑥 ∈ A ∧ x ∈ B‬‬
‫}‪𝐴 ∪ B = { x: x ∈ 𝐴 ∨ x ∈ B‬‬
‫تذكرة‪:‬‬

‫∨ (او)‬ ‫‪ .1‬االجتماع ∪‬

‫∧ (و)‬ ‫∩‬ ‫‪ .2‬التقاطع‬

‫‪ 𝐴 − 𝐵 .3‬هي مجموعة العناصر التي تنتمي إلى ‪ A‬وال تنتمي الى ‪B‬‬

‫حيث‪:‬‬
‫̅𝐵 ∩ 𝐴‬ ‫‪A‬‬ ‫‪B‬‬ ‫̅‬
‫𝐵 ∩ ‪A−𝐵= A‬‬
‫̅𝐵‬ ‫مثال‪:‬‬
‫}‪A={3,4,7,8‬‬
‫} ‪B ={ 2, 7 , 15‬‬
‫} ‪A-B= { 3, 4, 8‬‬
‫} ‪B-A = { 2, 15‬‬

‫المتمم‬ ‫𝐴 ‪𝐴̅ = 𝑈 −‬‬ ‫‪.4‬‬

‫المجموعة الكلية‬

‫̅𝐴‬ ‫‪A‬‬

‫محتوى مجاني غير مخصص للبيع التجاري‬ ‫‪1‬‬

 ‫الجبر العام| د‪ .‬شذا الخطيب‬

‫‪ .5‬قوانين ديمورغان‪:‬‬
‫̅̅̅̅̅̅̅̅̅̅‬
‫𝐴(‬ ‫▪ ̅𝐵 ∪ ̅𝐴 = )𝐵 ∩‬
‫̅̅̅̅̅̅̅̅̅̅‬
‫𝐴(‬ ‫▪ ̅𝐵 ∩ ̅𝐴 = )𝐵 ∪‬

‫‪ .6‬توزيع التقاطع على االجتماع‪:‬‬

‫)𝐶 ∩ 𝐴( ∪ )𝐵 ∩ 𝐴( = )𝐶 ∪ 𝐵( ∩ 𝐴‬

‫‪ .7‬توزيع االجتماع على التقاطع‪:‬‬

‫)𝐶 ∪ 𝐴( ∩ )𝐵 ∪ 𝐴( = )𝐶 ∩ 𝐵( ∪ 𝐴‬
‫مالحظة‪:‬‬
‫∅=∅∩𝐴‬
‫▪ 𝐴= 𝜙∪𝐴‬
‫▪ 𝐴= 𝑈∩𝐴‬
‫▪ 𝑈= 𝑈∪𝐴‬
‫‪ .8‬التقاطع واالجتماع عمليتان تبديليتان‪:‬‬

‫▪ 𝐴∪𝐵= 𝐵∪𝐴‬
‫▪ 𝐴∩𝐵= 𝐵∩𝐴‬

‫‪ .9‬التقاطع واالجتماع عمليتان تجميعيتان‪:‬‬

‫𝑪 ∩ 𝑩 ∩ 𝑨 = )𝑪 ∩ 𝑩( ∩ 𝑨‬ ‫▪‬
‫𝑪 ∪ 𝑩 ∪ 𝑨 = )𝑪 ∪ 𝑩( ∪ 𝑨‬ ‫▪‬

‫منطقياً‪ :‬إذا كان ‪ A‬محتواة في ‪B‬‬

‫‪ ‬اجتماع ‪ A‬و ‪ B‬هو ‪B‬‬
‫𝐵⊂𝐴‬ ‫𝐵= 𝐵∪𝐴‬

‫مالحظة‪:‬‬
‫▪ 𝑈 = ̅𝐴 ∪ 𝐴‬
‫▪ ∅ = ̅𝐴 ∩ 𝐴‬

‫محتوى مجاني غير مخصص للبيع التجاري‬ ‫‪2‬‬

‫‪/ITE.RBCs‬‬
 ‫الجبر العام| د‪ .‬شذا الخطيب‬

‫▪ تمرين‬
‫) 𝐴 ‪𝐴 ∩ (𝐵 −‬‬ ‫أوجد ناتج ما يلي أياً كان ‪:A,B‬‬
‫الحل‪:‬‬
‫̅𝐴 ∩ 𝐵 ∩ 𝐴 = )̅𝐴 ∩ 𝐵( ∩ 𝐴‬
‫∅ = 𝐵 ∩ ∅ = 𝐵 ∩ )̅‬
‫𝐴 ∩ 𝐴( =‬

‫تمرين‪ :‬أثبت صحة ما يلي ‪:‬‬ ‫▪‬

‫)𝐴 ‪(𝐴 ∪ 𝐵) − (𝐴 ∩ 𝐵) = (𝐴 − 𝐵) ∪ (𝐵 −‬‬
‫الحل‪:‬‬
‫̅̅̅̅̅̅̅̅̅̅‬
‫𝐴( ∩ )𝐵 ∪ 𝐴( = )𝐵 ∩ 𝐴( ‪𝐿1 = (𝐴 ∪ 𝐵) −‬‬ ‫)𝐵 ∩‬
‫بتطبيق قانون ديمورغان‬
‫)̅𝐵 ∪ ̅𝐴( ∩ )𝐵 ∪ 𝐴( =‬

‫بتوزيع التقاطع على االجتماع‪:‬‬

‫]̅𝐵 ∩ )𝐵 ∪ 𝐴([ ∪ ]̅𝐴 ∩ )𝐵 ∪ 𝐴([ =‬
‫])𝐵 ∩ ̅𝐵( ∪ )𝐴 ∩ ̅𝐵([ ∪ ])𝐵 ∩ ̅𝐴( ∪ )𝐴 ∩ ̅𝐴([ =‬
‫]∅ ∪ )𝐴 ∩ ̅𝐵([ ∪ ])𝐵 ∩ ̅𝐴( ∪ ∅[ =‬
‫)̅𝐵 ∩ 𝐴( ∪ )̅𝐴 ∩ 𝐵( =‬
‫‪= (𝐵 − 𝐴) ∪ (𝐴 − 𝐵) = (𝐴 − 𝐵) ∪ (𝐵 − 𝐴) = 𝐿2‬‬
‫بطريقة أخرى‪:‬‬
‫)𝐴 ‪𝐿2 = (𝐴 − 𝐵) ∪ (𝐵 −‬‬
‫)̅𝐴 ∩ 𝐵( ∪ )̅𝐵 ∩ 𝐴( =‬
‫])̅𝐴 ∩ 𝐵( ∪ ̅𝐵[ ∩ ])̅𝐴 ∩ 𝐵( ∪ 𝐴[ =‬
‫])̅𝐴 ∪ ̅𝐵( ∩ )𝐵 ∪ ̅𝐵([ ∪ ])̅𝐴 ∪ 𝐴( ∩ )𝐵 ∪ 𝐴([ =‬
‫𝐴( ∩ 𝑈[ ∩ ]𝑈 ∩ )𝐵 ∪ 𝐴([ =‬ ‫̅̅̅̅̅̅̅‬
‫])𝐵 ∩‬
‫̅̅̅̅̅̅̅̅̅̅‬
‫)𝐵 ∩ 𝐴( ∩ )𝐵 ∪ 𝐴( =‬
‫‪(𝐴 ∪ 𝐵) − (𝐴 ∩ 𝐵) = 𝐿1‬‬

‫جداول الحقيقة في المجموعات‬

‫ينتمي‬ ‫في حال ‪1‬‬

‫ال ينتمي‬ ‫‪0‬‬
‫يعني ‪ :‬نضع الرقم (‪ )1‬بمعنى ينتمي‬
‫ونضع الرقم (‪ )0‬بمعنى ال ينتمي‬

‫محتوى مجاني غير مخصص للبيع التجاري‬ ‫‪3‬‬

‫‪/ITE.RBCs‬‬
 ‫الجبر العام| د‪ .‬شذا الخطيب‬

‫▪ العنصر إذا انتمى للمجموعة ‪ A‬فممكن أن ينتمي الى المجموعة ‪ B‬وممكن ال‬
‫▪ العنصر اذا لم ينتمي للمجموعة ‪ A‬فممكن أن ينتمي الى المجموعة ‪ B‬وممكن ال‬
‫))يجب أن نراعي جميع الشروط ))‬

‫➢ يتحقق االجتماع 𝐵 ∪ 𝐴 إذا انتمى العنصر الى احدى المجموعتين 𝐵 ‪ 𝐴,‬أو كالهما‬
‫وال يتحقق إذا لم ينتمي الى أي من المجموعتين‬
‫➢ يتحقق التقاطع 𝐵 ∩ 𝐴 اذا انتمى العنصر الى كال المجموعتين وال يتحقق فيما عدا ذلك‬

‫‪A‬‬ ‫‪B‬‬ ‫𝑩∪𝑨‬ ‫𝑩∩𝑨‬ ‫)𝑩 ∩ 𝑨( ‪(𝑨𝑼𝑩) −‬‬ ‫𝑨‪𝑨−𝑩 𝑩−‬‬ ‫)𝑨 ‪(𝑨 − 𝑩) ∪ (𝑩 −‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬

‫➢ يتحقق )𝐵 ∩ 𝐴( ‪ (𝐴 ∪ 𝐵) −‬اذا انتمى العنصر الى )𝐵 ∪ 𝐴( ولم ينتمي الى )𝐵 ∩ 𝐴(‬

‫➢ يتحقق 𝐵 ‪ 𝐴 −‬اذا انتمى العنصر الى 𝐴 ولم ينتمي الى 𝐵‬
‫➢ يتحقق 𝐴 ‪ 𝐵 −‬اذا انتمى العنصر الى 𝐵 ولم ينتمي الى 𝐴‬
‫➢ يتحقق )𝐴 ‪ (𝐴 − 𝐵) ∪ (𝐵 −‬اذا انتمى العنصر الى احد المجموعتين )𝐵 ‪ (𝐴 −‬أو )𝐴 ‪(𝐵 −‬‬
‫بمقارنة العمود الخامس والسادس نجد صحة المطلوب‪.‬‬
‫مالحظة‪:‬‬
‫دائماً العنصر اذا انتمى الى العمود الخامس فهو ينتمي الى العمود الثامن والعكس صحيح‪.‬‬

‫بداية في جبر المنطق‬

‫القضية‪ :‬تعرف بأنها جملة صريحة اما صحيحة أو خاطئة لكن ليس كالهما معاً‬
‫أمثلة‪:‬‬
‫‪ ‬سابقاً كان االعتماد السائد أنه ال يمكن قياس سرعة الضوء‪ ،‬هي قضية صحيحة وقيمتها ‪.1‬‬
‫‪ ‬األرض هي الكوكب الوحيد في الفضاء الذي يحوي حياة‪ ،‬هي ال تعتبر قضية (ألن جوابها ليس معروف)‬
‫‪ 3𝑥 = 4 ‬هي ليست قضية ألنها تحتمل الصحة والخطأ‬
‫ولكي نجعلها قضية‪:‬‬
‫‪ ∃𝑥𝜖ℝ: 3𝑥 = 4‬قضية صحيحة قيمتها ‪1‬‬
‫‪ ∃𝑥𝜖ℤ: 3𝑥 = 4‬قضية خاطئة قيمتها ‪0‬‬

‫محتوى مجاني غير مخصص للبيع التجاري‬ ‫‪4‬‬

‫‪/ITE.RBCs‬‬
 ‫الجبر العام| د‪ .‬شذا الخطيب‬

‫تذكر ‪:‬‬

‫وهي التي تدلني على أن‬ ‫مكمم الشمول‬ ‫مهما يكن‪∀ :‬‬
‫القضية صحيحة أو خاطئة‬ ‫مكمم الوجود‬ ‫يوجد على األقل‪∋ :‬‬

‫تمرين‪:‬‬
‫اكتب باستخدام المكممات العبارات التالية على شكل قضايا وحدد صحتها‬ ‫▪‬
‫‪ :P‬لكل عدد طبيعي ‪ n‬يوجد عدد صحيح بحيث ‪n = 2m‬‬
‫𝑚‪𝑃: ∀𝑛 ∈ ℕ ; ∋ 𝑚 ∈ ℤ; 𝑛 = 2‬‬
‫نختبرها‪:‬‬
‫‪𝑛 = 4 ∈ ℕ: ∋ 𝑚 = 2 ; 4 = 2 × 2‬‬
‫𝑚 × ‪𝑛 = 5 ∈ ℕ ∶ ∃𝑚 ∈ ℕ: 5 = 2‬‬
‫‪ ‬قضية خاطئة قيمتها صفر ألنها غير محققة من أجل كل عدد طبيعي =‪.n‬‬

‫‪ :Q‬لكل عدد حقيقي ‪Y‬يوجد عدد حقيقي ‪ x‬بحيث ‪𝑥 2 − 𝑦𝜒 + 1‬‬

‫‪𝑄 = ∀𝑦 ∈ ℝ ; ∋ 𝑥 ∈ ℝ; 𝑥 2 − 𝑦𝑥 + 1 = 0‬‬
‫‪: Q‬قضية خاطئة‬
‫‪∃𝑦 = 1; ∀𝑥 ∈ ℝ ∶ 𝑥 2 − 𝑥 + 1 = 0‬‬
‫اذاً ال يوجد ‪ 𝑥 ∈ ℝ‬يحقق المعادلة فالقضية خاطئة ‪.‬‬

‫‪Live By The Principle Of helping‬‬

‫‪make you happy‬‬

‫محتوى مجاني غير مخصص للبيع التجاري‬ ‫‪5‬‬

‫‪/ITE.RBCs‬‬
 ‫الجبر العام| د‪ .‬شذا الخطيب‬

‫تصحيح أخطاء المحاضرات السابقة‪:‬‬

‫‪ ‬المحاضرة الثانية‪:‬‬
‫• الصفحة الرابعة‪:‬‬
‫الخطأ‪:‬‬
‫)‪(1 × 2) + (2 × 4) + (3 × 1‬‬ ‫)𝟐 × 𝟏( ‪(1 × 0) + (2 × (−3)) +‬‬ ‫)‪(1 × (−1)) + (2 × 1) + (3 × 0‬‬
‫[ = 𝐵 ‪𝐴.‬‬ ‫]‬
‫)‪(−2 × 2) + (0 × 4) + (4 × 1) (−2 × 0) + (0 × (−3)) + (4 × 2) (−2 × (−1)) + (0 × 1) + (4 × 0‬‬

‫التصحيح‪:‬‬
‫)‪(1 × 2) + (2 × 4) + (3 × 1‬‬ ‫)𝟐 × 𝟑( ‪(1 × 0) + (2 × (−3)) +‬‬ ‫)‪(1 × (−1)) + (2 × 1) + (3 × 0‬‬
‫[ = 𝐵 ‪𝐴.‬‬ ‫]‬
‫)‪(−2 × 2) + (0 × 4) + (4 × 1) (−2 × 0) + (0 × (−3)) + (4 × 2) (−2 × (−1)) + (0 × 1) + (4 × 0‬‬

‫• الصفحة الخامسة‪:‬‬
‫تعديل المالحظة بآخر الصفحة‪:‬‬
‫▪ مالحظة‪:‬‬
‫إذا كان 𝐵 ‪ 𝐴.‬معرّف و 𝑨 ‪ 𝑩.‬معرّف فإنه ليس بالضرورة أن يكون 𝐴 ‪ 𝐴. 𝐵 = 𝐵.‬و يكون عدد أعمدة‬
‫𝑩 يساوي عدد أسطر 𝑨 و عدد أعمدة 𝑨 يساوي عدد أسطر 𝑩‪.‬‬

‫‪ ‬المحاضرة الثالثة‪:‬‬
‫• الصفحة الثالثة‪:‬‬
‫فقرة المتمم الجبري‪:‬‬
‫الخطأ‪:‬‬
‫𝑗‪ (−1)𝑖+‬ويمز له ب 𝑗𝑖𝐴‬ ‫وهو عبارة عن صغير ذلك العنصر مضروباً ب‬
‫التصحيح‪:‬‬
‫𝑗‪ (−1)𝑖+‬ويرمز له ب 𝑗𝑖𝐴‬ ‫وهو عبارة عن صغير ذلك العنصر مضروباً ب‬
‫• الصفحة الرابعة‪:‬‬
‫التصحيح‪:‬‬ ‫الخطأ‪:‬‬
‫‪𝐴32 = (−1)3+2 . 𝑀32‬‬ ‫‪𝐴32 = (−1)3+2 . 𝑀32‬‬
‫‪1 −3‬‬ ‫‪1 −3‬‬
‫| ‪= (−1)5 .‬‬ ‫|‬ ‫| ‪= (−1)5 .‬‬ ‫|‬
‫‪−1 1‬‬ ‫‪−1 1‬‬
‫)‪= (−1). (1)(1) − (−1)(−3‬‬ ‫)‪= (−1). (1)(1) − (−1)(−3‬‬
‫𝟐=‬ ‫𝟒‪= −‬‬

‫…‪The End‬‬

‫محتوى مجاني غير مخصص للبيع التجاري‬ ‫‪6‬‬

‫‪/ITE.RBCs‬‬