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