问答题
设个体域为D ={a1，a2}，求谓词公式∀y ∃xP （x ，y ）消去量词后的等值式。
谓词公式∀y ∃xP（x，y）消去量词后的等值式为：P（a1，a1）∨P（a1，a2）∨P（a2，a1）∨P（a2，a2......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
问答题 求命题公式（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）。
