2.2.4 逻辑类型