نظرية المجموعات في المنطق الرياضي

نظرية المجموعات (Set Theory) هي فرع أساسي من الرياضيات يدرس المجموعات التي هي تجمعات من الأشياء المحددة. تعتبر نظرية المجموعات حجر الأساس لكل فروع الرياضيات الحديثة، حيث يمكن تعريف المفاهيم الرياضية المختلفة بدلالة المجموعات.

المفاهيم الأساسية

المجموعة: تجمع من العناصر المحددة. نكتب A = {1, 2, 3}.
الانتماء: نقول a ∈ A إذا كان a عنصراً في المجموعة A.
المجموعة الجزئية: B ⊆ A إذا كان كل عنصر من B ينتمي إلى A.
المجموعة الخالية: ∅ هي المجموعة التي لا تحتوي على أي عنصر.

العمليات على المجموعات

الاتحاد: A ∪ B = {x | x ∈ A أو x ∈ B}
التقاطع: A ∩ B = {x | x ∈ A و x ∈ B}
الفرق: A – B = {x | x ∈ A و x ∉ B}
المتمم: Aᶜ = {x ∈ U | x ∉ A} حيث U هي المجموعة الشاملة.

قوانين الجبر البوليسي

تخضع عمليات المجموعات لقوانين مشابهة للجبر: قانون التبادل، التجميع، التوزيع، وقوانين دي مورغان: (A ∪ B)ᶜ = Aᶜ ∩ Bᶜ و (A ∩ B)ᶜ = Aᶜ ∪ Bᶜ. راجعوا درس البوابات المنطقية والجبر البولياني لتطبيقات هذه المفاهيم في علوم الحاسوب.

تطبيقات نظرية المجموعات

تستخدم في قواعد البيانات، نظرية الاحتمالات، التحليل الرياضي، وعلوم الحاسوب. مفهوم العلاقات والدوال يبني على نظرية المجموعات.

📍 دروس مشابهة:

نظرية المجموعات في المنطق الرياضي