المنطق الرياضي: الاستدلالات وقواعد الاستنتاج – الرياضيات — السنة الأولى ثانوي (جذع مشترك علوم وتكنولوجيا) — المنهاج الجزائري

المنطق الرياضي: الاستدلالات وقواعد الاستنتاج

المنطق الرياضي يدرس مبادئ الاستدلال الصحيح. يهتم بتحليل القضايا والروابط المنطقية والاستدلالات. أساسي في البرمجة والذكاء الاصطناعي والرياضيات.

الاستدلالات (Inferences)

الاستدلال عملية الوصول لنتيجة من مقدمات. أنواعه: الاستدلال الاستنباطي (Deductive): من العام للخاص (النتيجة حتمية). الاستدلال الاستقرائي (Inductive): من الخاص للعام (النتيجة محتملة). الاستدلال التمثيلي (Analogical): من خاص لآخر مشابه.

قواعد الاستنباط الأساسية

Modus Ponens: إذا كان p→q صادقاً و p صادقاً، فإن q صادق. Modus Tollens: إذا كان p→q صادقاً و ~q صادقاً، فإن ~p صادق. القياس المنطقي (Syllogism): p→q, q→r إذن p→r.

المغالطات المنطقية (Fallacies)

• مغالطة رجل القش: تحريف موقف الخصم ليكون أسهل للهجوم.
• مغالطة المنحدر الزلق: القول بأن حدثاً سيؤدي حتماً لسلسلة من الأحداث السلبية.
• مغالطة التعميم المتسرع: استنتاج عام من أدلة غير كافية.
• مغالطة الاحتكام للسلطة: اعتبار القول صادقاً لأن شخصاً مهماً قاله.

تمارين

1. حدد نوع المغالطة في: “إذا سمحنا للطلاب باستخدام الآلات الحاسبة، سيتوقفون عن تعلم الرياضيات تماماً”.
2. طبق قاعدة Modus Ponens: p→q: إذا هطل المطر (p) فالشارع مبلل (q). هطل المطر. ماذا نستنتج؟
3. ما الفرق بين الاستنباط والاستقراء؟

خلاصة

المنطق أداة للتفكير السليم. فهم الاستدلالات الصحيحة والمغالطات يساعد في تحليل الحجج واتخاذ قرارات أفضل وتجنب التضليل.