- 79
- 0
- 约3.05千字
- 约 10页
- 2020-11-10 发布于山东
- 举报
精品文档
一、单项选择题(本大题共 15 小题,每小题 1 分,共 15 分)
在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或
未选均无分。
1.下列句子不是 命题的是( D )
..
.中华人民共和国的首都是北京
C.雪是黑色的
2.下列式子不是 谓词合式公式的是(
..
A .( x)P(x)→ R(y)
B . ( x) ┐ P(x) ( x)( P(x)→Q(x))
C. ( x)( y)(P( x)∧ Q(y)) →( x)R(x)
D . ( x)(P(x,y)→ Q(x,z))∨ ( z)R(x,z)
B.张三是学生
D.太好了!
)
3.下列式子为重言式的是(
)
A .(┐P∧R)→Q
B. P∨Q∧ R→┐ R
C. P∨ (P∧ Q)
D. (┐ P∨Q) (P→ Q)
4.在指定的解释下,下列公式为真的是(
)
A . (
x)(P(x)∨ Q(x)),P(x): x=1,Q(x): x=2,论域 : {1,2}
B . (
x)(P(x)∧ Q(x)),P(x): x=1,Q(x) : x=2,论域 : {1,2}
C. (
x)(P(x) → Q(x)),P(x): x2,Q(x): x=0,论域 : {3,4}
D . (
x)(P(x)→ Q(x)),P(x): x2,Q(x): x=
您可能关注的文档
最近下载
- .大学物理实验绪论 绪论.ppt VIP
- 石化工程应用表格----垫铁隐蔽记录.doc VIP
- 2026南方电网招聘笔试真题(含详细答案解析).docx VIP
- 毕业设计(论文)年产15万吨合成氨合成工段毕业设计.doc VIP
- 牛黄清心丸培训.pptx VIP
- 贝克曼 Beckman k2,33600-皮质醇测定试剂盒(化学发光法) 中文说明书-REV2.2-Cortisol.pdf VIP
- 12M09195A94_RevA标准收集整理.pdf VIP
- 中央企业商业秘密安全保护技术指引2023版.pptx VIP
- 深度学习知识点.doc VIP
- Becker型肌营养不良诊治中国专家共识.pdf VIP
原创力文档

文档评论(0)