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

离散数学第二阶段作业(第四第五章)1 .在一阶逻辑中将下列命题符号化：(1)每个人都有心脏。令M(x):x是人，H(x):x有心脏。命题符号化为：Vx(M(x)-*H(x))(2)有的狗会飞。设D(x