问答题
设代数系统V=的运算表如表所示
说明o运算是否满足交换律、结合律、幂等律。
问答题 对于下列给定的集合A和B,构造从A到B的双射函数:A=[π,2π],B=[-1,1]是实数区间。
问答题 已知(p→q)∧q∨((q∨p)∧p)是矛盾式,试判断公式(p→q)∧q及(q∨p)∧p的类型。
问答题 对于下列给定的集合A和B,构造从A到B的双射函数:A=Z,B=Z其中Z,N分别表示整数集和自然数集。