本科离散数学复习题(20120629).docVIP

一、填空题 1、对于所有的真值指派，命题公式_______________，这种命题叫做重言式。 对于所有的真值指派，命题公式_______________，这种命题叫做矛盾式。 2、具有_______________________的______________________是命题。 3、一个命题标识符如表示确定的命题，就称为_____________，如果命题标识符只表示任意命题的位置标志，就称为______________。 4、设有命题“如果天不下雨，我就去游泳”。 则其逆换式为__________________________； 反换式为______________________________； 逆反式为______________________________。 5、已知原命题为：“如果天不下雨，我就去。”则该命题的 反换式是___________________________________________， 逆换式是___________________________________________， 逆反式是___________________________________________。 其中意义相同的命题是___________________________________。 6、已知原命题为：“如果风不大，我就去打羽毛球。”则该命题的 反换式是___________________________________________， 逆换式是___________________________________________， 逆反式是___________________________________________。 7、班长组织同学们星期日旅游，征求大家意见。意见如下： ①刘同学说：“如果天不下雨，我就去”；②曲同学说：“如果天下雨，我就不去”； ③于同学说：“如果我去，天就没下雨”；④张同学说：“如果我不去，天就下雨了”； ⑤李同学说：“星期日或者天下雨，或者我去公园”。 班长总结共有2种意见，其中_______________的意见相同，而_______________的意见一致。 8、命题公式的主析取范式是____________________________ 9、命题公式的主合取范式是____________________________ 10、命题公式 ((P∧Q)∨R)↑0 的对偶式是________________________ 11、命题公式 (P∨Q)→R 的对偶式为____________________________ 12、对于前提，，，，其有效结论是________________ 13、对于前提 ，，，其有效结论是_____________________ 14、用谓词表达命题，必须包括__________和__________两个部分。 15、设G(x) : x是金子，F(x) : x是闪光的，则命题“金子是闪光的，但闪光的不一定是金子”可以符号化为________________________________________ 16、设C(x) : x是计算机，P(x,y) : x能做y，I(x) : x是智能工作，则命题“并非所有智能工作都能由计算机来做”可以符号化为________________________________________ 17、设C(x) : x是计算机，P(x,y) : x能做y，I(x) : x是智能工作，则命题“并非所有智能工作都能由计算机来做”可以符号化为________________________________________ 18、一个谓词公式，如果量词均在全式的开头，而且它们的作用域延伸到整个公式的末尾，则该公式叫做____________________。 19、谓词公式的前束范式为_______________________ 20、谓词公式的前束范式为______________ 21、谓词公式的前束范式为______________________ 22、谓词公式的前束范式为_______________________ 23、通常，一元谓词表达了客体的__________多元谓词表达了客体之间的__________。 24、设集合。 则_______________________，_______________________ 25、设集合。 则_______________________，______________________ 26、设A = {x | 100＜x＜200, x = 7n＋3, n∈N, x∈N}，则 |A| = ___________________