计算题 试证明在格中对于任意元素a，b，c，d有（a∧b）∨（c∧d）≤（a∨c）∧（b∨d）。

试证明：A×B=B×AA=∅∨B=∅∨A=B。 点击查看答案

设个体域为整数集，下列公式中其真值为T的是哪几个？ （1）∀x∃y（x+y=0） （2）∃y∀x（x+y=0） （3）∀x∀y（x+y=0） （4）∃x∃y（x+y=0） 点击查看答案