csm InfosyPlus 操作指南

138
进行逻辑定义
在“逻辑符号备选区”1 中选择逻辑符号“同……”，“第一”，“最后”，“范围 从
/至”，“……之前”等进行逻辑定义，逻辑定义会显示在4 “逻辑符号定义显示区”中。
进行周天筛选
通过勾选周天筛选框中各个周天前面的复选框选择所关注的周天。该选择会与用户
进行的逻辑定义进行相交，得到其交集。
进行日期组筛选
通过勾选日期组筛选框中各个日期组前面的复选框来进行该逻辑日期中对该日期组
日期成员的排除与相交。

点击一次日期组前面的复选框，会进行该日期组与逻辑日期定义的交集

点击两次日期组前面的复选框，会在日期组后面标注反选，则此时逻辑日期定义会
与日期组的补集进行交集

点击三次日期组前面的复选框，则此时逻辑定义不受日期组日期成员的影响
具体日期组的建立和编辑会在下一节给出。
具体日期显示
通过逻辑符号的选择，周天、日期组的筛选，则最后得到的日期范围会在5 “日期成
份具体日期范围显示区”中显示，使用户更加清晰的了解逻辑日期对应的具体日期。
完成新建
当用户点击和，会完成逻辑日期的建立。
小贴示——集合的分类
并集：以属于A 或属于B 的元素为元素的集合称为A 与B 的并（集），记作A∪B
（或B∪A），读作“A 并B”（或“B 并A”），即A∪B={x|x∈A,或x∈B}
交集： 以属于A 且属于B 的元素为元素的集合称为A 与B 的交（集），记作A∩B
（或B∩A），读作“A 交B”（或“B 交A”），即A∩B={x|x∈A,且x∈B}
补集： 属于全集U 不属于集合A 的元素组成的集合称为集合A 的补集，记作CuA，
即CuA={x|x∈U,且x 不属于A}

ETC注销；ETC充值；ETC客服；ETC扣费查询；

ETC发行合作