TD: ترجمة إلى اللغة propositional وجداول الحقيقة – المنطق الرياضي

تقدم هذه السلسلة من التمارين الموجهة (TD) في مادة المنطق الرياضي للعام الجامعي 2023/2024 مجموعة شاملة من التمارين التي تهدف إلى تعزيز مهارات الطالب في التعامل مع اللغة propositional وجبر الاقتراحات. يبدأ التمرين الأول بترجمة جمل يومية إلى رموز propositional باستخدام المتغيرات p و q، مما يساعد على ربط اللغة الطبيعية بالتمثيل الرمزي. يتناول التمرين الثاني تقييم صحة_assertions propositional وتبرير صحتها أو كذبها بناءً على حقائق واقعية أو منطقية. يركز التمرين الثالث على مفهوم المساواة propositional والاستنتاجات التي يمكن استخلاصها منها. ثم يتحول التركيز إلى بناء أشجار التفكيك للصيغ المركبة، وهو مهارة أساسية لفهم بنية التعبيرات المنطقية. يلي ذلك تمارين جداول الحقيقة حيث يُطلب من الطالب حساب قيم الحقيقة للصيغ المختلفة وإثبات التكافؤ بين التعبيرات. بعد ذلك، يتم استكشاف التواليات والتناقضات من خلال جداول الحقيقة، مما يتيح للطالب التمييز بين الصيغ التي تكون دائمًا صحيحة أو دائمًا خاطئة. أخيراً، يتعمق الطالب في جبر الاقتراحات لإثبات أن بعض الصيغ هي تواليات أو تناقضات، وإظهار الاستدلالات المنطقية بين الصيغ باستخدام قوانين الجبر. بشكل عام، تُعد هذه السلسلة إعدادًا قويًا للمفاهيم الأساسية للمنطق التي تُعد ضرورية لمتابعة مساقات متقدمة في الرياضيات وعلوم الحاسوب.