القسم العام التبرير الاستنتاجي يستعمل حقائق و قواعد و تعاریف و خصائص للوصول إلى نتائج منطقية من عبارات معطاه