《离散数学》第二章习题参考答案.docx

基础习题

1在谓词逻辑中符号化下述命题：

（1），其中是淮南人，爱喝牛肉汤。

（2），其中是人，会犯错。

（3），其中是人，聪明。

（4），其中是有勇气的人，怕困难。

（5），其中是火车，是汽车，比快。

2（1）假（2）真（3）假（4）真。

3指出下列公式的辖域和变元的约束情况：

（1）的辖域：，的辖域：，都是约束变元。

（2）的辖域，的辖域，的辖域：,中的是约束变元，是自由变元，中的是约束变元，是自由变元

4

5（1）若为真，则，为真且为真，因此为真，从而为真；（2）若为假，则，为假或为假，若为假，则为假。若，为假，即为假，则为假。所以，对任意个体域，。

6给定解释:个体域，为奇数