مدونة التربية و التعليم في الجزائر – دروس، فروض، نتائج امتحانات مدونة التربية والتعليم في الجزائر | تحضير الدروس، فروض واختبارات، نتائج البكالوريا وBEM، مسابقات التوظيف، والتوجيه المدرسي للطلاب وأولياء الأمور.
المنطق الرسمي: القضايا والاستدلال
المنطق الرسمي (Formal Logic) هو فرع الفلسفة والرياضيات الذي يدرس مبادئ الاستدلال الصحيح. يهتم بتحليل بنية الحجج وتحديد صحتها بناءً على الشكل (Form) وليس المضمون (Content).
القضية والاستدلال
القضية (Proposition) جملة خبرية تحتمل الصدق أو الكذب. الاستدلال (Argument) مجموعة من القضايا إحداها نتيجة (Conclusion) والباقي مقدمات (Premises). استدلال استنباطي (Deductive) حيث النتيجة لازمة، واستدلال استقرائي (Inductive) حيث النتيجة محتملة.
المنطق القضوي (Propositional Logic)
الروابط المنطقية: النفي (¬)، العطف (∧)، الفصل (∨)، الشرطي (→)، الثنائي الشرطي (↔). جدول الحقيقة (Truth Table). التضميم المنطقي (Tautology): صادق دائما. التناقض (Contradiction): كاذب دائما.
المنطق المحمول (Predicate Logic)
يضيف المحمولات (Predicates) والمكممات (Quantifiers): ∀ سور عام (كل)، ∃ سور وجودي (يوجد). أمثلة: ∀x (إنسان(x) → فانٍ(x)). يستخدم في الذكاء الاصطناعي وتمثيل المعرفة.
المغالطات المنطقية (Logical Fallacies)
أخطاء في الاستدلال: مغالطة رجل القش (تحريف حجة الخصم)، الاحتكام إلى السلطة (استخدام رأي غير مختص)، المنحدر الزلق (سلسلة كارثية مفترضة)، التعميم المتسرع، الاحتكام للعاطفة.