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

问答题 对于下列给定的集合A和B，构造从A到B的双射函数：A=Z，B=Z其中Z，N分别表示整数集和自然数集。

问答题 已知公式（p∧q）→p是重言式，求公式（（p∧q）→p）∨r的成真赋值和成假赋值。