设个体域D={a,b,c},则谓词公式(x)A(x)消去量词后的等值式为 . 设个体域D={a,b,c},则谓词公式(x)A(x)消去量词后的等值式为 . 发布时间:2025-05-17 11:19:35