عناصر المنطق[ جملةالجملة في مجموعة حروف ورموز لها معنى, مثال:
من الممكن دراسة هذه العبارات من وجهات نظر مختلفة, مثلا المتغيرات تأخد
قيما متعددة نرمز لها عادة بـ" X "، أو " س " بالعربية. كما يمكن دراسة
صحة أو خطأ العبارة.
[عدل] عبارةتصبح إذا أمكن معرفة صحة أو خطأ العبارة نسمي عبارة كل نص رياضي له معنى
ويكون إما صحيحاو إما خاطئا أما الدالة العبرية (خاصية لمتغير) فهي كل نص
رياضي له معنى ويحتوي على متغير ويصبح عبارة كلما عوضنا المتغير بقيمة
معينة
جًمل منطقية [الجمل الفعلية مفيدة] يمكن الحكم عليها بالصح أوالخطأ وليس
كليهما القضية المنطقية { تعريف} هي جملة خبرية مفيدة يحتمل معناها الصواب
أو الخطأ وليس كليهما من أمثلة الجمل التي تكون قضايا 1) 2+3=7 2) صنعاء
عاصمة اليمن 3) مجموع زوايا المثلث 180 ْ ملاحظة : ليس من الضروري أن تكون
الجملة صحيحة جًمل ليست منطقية [الجمل الاسمية] والتي لا يمكن الحكم عليها
بالصح أوالخطأ من أمثلة الجمل التي لا تكون قضايا الجمل التي تيدأ أستفهام –
سؤال – تعجب – نداء – طلب... بصورة عامة كل الجمل التي لا يمكن الحكم
عليها بالصح أوالخطأ مثل : 1) ما أجمل السماء ! 2) كم الساعة ؟
[عدل] النفينفي العبارة P هي عبارة صحيحة إذا كانت P خاطئة, وخاطئة إذا كانت P صحيحة. ونرمز لنفي P ب
.
جدول الحقيقة| P | |
| 0 | 1 |
| 1 | 0 |
[عدل] العطفعطف العبارتين p و Q تكون صحيحة فقط إذا كانت العبارتين معا صحيحتين. ونرمز له ب
جدول الحقيقة| P | Q | |
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
[عدل] الفصلفصل العبارتين p و Q تكون صحيحة فقط إذا كانت إحدى العبارتين صحيحة. ونرمز له ب
جدول الحقيقة| P | Q | |
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
[عدل] الاستلزامتكون العبارة P تستلزم Q، خاطئة فقط إذا كانت P صحيحة و Q خاطئة.
و نرمز لها ب:
وهي تكافئ العبارة:
.
جدول الحقيقة| P | Q | |
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
[عدل] التكافؤتكافؤ العبارتين
و
هو
, ونرمز له ب:
جدول الحقيقة| P | Q | |
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
[عدل] القوانين المنطقيةالقوانين المنطقية عبارة عن جمل مكونة من عدة عبارات مرتبطة فيما بينها
بروابط منطقية وتكون دائما صحيحة بغض النظر عن صحة أو خطأ العبارات المكونة
لها.
أمثلة:
المثالين الأخيرين, يعرفان بقوانين
ديمورجان [De Morgan's laws]
.[عدل] دوال العبارةالدالة العبارة, هي تطبيق من مجموعة قيم المتغيرات نحو مجموعة مكونة من العنصرين صحيح وخطأ.مثال:بالنسبة للعبارة: "x عدد صحيح طبيعي, x+3=10." نحصل على دالة من 
إلى 
بحيث:
[عدل] الكمومياتهناك نوعان وجودية وكونية.
- الوجودية تعني وجود عناصر تحقق عبارة ما, مثل يوجد x من بحيث:
نرمز للوجودية بالرمز
.
- الكونية تعني أن عبارة ما تكون دائما صحيحة مهما تغيرت قيمة المتغير, مثل كيما كانت قيمة x من
لدينا 
نرمز للكونية بالرمز
.
[ الكموميات والروابط المنطقيةعندما يكون هناك وجوديات, النفي يعبر عنه ب:
مع E مجموعة تتضمن الخاصية A.
[عدل] تطبيق على نظرية المجموعاتهناك علاقة بين نظرية المجموعات والمنطق.
[عدل] الاستلزام والتضمننسمي جزء A(أو مجموعة صغرى) لمجموعة E كل عناصر المجموعة A التي تنتمي إلى E.
و نكتب:
نقول أن المجموعة A ضمن المجموعة E, يكافئ أن كل عنصر x من A, يستلزم أن xينتمي إلى E. ==مجموعة الأجزاء== ويكتب المنطق ب7888
[عدل] مجموعة الأجزاءكل مجموعة لها عدة أجزاء, وهذه الأجزاء تكون
مجموعة الأجزاء.
[عدل] التساوي والتكافؤالمجموعة A تساوي المجموعة B, تكافئ لكل x من x :E من A يكافئ x من B.
[عدل] المتمم والنفيمتمم الجزء A, هو الجزء B الذي عناصره لا تنتمي إلى A.
علق حاتم على هذه فقال :
المتممة أمر نسبي
قبل أن نتكلم عن متممة مجموعة نحتاج إلى أن نتفق على ما يسمى " المجموعة الشاملة "
مثال
إذا كانت
المجموعة الشاملة = ش
ش = { 1 ،9، 5، 3، 2 }
أ = { 1، 9 }
متمم أ هو ب
ب = { 5، 3، 2 }
لا حظ عناصر ب لا تنتمي إلى أ
x ينتمي إلى A, يكافئ x لا ينتمي إلى B.
[عدل] التقاطع والعطفتقاطع المجموعتين A و B, هي مجموعة العناصر المشتركة C, التي نرمز لها ب:
.
x من C يكافئ: x من A و x من B.
[عدل] الاتحاد والفصلاتحاد المجموعتين A و B, هي المجموعة C التي عناصرها تنتمي إلى أحد المجموعتين, والتي نرمز لها ب:
.
x من C يكافئ: x من A أو x من B. =خاصيات عطف التقاطع والاتحاد في مجموعة الأجزاء=
[عدل] الفرقِA-B هي المجموعة التي تحوي كل العناصر التي تنتمي لـ A ولا تنتمي لـ B
[عدل] الفرق المتماثل[عدل] تطبيق في البرهنة الرياضيةبرهنة:
لكي نبرهن تساوي بين مجموعتين A و B يجب أن نبرهن لكل عنصر x:
x ينتمي لـ A إذا وفقط إذا x ينتمي لـ B في هذه الحالة علينا أن نبرهن:
برهان:
شرح الخطوات:
1و4- حسب تعريف التقاطع
2و5- حسب تعريف الإتحاد
3-
نبرهن:
بواسطة جداول الحقيقة التابعة لـ
و
جدول الحقيقة لـ 
 |  |  |  | |
| 0 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 1 | 1 |
| 0 | 0 | 1 | 1 | 0 |
| 1 | 0 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 0 |
| 1 | 1 | 1 | 1 | 1 |
جدول الحقيقة لـ 
| | |  |  | |
| 0 | 0 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 0 | 0 | 0 |
| 1 | 1 | 0 | 1 | 0 | 1 |
| 0 | 0 | 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 0 | 1 | 1 |
| 0 | 1 | 1 | 0 | 0 | 0 |
| 1 | 1 | 1 | 1 | 1 | 1 |
الجدولان متساويان لذلك العبارتان متكافئتان
الموقع
