设个体域D={a，b，c}，消去以下各式中的量词：

2024-08-03 23:29:46
离散数学(02324)

设个体域D={a，b，c}，消去以下各式中的量词：

【正确答案】：

上一篇：将下列公式化成与之等值的公式，使其没有既是约束出现的，又是自由出现的个体变项：

下一篇：在一阶逻辑中，将下面命题符号化，并且要求只能使用全称量词：(1)没有人长着蓝色牙齿。(2)有的上海市民没有见过大海。