(ক) যে মাধ্যম অবরোহ অনুমানে দুটি আশ্রয়বাক্য থেকে একটি সিদ্ধান্ত অনিবার্যভাবে অনুমিত হয়, তাকে সহানুমান বলে। (খ) যে অবরোহ অনুমানে একাধিক আশ্রয়বাক্যের মাধ্যমে সিদ্ধান্ত অনুমিত হয়, তাকে মাধ্যম অনুমান বলে। সহানুমানে দুটি আশ্রয়বাক্যের সম্পর্কের ভিত্তিতে সিদ্ধান্ত অনুমিত হয়, তাই সহানুমানকে মাধ্যম অনুমান বলা হয়। (গ) উদ্দীপকে 'পাখি' পদটি সহানুমানের মধ্যপদকে নির্দেশ করে। সহানুমানের যে পদটি উভয় আশ্রয়বাক্যে থাকে কিন্তু সিদ্ধান্তে থাকে না, তাকে মধ্যপদ বলে। উদ্দীপকের যুক্তিটিতে 'পাখি' পদটি প্রথম ও দ্বিতীয় উভয় আশ্রয়বাক্যেই বিদ্যমান, কিন্তু সিদ্ধান্তে অনুপস্থিত। তাই 'পাখি' পদটি এখানে মধ্যপদ। মধ্যপদ প্রধান পদ ও অপ্রধান পদের মধ্যে সম্পর্ক স্থাপন করে সিদ্ধান্তটি অনুমিত করতে সাহায্য করে। (ঘ) উদ্দীপকে উল্লিখিত যুক্তিটি একটি বৈধ সহানুমান। এর বৈধতা বিশ্লেষণ নিচে দেওয়া হলো: প্রদত্ত যুক্তিটি হলো: সকল পাখি হয় দ্বিপদ। সকল কাক হয় পাখি। $\therefore$ সকল কাক হয় দ্বিপদ। যুক্তিটির বৈধতার শর্তসমূহ নিম্নরূপ: ১. পদের সংখ্যা: এখানে তিনটি পদ রয়েছে, 'কাক', 'পাখি' এবং 'দ্বিপদ'। সুতরাং পদের সংখ্যার নিয়মটি পালিত হয়েছে। ২. মধ্যপদের ব্যাপ্যতা: মধ্যপদ 'পাখি' প্রথম আশ্রয়বাক্যে (সকল পাখি হয় দ্বিপদ) ব্যাপ্য হয়েছে। সুতরাং মধ্যপদের ব্যাপ্যতার নিয়মটি পালিত হয়েছে। ৩. ব্যাপ্যতার নিয়ম: আশ্রয়বাক্যে অব্যাপ্য পদ সিদ্ধান্তে ব্যাপ্য হয়নি। এখানে 'দ্বিপদ' পদটি আশ্রয়বাক্যে অব্যাপ্য এবং সিদ্ধান্তেও অব্যাপ্য। ৪. যুক্তিবাক্যের গুণ: এখানে দুটি আশ্রয়বাক্যই ইতিবাচক (Affirmative) এবং সিদ্ধান্তটিও ইতিবাচক। যেহেতু সহানুমানের সকল নিয়ম যথাযথভাবে অনুসরণ করা হয়েছে, তাই উদ্দীপকের যুক্তিটি একটি বৈধ অনুমান।