问答题
已知ㄱ(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的成真赋值和成假赋值。
问答题 设A=∣1,2,3∣,R为A×A上的等价关系,且<<a,b>,<c,d>>∈R当且仅当ab=cd,设I为A×A上的恒等关系,求R-1,求R对应的A×A的划分π。