第十五章测试1.以下命题用谓词符号化错误的是( )
A:“C++和Java都是计算机高级程序语言”：F(x)：x是计算机高级程序语言；a：C++； b：Java；则命题符号化为：
B:“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；则命题符号化为：
C:“如果奔腾Ⅱ比奔腾Ⅴ性能好，那么奔腾Ⅱ比奔腾Ⅵ性能好”L(x，y)：x比y性能好； a,奔腾Ⅱ； b,奔腾Ⅴ； c,奔腾Ⅵ；则命题符号化为：
D:“那位戴眼镜的用功的大学生在看这本大而厚的《离散数学》参考书”：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：这本。则命题可符号化为：
答案:B
2.设I为如下一个解释：D={a，b}；P(a,a)=1，P(a,b)=0，P(b,a)=0，P(b,b)=1以下公式在I下真值为0的是( )
A:∃y¬P(a,y) B:∃x∀yP(x,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:错
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
