定义是揭示概念内涵的逻辑方法