问答题
计算题
设个体域为D ={a1，a2}，求谓词公式∀y ∃xP （x ，y ）消去量词后的等值式。
【参考答案】
谓词公式∀y ∃xP（x，y）消去量词后的等值式为：P（a1，a1）∨P（a1，a2）∨P（a2，a1）∨P（a2，a2......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
