逻辑学的定义有几种类