निगमनात्मक तर्क तब होता है, जब कुछ परिसर दिए जाते हैं, और निष्कर्ष अपरिहार्य रूप से निहित होते हैं । अनुमान के नियमों का उपयोग निष्कर्ष निकालने के लिए किया जाता है जैसे, मॉडस पोनेंस ( विध्यात्मक हेतुफलानुमान ), जहां "ए" और "यदि ए तो बी" दिया गया है, तो "बी" का निष्कर्ष निकाला जाना चाहिए।