المنطق الصوري والقضايا المنطقية

المنطق الصوري والقضايا المنطقية

يُعتبر المنطق الصوري (Formal Logic) أحد فروع الفلسفة الأساسية، وهو دراسة مبادئ الاستدلال الصحيح. وضع أرسطو أسس المنطق الصوري في كتابه “الأورغانون”، ويعتبر تحليل القضايا المنطقية من أهم موضوعاته.

أنواع القضايا المنطقية

تنقسم القضايا في المنطق الأرسطي إلى أربعة أنواع حسب الكم والكيف:

• قضية كلية موجبة: كل س هو ص (مثال: كل إنسان فانٍ)
• قضية كلية سالبة: لا شيء من س هو ص (مثال: لا إنسان حجر)
• قضية جزئية موجبة: بعض س هو ص (مثال: بعض الطلاب مجتهدون)
• قضية جزئية سالبة: بعض س ليس ص (مثال: بعض الطلاب ليسوا مجتهدين)

القياس المنطقي

القياس المنطقي هو استدلال ينتقل من مقدمتين إلى نتيجة. مثال:
المقدمة الكبرى: كل إنسان فانٍ
المقدمة الصغرى: سقراط إنسان
النتيجة: إذاً سقراط فانٍ

جدول الصدق

في المنطق الرمزي الحديث، تستخدم جداول الصدق لتحديد صحة العبارات المركبة. العمليات الأساسية تشمل: العطف (∧)، الفصل (∨)، النفي (¬)، والاقتضاء (→).

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

📍 **دروس مشابهة:**
– [دروس الابتدائي — تعلم الوضوء والصلاة — السنة الأولى إبتدائي …](https://dz-onec.com/?p=99963)
– [مدونة التربية والتعليم](https://dz-onec.com)
– [الغذاء الصحي — السنة الأولى إبتدائي — المنهاج الجزائري](https://dz-onec.com/?p=122710)
– [دورة حياة الإنسان — السنة الأولى إبتدائي — المنهاج الجزائري](https://dz-onec.com/?p=122711)