西安交通大学---离散数学 - 自考题库

出自:西安交通大学---离散数学

（P（Q∧RQ）是一个合式命题公式，其中P、Q、R是命题变元

若A：张明和李红都是三好学生，则A：张明和李红都不是三好学生。

﹁xA(x) x﹁A(x)

xA(x)→xB(x) 的前束范式为 x(﹁A(x)∨B(x))

设A, B, C是集合，若A∪B = A∪C, 则B=C。

设A是集合，则A A =。

设A, B是集合，若A- B = B- A, 则A=B。

若R 和S是集合A上的两个等价关系，则R∪S也是A上的等价关系。

任何代数系统都存在子代数。

2n元格都是布尔格。

整数集Z关于整除关系“|”是格。

首页 <上一页 1 2 下一页> 尾页