- 1、本文档共11页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第四章部分课后习题参考答案
3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:
(1) 对于任意x,均有2=(x )(x).
(2) 存在x,使得x 5=9.
其中(a)个体域为自然数集合.
(b)个体域为实数集合.
解:
F(x): 2=(x )(x).
G(x): x 5=9.
(1)在两个个体域中都解释为,在(a)中为假命题,在(b)中为真命题。
(2)在两个个体域中都解释为,在(a)(b)中均为真命题。
4. 在一阶逻辑中将下列命题符号化:
(1) 没有不能表示成分数的有理数.
(2) 在北京卖菜的人不全是外地人.
解:
(1)F(x): x能表示成分数
H(x): x是有理数
命题符号化为:
(2)F(x): x是北京卖菜的人
H(x): x是外地人
命题符号化为:
5. 在一阶逻辑将下列命题符号化:
(1) 火车都比轮船快.
(3) 不存在比所有火车都快的汽车.
解:
(1)F(x): x是火车; G(x): x是轮船; H(x,y): x比y快
命题符号化为:
(2) (1)F(x): x是火车; G(x): x是汽车; H(x,y): x比y快
命题符号化为:
9.给定解释I如下:
(a) 个体域D为实数集合R.
(b) D中特定元素=0.
(c) 特定函数(x,y)=xy,x,y.
(d) 特定谓词(x,y):x=y,(x,y):xy,x,y.
说明下列公式在I下的含义,并指出各公式的真值:
(1)
(2)
答:(1) 对于任意两个实数x,y,如果xy, 那么xy. 真值1.
(2) 对于任意两个实数x,y,如果x-y=0, 那么xy. 真值0.
10. 给定解释I如下:
(a) 个体域D=N(N为自然数集合).
(b) D中特定元素=2.
(c) D上函数=x y,(x,y)=xy.
(d) D上谓词(x,y):x=y.
说明下列各式在I下的含义,并讨论其真值.
(1) xF(g(x,a),x)
(2) xy(F(f(x,a),y)→F(f(y,a),x)
答:(1) 对于任意自然数x, 都有2x=x, 真值0.
(2) 对于任意两个自然数x,y,使得如果x 2=y, 那么y 2=x. 真值0.
11. 判断下列各式的类型:
(1)
(3) yF(x,y).
解:(1)因为 为永真式;
所以 为永真式;
(3)取解释I个体域为全体实数
F(x,y):x y=5
所以,前件为任意实数x存在实数y使x y=5,前件真;
后件为存在实数x对任意实数y都有x y=5,后件假,]
此时为假命题
再取解释I个体域为自然数N,
F(x,y)::x y=5
所以,前件为任意自然数x存在自然数y使x y=5,前件假。此时为假命题。
此公式为非永真式的可满足式。
13. 给定下列各公式一个成真的解释,一个成假的解释。
(1) (F(x)
(2) x(F(x)G(x)H(x))
解:(1)个体域:本班同学
F(x):x会吃饭, G(x):x会睡觉.成真解释
F(x):x是泰安人,G(x):x是济南人.(2)成假解释
(2)个体域:泰山学院的学生
F(x):x出生在山东,G(x):x出生在北京,H(x):x出生在江苏,成假解释.
F(x):x会吃饭,G(x):x会睡觉,H(x):x会呼吸. 成真解释.
第五章部分课后习题参考答案
5.给定解释I如下:
(a)个体域D={3,4};
(b)为
(c).
试求下列公式在I下的真值.
(1)
(3)
解:(1)
(2)
12.求下列各式的前束范式。
(1)
(5) (本题课本上有错误)
解:(1)
(5)
15.在自然数推理系统F中,构造下面推理的证明:
(1) 前提: ,
结论: xR(x)
(2) 前提: x(F(x)→(G(a)∧R(x))), xF(x)
结论:x(F(x)∧R(x))
证明(1)
① 前提引入
②F(c) ①EI
③ 前提引入
④ ①③假言推理
⑤(F(c)∨G(c))→R(c)) ④UI
⑥F(c)∨G(c) ②附加
⑦R(c) ⑤⑥假言推理
⑧xR(x) ⑦EG
(2)
①xF(x) 前提引入
②F(c) ①EI
③x(F(x)→(G(a)∧R(x))) 前提引入
④F
您可能关注的文档
- 教科版五年级语文下册第十三周周考卷.doc
- 教科版小学科学六年级(下册)第一单元检测题.doc
- 教师基本功比赛理论测试题.doc
- 教师教育技术考试模拟试题12.docx
- 教师招聘考试案例分析题常考知识点.doc
- 教师招聘考试之考点皮亚杰.docx
- 教师招聘考试之课程的类型.doc
- 教师资格考试:十六种标点符号使用误区.doc
- 教师资格考试小学教育知识与能力章节归纳(1.5).docx
- 教师资格考试小学教育知识与能力章节归纳(2.1).docx
- 第十一章 电流和电路专题特训二 实物图与电路图的互画 教学设计 2024-2025学年鲁科版物理九年级上册.docx
- 人教版七年级上册信息技术6.3加工音频素材 教学设计.docx
- 5.1自然地理环境的整体性 说课教案 (1).docx
- 4.1 夯实法治基础 教学设计-2023-2024学年统编版九年级道德与法治上册.docx
- 3.1 光的色彩 颜色 电子教案 2023-2024学年苏科版为了八年级上学期.docx
- 小学体育与健康 四年级下册健康教育 教案.docx
- 2024-2025学年初中数学九年级下册北京课改版(2024)教学设计合集.docx
- 2024-2025学年初中科学七年级下册浙教版(2024)教学设计合集.docx
- 2024-2025学年小学信息技术(信息科技)六年级下册浙摄影版(2013)教学设计合集.docx
- 2024-2025学年小学美术二年级下册人美版(常锐伦、欧京海)教学设计合集.docx
文档评论(0)