অবরোহ অনুমান (Deductive Inference) :যে অনুমান প্রক্রিয়ায় সিদ্ধান্তটি এক বা একাধিক আশ্রয় বাক্য থেকে অনিবার্যভাবে
অমাধ্যম অনুমান (Immediate Inference): যে অবরোহ অনুমানের ক্ষেত্রে কেবল একটা আশ্রয়বাক্য থেকে অনিবার্যভাবে সিদ্ধান্ত অনুমিত
অবরোহ অনুমান (Deductive Inference) :যে অনুমান প্রক্রিয়ায় সিদ্ধান্তটি এক বা একাধিক আশ্রয় বাক্য থেকে অনিবার্যভাবে
অমাধ্যম অনুমান (Immediate Inference): যে অবরোহ অনুমানের ক্ষেত্রে কেবল একটা আশ্রয়বাক্য থেকে অনিবার্যভাবে সিদ্ধান্ত অনুমিত