




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
PAGEPAGE1第四章部分课后习题参考答案3.在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1)对于任意x,均有QUOTE错误!未找到引用源。2=(x+QUOTE错误!未找到引用源。)(xQUOTE错误!未找到引用源。).(2)存在x,使得x+5=9.其中(a)个体域为自然数集合.(b)个体域为实数集合.解:F(x):QUOTE错误!未找到引用源。2=(x+QUOTE错误!未找到引用源。)(xQUOTE错误!未找到引用源。).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中特定元素QUOTE错误!未找到引用源。=0.(c)特定函数QUOTE错误!未找到引用源。(x,y)=xQUOTE错误!未找到引用源。y,x,yQUOTE错误!未找到引用源。.(d)特定谓词QUOTE错误!未找到引用源。(x,y):x=y,QUOTE错误!未找到引用源。(x,y):x<y,x,y.说明下列公式在I下的含义,并指出各公式的真值:答:(1)对于任意两个实数x,y,如果x<y,那么xy.真值1.(2)对于任意两个实数x,y,如果x-y=0,那么x<y.真值0.10.给定解释I如下:(a)个体域D=N(N为自然数集合).(b)D中特定元素QUOTE错误!未找到引用源。=2.(c)D上函数QUOTE错误!未找到引用源。=x+y,QUOTE错误!未找到引用源。(x,y)=xy.(d)D上谓词QUOTE错误!未找到引用源。(x,y):x=y.说明下列各式在I下的含义,并讨论其真值.QUOTE错误!未找到引用源。xF(g(x,a),x)QUOTE错误!未找到引用源。xQUOTE错误!未找到引用源。y(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)QUOTE错误!未找到引用源。(3)QUOTE错误!未找到引
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025年保安证考试实战演练试题及答案
- 广西民族大学相思湖学院《食品工艺学实验》2023-2024学年第二学期期末试卷
- 2025届河南省平顶山市鲁山县第一高级中学高三教学调研(二)历史试题试卷含解析
- 2025年山东省诸城市高三下学期期中联考试卷数学试题含解析
- 山东省济南市章丘区2025届数学五下期末综合测试模拟试题含答案
- 唐山科技职业技术学院《结构设计原理B》2023-2024学年第一学期期末试卷
- 山西省临汾市2025届高三1月模拟调研历史试题含解析
- 揭阳市普宁市2024-2025学年重点中学小升初数学入学考试卷含解析
- 甘肃省 2025届高考历史全真模拟试题(含解析)
- 常用防范措施之保安证试题及答案
- 确有专长人员从事传统医学临床实践年限证明
- 2022年上海市学业水平考试生命科学试卷含答案
- 2022浙江农林大学博士入学考试英语
- 2022俄语课程标准解读及学习心得:聚焦核心素养的俄语课程改革
- 2022年云南省中考数学试题及答案解析
- 煤矿矿安全监测监控系统的选型设计
- 样板引路专项方案计划
- 华中师大版七年级全一册心理健康 16.团结协作互助前行 课件(14ppt)
- 硝酸钾牙膏抗牙本质敏感效果的循证分析
- 人教2011版小学数学四年级《乘法分配率》
- 废水污染物名称及其代码表
评论
0/150
提交评论