逻辑是事物之间存在的相互关系西方逻辑可划分为（B）和归纳逻辑