离散数学习题集(十五套)(16)

离散数学习历年真题

（2） 已知 A B，问A B成立吗？

3、 如果厂方拒绝增加工资，那么罢工就不会停止，除非罢工超过一年并且工厂撤换了厂长。问：若厂方拒绝

增加工资，面罢工刚开始，罢工是否能够停止。（10分）

四、计算10%

1、 设命题A1，A2的真值为1，A3，A4真值为0，求命题

(A1 (A2 (A3 A1))) (A2 A4)的真值。（5分）

2、 利用主析取范式，求公式 (P Q) Q R的类型。（5分）

五、谓词逻辑推理 15%

符号化语句：“有些人喜欢所有的花，但是人们不喜欢杂草，那么花不是杂草”。并推证其结论。

六、证明：（10%）

设论域D={a , b , c}，求证： xA(x) xB(x) x(A(x) B(x))。 答案：

十、 填空 10%（每小题2分）

1、P真值为1，Q的真值为0；2、 x(F(x) L(x,0) y(F(y) L(y,x))；3、 x( P(x) Q(x))；4、约束变元；5、 xA(x) A(y)，y为D的某些元素。

十一、 选择 25%（每小题2.5分）

十二、 逻辑判断 30% 1、（1）等值演算法

A ((P Q) (Q P)) (P Q) (P Q) (P Q) T

（2）真值表法

所以A