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