问答题
已知（p→q）∧q∨（（q∨p）∧p）是矛盾式，试判断公式（p→q）∧q及（q∨p）∧p的类型。
问答题已知ㄱ（p→q）∧q∨（ㄱ（ㄱq∨p）∧p）是矛盾式，试判断公式ㄱ（p→q）∧q及ㄱ（ㄱq∨p）∧p的类型。
对于下列给定的集合A和B，构造从A到B的双射函数：A=Z，B=Z其中Z，N分别表示整数集和自然数集。
问答题对于下列给定的集合A和B，构造从A到B的双射函数：A=Z，B=Z其中Z，N分别表示整数集和自然数集。
已知公式（p∧q）→p是重言式，求公式（（p∧q）→p）∨r的成真赋值和成假赋值。
问答题已知公式（p∧q）→p是重言式，求公式（（p∧q）→p）∨r的成真赋值和成假赋值。
