对任意的集合A，A包含A。（）

设个体域为D ={a1，a2}，求谓词公式∀y ∃xP （x ，y ）消去量词后的等值式。

问答题设个体域为D ={a₁，a₂}，求谓词公式∀y ∃xP （x ，y ）消去量词后的等值式。

求命题公式（P∨Q）→（R∨Q）的主析取范式、主合取范式。

问答题求命题公式（P∨Q）→（R∨Q）的主析取范式、主合取范式。

A={a，b，c}，B={1，2}，令a1=P（A），a2=A->B，构造一个a1到a2的双射函数，再构造一个...

问答题A={a，b，c}，B={1，2}，令a1=P（A），a2=A->B，构造一个a1到a2的双射函数，再构造一个a2到a1的双射函数。