(ক)
যে অবরোহ অনুমানে একটি মাত্র আশ্রয়বাক্য থেকে সিদ্ধান্ত অনুমিত হয়, তাকে অমাধ্যম অনুমান বলে।
(খ)
যে অবরোহ অনুমানে দুই বা ততোধিক আশ্রয়বাক্যের সাহায্যে সিদ্ধান্ত অনুমিত হয়, তাকে মাধ্যম অনুমান বলে। মাধ্যম অনুমানে সিদ্ধান্তটি সরাসরি কোনো একটি বাক্য থেকে আসে না, বরং আশ্রয়বাক্যগুলোর মধ্যে বিদ্যমান সম্পর্কের ভিত্তিতে অনুমিত হয়। এখানে একটি 'মাধ্যম পদ' (Middle Term) থাকে যা উভয় আশ্রয়বাক্যের মধ্যে সংযোগ স্থাপন করে। এই সংযোগের ফলে সিদ্ধান্তটি অনিবার্যভাবে নিঃসৃত হয়। যেমন- সহানুমানে প্রধান ও অপ্রধান আশ্রয়বাক্যের মধ্যে মাধ্যম পদের মাধ্যমে যে সম্পর্ক তৈরি হয়, তার ভিত্তিতেই সিদ্ধান্তটি অনিবার্যভাবে পাওয়া যায়। তাই মাধ্যম অনুমানে আশ্রয়বাক্য ও সিদ্ধান্তের মধ্যে এক ধরনের অনিবার্য সম্পর্ক বিদ্যমান থাকে।
(গ)
উদ্দীপকের 'উদাহরণ-২' অমাধ্যম অনুমানের 'প্রতিবর্তন' (Obversion) প্রক্রিয়াকে নির্দেশ করে।
প্রতিবর্তনের নিয়ম হলো: আশ্রয়বাক্যের গুণ পরিবর্তন করতে হবে এবং বিধেয় পদের পরিবর্তে তার বিপরীত বা বিরুদ্ধ পদ বসাতে হবে।
উদ্দীপকের উদাহরণ-২-এর যুক্তিটি হলো:
কোনো $X$ নয় $Y$
$ herefore$ সকল $X$ হয় $Y$
এখানে আশ্রয়বাক্যটি একটি বিশেষ নেতিবাচক বাক্য। প্রতিবর্তনের নিয়মানুযায়ী, এর গুণ পরিবর্তিত হয়ে 'সকল $X$ হয়' হবে এবং বিধেয় পদ $Y$-এর পরিবর্তে তার বিরুদ্ধ পদ 'অ-$Y$' বসবে। ফলে সঠিক সিদ্ধান্তটি হওয়া উচিত ছিল 'সকল $X$ হয় অ-$Y$'। যদিও উদ্দীপকে সিদ্ধান্তটি 'সকল $X$ হয় $Y$' লেখা হয়েছে, তবে এটি প্রতিবর্তনের প্রক্রিয়াটিই নির্দেশ করতে চেয়েছে। সুতরাং, উদাহরণ-২-এর মাধ্যমে অমাধ্যম অনুমানের প্রতিবর্তন প্রকাশিত হয়েছে।
(ঘ)
উদ্দীপকের উদাহরণ-১-এর মাধ্যমে অমাধ্যম অনুমানের 'আবর্তন' (Conversion) এবং উদাহরণ-২-এর মাধ্যমে 'প্রতিবর্তন' (Obversion) প্রকাশিত হয়েছে। নিচে এই দুই প্রকার অমাধ্যম অনুমানের সম্পর্ক বিশ্লেষণ করা হলো:
আবর্তন ও প্রতিবর্তন উভয়ই অমাধ্যম অনুমানের প্রকারভেদ, কারণ উভয় ক্ষেত্রেই একটি মাত্র আশ্রয়বাক্য থেকে সিদ্ধান্ত অনুমিত হয়। তবে এদের প্রক্রিয়ার মধ্যে মৌলিক পার্থক্য রয়েছে।
আবর্তনে আশ্রয়বাক্যের উদ্দেশ্য ও বিধেয় পদের স্থান ন্যায়সংগতভাবে পরিবর্তন করা হয়। উদাহরণ-১-এ 'সকল $X$ হয় $Y$' থেকে 'সকল $Y$ হয় $X$' লেখার মাধ্যমে আবর্তনের চেষ্টা করা হয়েছে (যদিও যৌক্তিকভাবে সঠিক আবর্তন হবে 'কিছু $Y$ হয় $X$')।
অন্যদিকে, প্রতিবর্তনে পদের স্থান পরিবর্তন হয় না, বরং আশ্রয়বাক্যের গুণের পরিবর্তন করা হয় এবং বিধেয় পদের পরিবর্তে তার বিরুদ্ধ পদ বসানো হয়। উদাহরণ-২-এ 'কোনো $X$ নয় $Y$' থেকে 'সকল $X$ হয় $Y$' লেখার মাধ্যমে প্রতিবর্তনের চেষ্টা করা হয়েছে (যদিও যৌক্তিকভাবে সঠিক প্রতিবর্তন হবে 'সকল $X$ হয় অ-$Y$')।
সুতরাং, আবর্তন ও প্রতিবর্তনের মূল সম্পর্ক হলো, আবর্তন পদের স্থান পরিবর্তনের ওপর ভিত্তি করে চলে এবং প্রতিবর্তন গুণের পরিবর্তন ও বিরুদ্ধ পদের ব্যবহারের ওপর ভিত্তি করে চলে। তবে উভয়ই একটি মাত্র আশ্রয়বাক্য থেকে সিদ্ধান্ত প্রাপ্তির মাধ্যম হিসেবে ব্যবহৃত হয়।