إذا / إذن — اختبار المنطق الشرطي
أتقن منطق الشروط (P → Q). 45 مشكلة عبر ثلاثة مستويات: يغطي المستوى الأساسي جدول الحقيقة لـ P→Q (الحقيقة الفارغة، الحالة الكاذبة الوحيدة)، الاستدلال الشرطي (Modus Ponens)، الاستدلال المنافي (Modus Tollens)، وسبب عدم صحة إثبات التالي وإنكار المقدم. يضيف المستوى المتوسط الاستلزام المعاكس، والمعكوس، والنقيض، والشرط الثنائي (P↔Q)، والمكافئ المتضمن (¬P∨Q)، والقياس الشرطي الافتراضي. يغطي المستوى المتقدم الشروط المتسلسلة، ونفي الشروط (¬(P→Q) = P∧¬Q)، والحقائق الثابتة (tautologies)، وتحليل القيم المعقدة، والحالات الاستثنائية.
كيف تلعب إذا / إذن
- 1
تعلم جدول الحقيقة
جدول الحقيقة في الردهة هو أساس كل شيء. P→Q خاطئ في حالة واحدة بالضبط: عندما يكون P صحيحًا و Q خاطئًا. في جميع الحالات الأخرى - بما في ذلك عندما يكون P خاطئًا - يكون الشرط صحيحًا. هذه 'الحقيقة الفارغة' (مقدم كاذب يجعل الشرط صحيحًا) هي المفهوم الأكثر مخالفة للحدس للمبتدئين.
- 2
تعرف على قواعد الاستدلال
الاستدلال الشرطي (Modus Ponens) (P→Q، P، ∴Q) والاستدلال المنافي (Modus Tollens) (P→Q، ¬Q، ∴¬P) صحيحان. إنكار المقدم (P→Q، ¬P، ∴¬Q) وإثبات التالي (P→Q، Q، ∴P) هما مغالطات غير صحيحة. يختبر مستوى الأساس جميع الأربعة.
- 3
أتقن الأشكال المتكافئة
يختبر المستوى المتوسط أربعة أشكال مرتبطة: الاستلزام المعاكس (¬Q→¬P، مكافئ للأصلي)، المعكوس (Q→P، غير مكافئ)، النقيض (¬P→¬Q، غير مكافئ)، والشرط الثنائي (P↔Q، صحيح فقط عندما تتطابق P و Q). أيضًا: P→Q ≡ ¬P∨Q هو المكافئ المتضمن.
- 4
تعامل مع الحالات المتقدمة
تستكشف الأسئلة المتقدمة: القياس الشرطي الافتراضي المتسلسل (A→B→C→D يعطي A→D)؛ ما الذي يمكننا تحديده إذا عُرف أن P→Q خاطئ (P=T، Q=F)؛ الحقائق الثابتة مثل (P→Q)∨(Q→P)؛ ونفي ¬(P→Q) = P∧¬Q. تغطي هذه المحتوى من دورات الرياضيات المنفصلة والمنطق الرسمي.
الميزات الرئيسية
45 مشكلة عبر 3 مستويات
أساسي (15): جدول الحقيقة الكامل لـ P→Q بجميع الصفوف الأربعة؛ تحديد الحالة الكاذبة الوحيدة (P=T، Q=F)؛ الاستدلال الشرطي (P→Q، P، ∴Q)؛ الاستدلال المنافي (P→Q، ¬Q، ∴¬P)؛ سبب عدم صحة إنكار المقدم وإثبات التالي؛ والحقيقة الفارغة (مقدم كاذب = دائمًا صحيح). متوسط (15): الاستلزام المعاكس (¬Q→¬P)، المعكوس (Q→P)، والنقيض (¬P→¬Q)؛ أي الأزواج متكافئة منطقيًا؛ الشرط الثنائي (P↔Q)؛ المكافئ المتضمن (P→Q ≡ ¬P∨Q)؛ نفي الشرط؛ والقياس الشرطي الافتراضي. متقدم (15): الشروط المتسلسلة؛ الحقائق الثابتة (tautologies)؛ معرفة أن P→Q خاطئ يجبر P=T و Q=F؛ دمج الشروط لإثبات الشروط الثنائية؛ تحديد Q من كل من P→Q و ¬P→Q؛ والمعنى المنطقي لـ P→P.
ردهة جدول الحقيقة التفاعلية
تعرض الردهة جدول الحقيقة الكامل لـ P→Q مع قيم حقيقة مرمزة بالألوان - شرائح خضراء لـ TRUE (صحيح)، وحمراء لـ FALSE (خاطئ) - وتسلط الضوء على الصف الوحيد الذي ينتج عنه FALSE. يعمل هذا كمرجع دائم ويعلم الآلية الأساسية قبل بدء الاختبار.
تلوين الاختيار الدلالي
البلاطات التي تقول TRUE (صحيح) ملونة باللون الأخضر، والبلاطات التي تقول FALSE (خاطئ) ملونة باللون الأحمر حتى قبل الاختيار، مما يطابق معناها الدلالي. يبني هذا الارتباط بين تسميات قيم الحقيقة ومعناها، بدلاً من معاملة جميع الخيارات على أنها متطابقة بصريًا.
تدوين المنطق بخط أحادي المسافة
تستخدم الأسئلة والتفسيرات تدوينًا منطقيًا قياسيًا: P→Q، ¬P، P∧Q، P∨Q، P↔Q، ∴. الخط أحادي المسافة يجعل الهيكل المنطقي قابلاً للمسح ويعكس كيفية ظهور الشروط في الرياضيات المنفصلة، وعلوم الكمبيوتر، وأقسام الاستدلال الرسمي في اختبار SAT/LSAT.
الأسئلة المتكررة
لماذا 'إذا كان كاذبًا، فإن أي شيء' صحيح؟
هذا يسمى الحقيقة الفارغة. الشرط 'إذا كان P، فإن Q' هو وعد: 'كلما حدث P، سيحدث Q.' إذا لم يحدث P أبدًا (P خاطئ)، فإن الوعد لا يتم اختباره أبدًا - والوعد الذي لم يتم اختباره لا يمكن كسره. لذا فإن الشرط صحيح تقنيًا. هذا يبدو غريبًا ولكنه منطقي ومتسق: المقدم الكاذب لا يمكن أن ينتهك الشرط أبدًا.
ما الفرق بين الاستلزام المعاكس، والمعكوس، والنقيض؟
الأصلي: إذا كان P، فإن Q (P→Q). الاستلزام المعاكس: إذا لم يكن Q، فإن لم يكن P (¬Q→¬P) - مكافئ للأصلي. المعكوس: إذا كان Q، فإن P (Q→P) - غير مكافئ. النقيض: إذا لم يكن P، فإن لم يكن Q (¬P→¬Q) - غير مكافئ (ولكنه مكافئ للمعكوس). حيلة للتذكر: الأصلي والاستلزام المعاكس متكافئان؛ المعكوس والنقيض متكافئان لبعضهما البعض.
ما هو الاستدلال الشرطي (Modus Ponens)؟
الاستدلال الشرطي ('إثبات المقدم'): P→Q، P، ∴Q. إذا كان الشرط صحيحًا وكان المقدم صحيحًا، فيجب أن يكون التالي صحيحًا. مثال: 'إذا أمطرت، أصبح الجو رطبًا. إنها تمطر. لذلك، أصبح الجو رطبًا.' هذا هو الشكل الأساسي والأكثر صحة عالميًا للاستدلال الاستنتاجي.
ما هو الاستدلال المنافي (Modus Tollens)؟
الاستدلال المنافي ('إنكار التالي'): P→Q، ¬Q، ∴¬P. إذا كان الشرط صحيحًا وكان التالي خاطئًا، فيجب أن يكون المقدم خاطئًا. مثال: 'إذا أمطرت، أصبح الجو رطبًا. الجو ليس رطبًا. لذلك، لم تمطر.' هذا صحيح لأن الشرط سينتهك (P=T، Q=F) إذا كان P صحيحًا.
لماذا 'إثبات التالي' غير صحيح؟
إثبات التالي: P→Q، Q، ∴P غير صحيح. حتى لو كان الشرط صحيحًا و Q صحيحًا، فقد يكون P خاطئًا - يمكن أن يكون Q قد تسبب فيه شيء آخر. مثال: 'إذا أمطرت، أصبح الجو رطبًا. الجو رطب. لذلك، أمطرت.' غير صحيح - يمكن أن يكون الجو رطبًا من رشاش. الشرط لا يقول أن المطر هو السبب الوحيد للرطوبة.
كيف يعمل تسجيل النقاط؟
تحصل الإجابات الصحيحة على 10 نقاط (أساسي)، 15 نقطة (متوسط)، أو 20 نقطة (متقدم). تضيف الإجابات الصحيحة المتتالية مكافأة لسلسلة من 5 نقاط لكل إجابة بعد الأولى. الإجابة الخاطئة تعيد السلسلة إلى الصفر.