2.2.2 逻辑类型