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

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

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

符号化下列命题，并说明结论是否有效。凡14的倍数都是2的倍数，凡14的倍数都是7的倍数，所以有些7的倍数是2的倍数。

将命题符号化并证明。没有不是医生的人是可以给人治病的，有些可以给人治病的人是学过医的，因此，有些学过医的人是医生。

有些学生相信所有的老师,但是学生都不相信骗子。所以，老师都不是骗子。证明上述推理是正确的。

专业委员会的会员都是研究生且都是电路设计师，有些会员是专家，因此，有些会员是电路设计师，且是专家。证明上述推理的正确性。