问答题
已知公式(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的划分π。
问答题 已知公式(q→p)∧p是矛盾式,求公式(q→p)∧p∧r的成真赋值和成假赋值。
问答题 求下面公式的前束范式: