هو تجمع من القواعد المنطقية التي يعتمد عليها للحصول على أساليب صحيحة منطقيا للإنتقال من مفروض أو أكثر إلى المطلوب وتعتمد هذه القواعد على تحصيل حاصل أي الجمل الصحيحة منطقيا . وللاستنتاج المنطقي قوانين عدة تنقسم إلى قسمين هما:
القوانين التبسيطية :وهي تلك القوانين التي نستعملها للخروج باستنتاج من معطى واحد.
القوانين الاستدلالية هي تلك التي نستعملها للخروج باستنتاج من معطيين.