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