تطبيق تقنيات المنطق في تحليل الحجج وحل المشكلات.