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