简答题

设个体域为整数集，下列公式中其真值为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）

试证明在格中若a≤b≤c，证明： a∨b=b∧c；（a∧b）∨（b∧c）=（a∨b）∧（b∨c） 点击查看答案

设A、B、C和D是任意集合，试证明：（A∩B）×（C∩D）=（A×C）∩（B×D）。 点击查看答案