دروس المنطق الرياضيالصف11 · العلمي · المنطق الرياضي
إذا… فإن: نبحث عن الحالة التي تكسر الوعد
نفحص الادعاء: «إذا فتحت القفل الأزرق، أستطيع فتح الباب». يكفي أن يفتح الأزرق ويبقى الباب مقفلًا لنكشف أن الشرط وحده لا يكفي.
ثلاث صور، وثلاث ملاحظات

الشرط لم يتحقق
p=F, q=F, p→q=T p · الأزرقq · الباب
p الأزرق مفتوح،q يمكن فتح الباب. هذه الحالة لا تكسر الادعاء لأن شرطه لم يحصل؛ لا تعني أن الباب مفتوح.
تحقق الشرط وفشلت النتيجة
p=T, q=F, p→q=F p · الأزرقq · الباب
فتح الأزرق لكن الذهبي ما زال مغلقًا. هذه هي الحالة التي تنقض الشرطية المعروضة.
الشرط والنتيجة متحققان
p=q=T,p→q=T p · الأزرقq · الباب
هذه حالة توافق الشرطية، لكنها لا تمحو المثال المخالف السابق؛ لإثبات القاعدة نحتاج فحص المجال كله.أتوقع وأجرب الحالات
ما الحالة التي تجعل «إذا p فإن q» خاطئة؟
جرّب الحالات الأربع لـp وq، ثم قارن الاستلزام والعكس والتكافؤ. راقب الحالة التي تخالف الوعد.
إذا p فإن q: صادقة
العكس: إذا q فإن p: صادقة
المعاكس الإيجابي: إذا ليس q فإن ليس p: صادقة
p إذا وفقط إذا q: صادقة
لم تتحقق حالة مقدمة صادقة ونتيجة خاطئة؛ هذا حكم الاستلزام المادي في الجدول.
قارنت 0 من 4 حالات
سجل الحالات التي قارنتها
| p | q | إذا p فإن q | العكس |
|---|
| خاطئة | خاطئة | جرّب | جرّب |
| خاطئة | صادقة | جرّب | جرّب |
| صادقة | خاطئة | جرّب | جرّب |
| صادقة | صادقة | جرّب | جرّب |
ليش حالة p صادقة وq خاطئة تخالف الشرط؟
الرموز تصف ما لاحظناه
p⇒q خاطئة فقط إذا كانت p صادقة وq خاطئة.
عندما تكون p خاطئة فالاستلزام المادي صادق في جدول الصواب؛ هذا حكم منطقي ولا يثبت علاقة سببية.
العكس q⇒p قد يختلف. المعاكس الإيجابي ¬q⇒¬p يكافئ الأصل.
p⇔q صادق عندما تتساوى قيمتا الصواب؛ وهو تحقق الاستلزام في الاتجاهين.
طالب قلب «إذا كان العدد يقبل القسمة على4 فهو زوجي» وحكم أن العكس صحيح. ما الخلل؟
ثلاثة أمثلة، مع سبب كل خطوة
حتى مع شرط خاطئ

الصورة تقرّب الفكرة؛ المثال يستخدم المعطيات التالية
p=F, q=T 
الصورة تقرّب الفكرة؛ المثال يستخدم المعطيات التالية- p=F, q=T
الشرط لم يتحقق، والنتيجة حصلت بسبب آخر أو معطيات أخرى.
- p→q=¬p∨q
الشرطية المادية هي نفي الشرط أو النتيجة.
- T∨T=T
الصدق هنا لا يثبت علاقة سببية؛ لم نجد شرطًا صحيحًا ونتيجة خاطئة.
الأصل غير العكس

الصورة تقرّب الفكرة؛ المثال يستخدم المعطيات التالية
p: n مضاعف 4, · q: n زوجي

الصورة تقرّب الفكرة؛ المثال يستخدم المعطيات التالية- p: n مضاعف 4, · q: n زوجي
على مجال الأعداد الصحيحة، الأصل p→q صحيح.
- n=6:q=T, p=F
6 زوجي لكنه ليس مضاعف4.
- q→p=F
العكس ليس نتيجة مضمونة من الأصل.
المعاكس الإيجابي يحفظ الحكم

الصورة تقرّب الفكرة؛ المثال يستخدم المعطيات التالية

الصورة تقرّب الفكرة؛ المثال يستخدم المعطيات التالية- p→q
إذا كان n مضاعف4 فهو زوجي.
- ¬q→¬p
إذا لم يكن زوجيًا فلا يمكن أن يكون مضاعف4.
- (p→q)≡(¬q→¬p)
هذه مكافئة للأصل؛ لا نخلطها بالعكس أو المعكوس.
خمسة تدريبات لفهم الحكم والسبب
اقرأ الخيارات كاملة، ثم حاول. عند الخطأ راجع المجال والشرط؛ لا تحفظ مكان الخيار.
التدريب 1

أستخدم الفكرة مع سؤال جديد؛ أنظر إلى المعطيات
من الأعداد4 و6 و9، كم عددا يخالف «إذا قبل القسمة على3 فإنه زوجي»؟

أستخدم الفكرة مع سؤال جديد؛ أنظر إلى المعطياتمن الأعداد4 و6 و9، كم عددا يخالف «إذا قبل القسمة على3 فإنه زوجي»؟
- الخيار 1: 1
- الخيار 2: 0
- الخيار 3: 2
- الخيار 4: 3
التدريب 2

أستخدم الفكرة مع سؤال جديد؛ أنظر إلى المعطيات
ليش حالة p صادقة وq خاطئة تخالف الشرط؟

أستخدم الفكرة مع سؤال جديد؛ أنظر إلى المعطياتليش حالة p صادقة وq خاطئة تخالف الشرط؟
- الخيار 1: لأن أي مقدمة خاطئة تنقض الشرط
- الخيار 2: تحققت المقدمة ولم تتحقق النتيجة التي تلزم عنها
- الخيار 3: لأن صحة النتيجة وحدها هي الخلل
التدريب 3

أستخدم الفكرة مع سؤال جديد؛ أنظر إلى المعطيات
متى تكون p⇔q صادقة؟ 
أستخدم الفكرة مع سؤال جديد؛ أنظر إلى المعطياتمتى تكون p⇔q صادقة؟ - الخيار 1: فقط عندما تكون p صادقة
- الخيار 2: عندما تختلف قيمتا الصواب
- الخيار 3: عندما تتساوى قيمتا صواب p وq
التدريب 4

أستخدم الفكرة مع سؤال جديد؛ أنظر إلى المعطيات
طالب قلب «إذا كان العدد يقبل القسمة على4 فهو زوجي» وحكم أن العكس صحيح. ما الخلل؟

أستخدم الفكرة مع سؤال جديد؛ أنظر إلى المعطياتطالب قلب «إذا كان العدد يقبل القسمة على4 فهو زوجي» وحكم أن العكس صحيح. ما الخلل؟
- الخيار 1: العدد2 زوجي لكنه لا يقبل القسمة على4
- الخيار 2: العكس صحيح لأن الأصل صحيح
- الخيار 3: كل عدد زوجي يقبل القسمة على4
التدريب 5

أستخدم الفكرة مع سؤال جديد؛ أنظر إلى المعطيات
لماذا9 مثال مضاد و4 ليس كذلك؟

أستخدم الفكرة مع سؤال جديد؛ أنظر إلى المعطياتلماذا9 مثال مضاد و4 ليس كذلك؟
- الخيار 1: 4 يخالف النتيجة فينقض الشرط
- الخيار 2: 9 يحقق المقدمة ويخالف النتيجة، بينما4 لا يحقق المقدمة
- الخيار 3: 9 لا يحقق المقدمة
أشرح الفكرة بكلماتي
هذا هو المثال المضاد للاستلزام؛ لم يعد تحقق المقدمة مصحوبًا بالنتيجة.