(ক) যে অবরোহ অনুমানে সিদ্ধান্তটি পরস্পর সংযুক্ত দুটি আশ্রয়বাক্য থেকে অনিবার্যভাবে নিঃসৃত হয়, তাকে সহানুমান বলে। (খ) যে পদটি সিদ্ধান্তে থাকে না, কেবল আশ্রয়বাক্যে থাকে তাকে মধ্যপদ বলে। সহানুমানে মধ্যপদের ভূমিকা অত্যন্ত গুরুত্বপূর্ণ। কারণ মধ্যপদটি প্রধান পদ ও অপ্রধান পদের মধ্যে সেতুবন্ধন হিসেবে কাজ করে। আশ্রয়বাক্য দুটিতে মধ্যপদের সাথে প্রধান ও অপ্রধান পদের যে সম্পর্ক স্থাপিত হয়, তার ওপর ভিত্তি করেই সিদ্ধান্তে প্রধান ও অপ্রধান পদের মধ্যে সম্পর্ক প্রতিষ্ঠিত হয়। মধ্যপদ ব্যতীত প্রধান ও অপ্রধান পদের মধ্যে এই সম্বন্ধ স্থাপন করা সম্ভব নয়, ফলে সিদ্ধান্ত প্রতিষ্ঠা করা যায় না। সুতরাং সহানুমান গঠন প্রক্রিয়ায় মধ্যপদের ভূমিকা অপরিহার্য। (গ) যুক্তি-১ এ নির্দেশিত যুক্তিটি একটি সহানুমান। যে অবরোহ অনুমানে সিদ্ধান্তটি দুটি পরস্পর সম্বন্ধযুক্ত আশ্রয়বাক্য থেকে অনিবার্যভাবে নিঃসৃত হয়, তাকে সহানুমান বলে। উদ্দীপকের যুক্তি-১ এর গঠনটি লক্ষ্য করি: আশ্রয়বাক্য-১: সকল পাখি হয় দ্বিপদ। আশ্রয়বাক্য-২: সকল কাক হয় পাখি। সিদ্ধান্ত: সুতরাং, সকল কাক হয় দ্বিপদ। এখানে 'পাখি' শব্দটি মধ্যপদ হিসেবে দুটি আশ্রয়বাক্যকে সংযুক্ত করেছে। সিদ্ধান্তটি ('সকল কাক হয় দ্বিপদ') আশ্রয়বাক্য দুটি থেকে যুক্তভাবে ও অনিবার্যভাবে নিঃসৃত হয়েছে। এছাড়া সিদ্ধান্তটি কোনো আশ্রয়বাক্য থেকেই বেশি ব্যাপক নয়। সুতরাং, যুক্তি-১ সহানুমানের একটি বৈধ উদাহরণ। (ঘ) যুক্তি-১ ও যুক্তি-২ এর মধ্যে প্রকৃতিগত পার্থক্য বিদ্যমান। সহানুমানে আশ্রয়বাক্যগুলোর গুণের ওপর ভিত্তি করে সিদ্ধান্তের গুণ নির্ধারিত হয়। নিয়ম অনুযায়ী, দুটি আশ্রয়বাক্যই সদর্থক হলে সিদ্ধান্ত সদর্থক হয়; আর আশ্রয়বাক্য দুটির মধ্যে একটি নঞর্থক হলে সিদ্ধান্ত অবশ্যই নঞর্থক হবে। উদ্দীপকের যুক্তি-১ এ দেখা যায়, উভয় আশ্রয়বাক্যই সদর্থক (A-বাক্য)। আশ্রয়বাক্য-১: সকল পাখি হয় দ্বিপদ। আশ্রয়বাক্য-২: সকল কাক হয় পাখি। সিদ্ধান্ত: সুতরাং, সকল কাক হয় দ্বিপদ। এখানে দুটি সদর্থক আশ্রয়বাক্য থেকে একটি সদর্থক সিদ্ধান্ত নিঃসৃত হয়েছে। অপরপক্ষে, যুক্তি-২ এ আশ্রয়বাক্য দুটির মধ্যে একটি নঞর্থক (E-বাক্য) এবং একটি সদর্থক (A-বাক্য)। আশ্রয়বাক্য-১: কোনো মানুষ নয় অমর। আশ্রয়বাক্য-২: সকল ছাত্র হয় মানুষ। সিদ্ধান্ত: অতএব, কোনো ছাত্র নয় অমর। সহানুমানের নিয়ম অনুযায়ী, একটি আশ্রয়বাক্য নঞর্থক হওয়ায় সিদ্ধান্তটিও নঞর্থক হয়েছে। পরিশেষে বলা যায়, যুক্তি-১ এবং যুক্তি-২ উভয়ই সহানুমান হলেও তাদের আশ্রয়বাক্য ও সিদ্ধান্তের গুণের ভিন্নতার কারণে তাদের মধ্যে প্রকৃতিগত পার্থক্য বিদ্যমান।