uo;x∈a∪b”。这就是逻辑运算与集合运算的对应与转换关系。进一步地，永真式（重言式）1表示x∈e、永假式（矛盾式）0表示“x∈φ”，那么从命题逻辑的一些基本等值式就能直接推导出集合论中的一些基本恒等式（如结合律、交换律、分配律、德&m
(20/22)
下页
上页
返回列表
返回