登陆题目详情
单选题 命题1:"真理都可由实践证明",命题2:"有的真理能用实践证明",T(x)表示"x是一个真理",D(x)表示"x可以由实践证明".那么命题1、2可以使用谓词逻辑表示为:( )
A. 
B. 
C. 
D. 
学科：2021级 人工智能基础
时间：2023-11-18 08:12:57
相关题目
相关作业
题目1单选题
经典概念理论中,命题是一个非真即假的陈述句,以下是命题的有( )A. 这句话是谎言B. 如果下雨,则我打伞C. 您去电影院吗D. x=2
题目2单选题
以下( )是命题A. 请别生气B. 期中测试卷难吗C. 今天下雨了D. 看花去
题目3单选题
以下哪些不是知识的特性( )A. 相对正确性B. 确定性C. 可表示性D. 可利用性
题目4单选题
李明的父亲是教师,用谓词逻辑可以表示为Teacher (father (Liming) )这里father (Liming)是( )A. 常量B. 变元C. 函数D. 一元谓词
题目5单选题
( )表示"每个人都有喜欢的人"A. <img src="https://p.ananas.chaoxing.com/star3/origin/63573b5dd8d44932a702b2440d4686b5.png">B. <img src="https://p.ananas.chaoxing.com/star3/origin/07b83bec342af769f29662776f7acb7d.png">C. <img src="https://p.ananas.chaoxing.com/star3/origin/4d0e133e3a5f2996926e98c9b19e3d1d.png">D. <img src="https://p.ananas.chaoxing.com/star3/origin/3070462750f27164007f6ac6a5a8f8a6.png">
题目6单选题
对于谓词公式,<img src="https://p.ananas.chaoxing.com/star3/origin/f24e1d20c9ae83a57bbdeb07448e3bfa.png">以下说法错误的是( )A. A.上述公式中的所有y是自由变元B. P(x, y)中的x是约束变元C. R(x,y)中的x是约束变元D. Q(x,y)中的x是约束变元
题目7单选题
如下连接词中不属于逻辑连接词的是( )A. 等价联结词B. 否定联结词C. 并联联结词D. 蕴涵联结词
题目8单选题
命题"李白要么擅长写诗,要么擅长喝酒.",其中F(x):x擅长写诗,G(x):x擅长喝酒,a:小王,则命题可以谓词符号化为( )A. F(a) V G(a)B. F(a) ∧ G(a)C. F(a) → G(a)D. F(a)→ ¬G(a)
题目9单选题
命题"两个奇数之和是奇数",令F(x):x是奇数,则命题的逻辑谓词公式为( )A. <img src="https://p.ananas.chaoxing.com/star3/origin/6871a9009949525044607f2c7e26b66c.png">B. <img src="https://p.ananas.chaoxing.com/star3/origin/72aca0e7c9a94f392ec7194f727e34b9.png">C. <img src="https://p.ananas.chaoxing.com/star3/origin/a430c2c0442c3ad1c78559d546a1658b.png">D. 以上都不对
题目10单选题
以下不是知识表示法的是( )A. 产生式表示法B. 框架表示法C. 计算机表示法D. 状态空间表示法
下载 题海APP
拍照搜题更快捷
- 海量题库
- 无搜索限制
- 快捷拍照搜题
