离散数学1复习题.docVIP

离散数学（2）-1复习题 一、判断： 1.任何两个重言式的合取或析取，仍然是一个重言式。T 2.一个重言式，对同一分量都用任何合式公式置换，其结果仍为一重言式。T 3.在真值表中，一个公式的真值为F的指派所对应的大项的合取，即为此公式的主合取范式。T 4.在真值表中，一个公式的真值为T的指派所对应的小项的析取，即为此公式的主析取范式。T 5.任何一个谓词公式，均和一个前束范式等价。T 6.每一个wff A都可转化为与其等价的前束合取范式。T 7.“计算机有空吗？”是命题。F 8.“x=3”是命题。F 9.“明天我去看电影”是命题。T 10.“我们要努力学习”是命题。F 11.“不存在最大质数”是命题。T 12.“离散数学是计算机科学系的一门必修课”是命题。T 13.是合式公式。F 14.是合式公式。T 15.是合式公式。F 16.是重言式。T 17.是重言式。T 18.是重言式。F 19.，是最小联结词组。T 20.、和不是最小联结词组。T 21.公式是永假式。T 22.。T 23.。T 24.(P→Q)(P→R) P →(QR)。T 25.(PQ)→R(P→R)(Q→R)。F 26.(x)（P(x)→Q(x)）(x)P(x)→(x)Q(x)。F 27.(x)(P(x)→Q(x)) (x)P(x)→(x)Q(x)。T 28.(x) (y) P (x, y) (x)(x)P(x,y