揭示概念外延的逻辑方法是