एक तर्क जहाँ हम कुछ विशेष कथनों से शुरू करते हैं और एक सर्वव्यापी  कथन का निष्कर्ष निकालते हैं, कहलाता है