البرنامج :
-المحور الأول: الحساب الكلاسيكي للقضايا
- القضايا غير المحللة
- دوال القضايا
- دوال الصدق
- الروابط القضوية
المحور الثاني جداول الصدق الكلاسيكية
- جداول الصدق المختصرة
- طريقة أشجار الصدق
- مفهوم التناقض المنطقي ، تحصيل الحاصل، الاحتمال
المحور 04 النسق المنطقي
- لغة النسق المنقي
- الأبجدية، القواعد الأولية، القضايا الأولية
- نسق برتراند رسل
- نسق يان لوكاشفيتش
-كيفية الانتقال من نسق إلى آخر
المحور 05 حساب القضايا المحللة
- حساب المحمولات
- عمليات حسابية على الفئات
- عمليات حسابية على العلاقات
- معلم: MEDKOUR Malika