离散数学第一二章练习题.pptx

第一、二章习题课我们不能既划船又跑步.1.在命题逻辑中将下列命题符号化:(2)小王总是在图书馆看书,除非他病了或者图书馆不开门.2.判断公式与是否等值.3.用真值表和等值演算两种方法求公式的主析取范式和主合取范式.

如果甲弃权,则乙或丙至少一人将获得出线权；如果乙获得出线权,则甲没有弃权；如果丁获得了出线权，则丙未获出线权.所以，如果甲弃权，则丁不能获得出线权.前提：结论：判断下列推理是否正确，并说明理由.4.将联结词用表示.

6.某学校有三名教授甲、乙、丙，要选派其中的某些人出国进修.因工作需要，选派时必须满足以下条件：（1）若甲去，则丙也去；（2）若乙去，则丙不去；（3）若丙不去，则甲或乙中要至少去一人.试问：学校应如何选派他们？(2)猫是动物，但动物不一定是猫.7.在谓词逻辑中将下列命题符号化(3)每个人都有自己喜欢的工作.(1)并非所有的素数都不是偶数.

8.给定解释I如下：个体域为实数集合；f(x,y)=x-y,g(x,y)=xy,E(x,y):x=y,G(x,y):xy，N(x):x是自然数.在此解释下,求下列各式的值9.求公式的前束范式.10.判断下列推理是否正确，并说明理由.（1）前提：结论：(2)有理数都是实数.有的有理数是整数.因此，有的实数是整数.