जब आधारवाक्य निष्कर्ष के लिए निर्णायक आधार प्रदान करते हैं, तो वह तर्कण होता है

जब आधारवाक्य निष्कर्ष के लिए निर्णायक, अनिवार्य आधार देते हैं, तब वह तर्कण निगमनात्मक होता है।

यहाँ आधारवाक्यों का सत्य निष्कर्ष को अपरिहार्य बना देता है, केवल संभावित नहीं।

संबंध अनिवार्यता का है, इसलिए वैध निगमन में सत्य आधारवाक्य और असत्य निष्कर्ष साथ नहीं रह सकते।

इसके विपरीत आगमनात्मक तर्कण केवल संभावित समर्थन देता है।

आधारवाक्यों द्वारा निष्कर्ष की यही प्रत्याभूति निगमन की पहचान है।