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

我们不能既划船又跑步.,1.在命题逻辑中将下列命题符号化:,(2)小王总是在图书馆看书,除非他病了 或者图书馆不开门.,2.判断公式 与 是否等值.,3.用真值表和等值演算两种方法求公式 的主析取范式和主合取范式.,第一、二章 习题课,4.将联结词 用 表示.,5.判断下列推理是否正确，并说明理由.,（1）前提：结论：,（2）如果甲弃权,则乙或丙至少一人将获得出线权；如果乙获得出线权,则甲没有弃权；如果丁获得了出线权，则丙未获出线权.所以，如果甲弃权，则丁不能获得出线权.,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)有理数都是实数.有的有理数是整数.因此，有的实数是整数.,