第二阶段练习答案(第四五章).docx

离散数学第二阶段作业（第四第五章） 1.在一阶逻辑中将下列命题符号化: （1）每个人都有心脏。 令M(x):x是人，H(x):x有心脏。 命题符号化为： ?x(M(x)→H(x)) （2）有的狗会飞。 设D(x)：x是狗，F(x)：x会飞。命题符号化为：?x(D(x)∧F(x)) （3）没有不犯错误的人。 设 M(x): x是人，F(x):x犯错误，命题符号化为 ① ┐?x(M(x)∧┐F(x)) ② ?x(M(x)→F(x)) （4）发光的不都是金子。 设 L(x)：x是发光的东西，G(x)：x是金子。 命题符号化为 ① ┐?x(L(x)→G(x