共用题干题

设代数系统V=的运算表如表所示

求出o运算的单位元和零元（如果存在）

说明o运算是否满足交换律、结合律、幂等律。

问答题说明o运算是否满足交换律、结合律、幂等律。

对于下列给定的集合A和B，构造从A到B的双射函数：A=[π，2π]，B=[-1，1]是实数区间。

问答题对于下列给定的集合A和B，构造从A到B的双射函数：A=[π，2π]，B=[-1，1]是实数区间。

已知（p→q）∧q∨（（q∨p）∧p）是矛盾式，试判断公式（p→q）∧q及（q∨p）∧p的类型。

问答题已知ㄱ（p→q）∧q∨（ㄱ（ㄱq∨p）∧p）是矛盾式，试判断公式ㄱ（p→q）∧q及ㄱ（ㄱq∨p）∧p的类型。