设f：A→B，g：B→C。若f，g都是满射，则g°f不是满射。（）

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

判断题对任意的集合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）的主析取范式、主合取范式。