本期介绍用逻辑符号“⊆”和“⊂”来判断两个列表(集合)是否具有包含关系。 图1 上图1中,创建列表A和列表B后,在输入框和运算区第一行输入“B⊆A”,得到逻辑判断“true”,说明列表(集合)B是列表(集合)A的子集。 在运算区第二行输入“B⊂A”,得到逻辑判断“true”,说明列表(集合)B是列表(集合)A的真子集。 在运算区第三行输入“A⊆B”,得到逻辑判断“false”,说明列表(集合)A不是列表(集合)B的子集。 图2 上图2与图1相比,只是列表B中的元素顺序与图1中不同,从图2第四行看出这是两个不同的列表,关于子集和真子集的判断,得到的结论与图1完全相同,这说明“⊆”和“⊂”的逻辑判断与列表中元素顺序无关,从这一点看,列表之间包含关系的判断类同于集合包含关系的判断。 图3 上图3说明对于文本作为元素的列表,同样可以进行“⊆”和“⊂”的逻辑判断,其中列表D={{5}}。 注意本期中的符号“⊆”和“⊂”都是通过软键盘输入的。 数学观赏 |
|
来自: 心灵栖息的家园 > 《geogebra》