问答题设个体域为D ={a1，a2}，求谓词公式∀y ∃xP （x ，y ）消去量词后的等值式。
问答题求命题公式（P∨Q）→（R∨Q）的主析取范式、主合取范式。
问答题A={a，b，c}，B={1，2}，令a1=P（A），a2=A->B，构造一个a1到a2的双射函数，再构造一个a2到a1的双射函数。
问答题求谓词公式∀x （P→Q （x））∧R（f （a ））的真值。其中P：4〉3，Q（x）：x〉1，R（x）：x≤2。f（−3）=1，f（1）=5，f（5）=−3，a：5。个体域D=（−3，1，5）。
问答题若是等价关系，写出A 的关于R 的等价类？
