离散数学答案2023秋

第十五章测试

1.以下命题用谓词符号化错误的是( )
A:“C++和Java都是计算机高级程序语言”：
F(x)：x是计算机高级程序语言；a：C++； b：Java；则命题符号化为：
B:“那位戴眼镜的用功的大学生在看这本大而厚的《离散数学》参考书”：
F(x)：x是大学生；G(x)：x是用功的；H(x): x戴着眼镜；
I(y): y是参考书；J(y): y是《离散数学》；K(y): y是大的； L(y): y是厚的；
M(x，y): x在看y； a：那位； b：这本。
则命题可符号化为：
C:“如果奔腾Ⅱ比奔腾Ⅴ性能好，那么奔腾Ⅱ比奔腾Ⅵ性能好”
L(x，y)：x比y性能好； a,奔腾Ⅱ； b,奔腾Ⅴ； c,奔腾Ⅵ；
则命题符号化为：
D:“If Zhangming is higher than Limin and Limin is higher than Zhaoliang, then Zhangming is higher than Zhaoliang”：
H(x，y)：x is higher than y；a：Zhangming； b：Limin； c：Zhaoliang；
则命题符号化为：

答案:D
2.设I为如下一个解释：
D={a，b}；P(a,a)=1，P(a,b)=0，P(b,a)=0，P(b,b)=1以下公式在I下真值为0的是( )
A:∀x∀yP(x,y)
B:∃y¬P(a,y)
C:∀x∃yP(x,y)
D:∃x∀yP(x,y)
3.谓词公式的否定式为( )
A:
B:
C:
D:
4.以下命题用谓词符号化正确的有( )
A:好人自有好报：
设F(x)：x是好人；G(x)：x会有好报，则命题符号化为：∀x(F(x)→G(x))
B:没有免费的午餐：
设M(x)：x是午餐；F(x)：x是免费的，则命题符号化为：x(M(x)∧F(x))
C:有会说话的机器人：
设F(x)：x是机器人；G(x)：x是会说话的，则命题符号化为：∃x(F(x)∧G(x))
D:在北京工作的人未必都是北京人：
设F(x)：x在北京工作；G(x): x是北京人，则命题符号化为：x(F(x)→G(x))
5.命题逻辑足以完备地表达任何推理过程。（ ）
A:对 B:错