TD Série 2: Logique propositionnelle – Mathématiques

يقدم هذا المستند مجموعة من التمارين الإضافية في مجال логика propositionsية، وهو الجزء الثاني من السلسلة المكملة للدروس النظرية. يتناول التمرين الأول تحويل الجمل اليومية إلى رموز منطقية باستخدام المتغيرات p، q، r، s، t وتعبيرات الشرطية، النفي، والتكافؤ. يهدف إلى تدريب الطالب على قراءة وفهم الصيغ المنطقية وتحويلها إلى لغة طبيعية والعكس. أما التمرين الثاني فيعرض سيناريو واقعي يتعلق بالطالب Brahim ومواقفه (الامتحان، الطقس، الذهاب إلى المسبح، الاكتئاب) ويطلب من الطالب ترجمة خمس جمل إلى لغة propositionsية ثم إظهار أن الاستنتاج 'Brahim سيكون depressed' يتبع منطقياً من الفرضيات باستخدام قواعد الاستدلال مثل التعديل، الاستنتاج الشرطي، أو الاستنتاج بالتناقض، دون اللجوء إلى جدول الحقيقة. таким образом، يعزز المستند مهارات التحليل المنطقي، الاستنتاج الاستدلالي، والقدرة على بناء براهين رسمية، وهي مهارات أساسية في مساقات الرياضيات، علوم الحاسوب، والفلسفة. في الختام، يُظهر التمرين كيف يمكن للمنطق propositionي أن يكون أداة قوية لنمذجة المواقف اليومية واتخاذ قرارات مبنية على استنتاجات صحيحة.