三、类型的逻辑结构