অবরোহ অনুমানের আশ্রয়বাক্য সার্বিক যুক্তিবাক্য এবং সিদ্ধান্ত বিশেষ যুক্তিবাক্য হওয়ায় সিদ্ধান্ত আশ্রয়বাক্যের তুলনায় কম ব্যাপক হয়। যে অনুমান প্রক্রিয়ায় এক বা একাধিক আশ্রয়বাক্য থেকে তার চেয়ে অপেক্ষাকৃত কম ব্যাপক কোনো সিদ্ধান্ত অনুমিত হয় তাকে অবরোহ অনুমান বলে। যেমন- সকল গোলাপ হয় লাল। অতএব, কিছু লাল ফুল হয় গোলাপ। এ যুক্তিটিতে আশ্রয়বাক্যটি একটি সার্বিক যুক্তিবাক্য কিন্তু সিদ্ধান্তটি একটি বিশেষ যুক্তিবাক্য। তাই সিদ্ধান্তটি আশ্রয়বাক্যের তুলনায় কম ব্যাপক ।