TD 2 : منطق propositionnel – Logique Mathématique

هذا المستند يمثلSerie de TD Nº2 الخاصة بمODULE Logique Mathématique المقدمة من قسم المعلومات بجامعة فرحات عباس سétif 1 للعام الجامعي 2023/2024. يركز على دراسة المنطق propositional حيث يتناول الطلاب صياغة الجمل باللغة propositional، وإيجاد reciproque، contraposé، والنفي، بالإضافة إلى تبسيط نفي الصيغ المركبة. يتضمن التمرين بناء جداول الحقيقة للصيغ المعطاة وتصنيفها كtautologie، contradiction أو satisfiable، وتحليل الاستنتاج المنطقي بين المجموعات، وتحديد التكافؤ المنطقي والتناقض. كما يطلب من الطلاب إيجاد الأشكال الطبيعية disjunctive (FND) وconjunctive (FNC) للصيغ باستخدام جداول الحقيقة أو الجبر propositional، وإثبات tautologies بطريقة العبث، وتقييم صحة الاستدلالات باستخدام جداول الحقيقة. أخيراً، يتدرب الطلاب على تمثيل الجمل اليومية بالرموز propositional واستخراج العواقب المنطقية، وتعبير الصيغ باستخدام connective NOR فقط. يهدف هذا TD إلى ترسيخ المفاهيم الأساسية للمنطق الرمزي وتطوير مهارات الاستدلال الرسمي الضرورية لمتابعة مواد الرياضيات المتقدمة وعلوم الحاسوب.