逻辑学什么是划分