- 1、本文档共5页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第六章习题解答一、请将下列日常生活语句翻译为
第六章習題解答
一、請將下列日常生活語句翻譯為述詞邏輯的符號形式語句。
1. 張三是大學一年級學生。
a :張三 Fx :x 是大學一年級學生
F a
2. 所有人都會死。
Px :x 是人;Mx :x 會死
∀x (Px→Mx)
3. 有些人學過邏輯。
Px :x 是人;Lx :x 學過邏輯
∃x (Px ‧Lx)
4. 春花和秋月都是空中大學學生。
a :春花;b :秋月;Ox :x 是空中大學學生
Oa ‧Ob
5. 有些外國人是空中大學學生。
Fx :x 是外國人;Ox :x 是空中大學學生
∃x (Fx ‧Ox)
6. 沒有文盲是網路族。
Ix :x 是文盲;Nx :x 是網路族
∀x (Ix→~Nx)
7. 並非所有商人都是唯利是圖。
Mx :x 是商人;Ex :x 是唯利是圖
~∀x (Mx→Ex)
∃x (Mx ‧~Ex)
8. 只有大學畢業才可報考研究所。
Gx :x 是大學畢業生;Ex :x 是可以報考研究所
∀x (Ex→Gx)
9. 每個孩子都會孝順母親。
Cx :x 孩子;Px :x 會孝順母親
∀x (Cx→Px)
10. 蛇不一定有毒。
Sx :x 是蛇;Px :x 是有毒的
~∀x (Sx→Px)
∃x (Sx ‧~Px)
11. 有些哲學系學生能認得每一位哲學教授。
Sx :x 是哲學系學生;Px :x 是哲學教授;K xy :x 認得 y
∃x [Sx ‧∀y (Py→Kxy)]
12. 只有在美國出生的美國公民,才有資格競選美國總統。
Ax :x 是美國出生的;Cx :x 是美國公民;Qx :x 有資格競選美國總統
∀x [Qx→(Ax ‧Cx)]
13. 除非學生兼具教職員身份,否則,就只有教師和職員才能參加這次活動。
Sx :x 是學生;Tx :x 是教師;Fx :x 是職員;Ax :x 能參加這次活動
∀x {~ [Sx ‧(Tx vFx)]→ [Ax→(Tx vFx)]}
14. 不敬重自己者就不會受到敬重。
Px :x 是人;Rxy :x 敬重 y
∀x [(Px ‧~Rxx)→ ∃y (Py ‧~Ryx )]
15.建中學生都不認識北一女學生。
Gx :x 是建中學生;Bx :x 是北一女學生;Kxy :x 認識 y
∀x [Gx→ ∀y (By→~Kxy)]
16. 愛人者,人恆愛之。
Px :x 是人;Lxy :x 愛 y
∀x {Px→ ∀y [(Py ‧Lxy)→ ∃z(Pz ‧Lzx)]}
17. 不成熟的芒果是沒有人會買的,除非所有的成熟芒果都是價格昂貴的。
Mx :x 是芒果;Rx :x 是成熟的;Px :x 是人;Bxy :x 會買 y ;Ex :x 是價格昂貴的
∀x { ~[(Mx ‧Rx)→Ex]→ [(Mx ‧~Rx)→~ ∃y (Py ‧Byx )]}
18. 海豚和鯨魚都是哺乳類動物。
Dx :x 是海豚;Wx :x 是鯨魚;Mx :x 是哺乳類動物
∀x [(Dx vWx)→Mx]
19. 每一個學生都能解出一些習題,也必定有些習題是他所無法解出的。
Sx :x 是學生;Ex :x 是習題;Rxy :x 能解出 y
∀x { Sx→ [ ∃y (Ey ‧Rxy) ‧∃z (Ez ‧~Rxz)]}
20. 沒有人能被選為總統,除非他是能說善道的政治人物。
Ex :x 能被選為總統;Tx :x 是能說善道的;Px :x 是政治人物
∀x [~(Px ‧Tx) →~Ex]
21. 只有蛇和蜥蜴才能在沙漠中存活。
Sx :x 是蛇;Lx :x 是蜥蜴;Dx :x 能在沙漠中存活
∀x [Dx→(Sx vLx)]
22. 有人認識每個人。
Px :x 是人;Kxy :x 認識 y
∃x [Px ‧∀y (Py→Kxy)]
二、
(一)
1. ~∀x (Fx→Hx) P
2. ∃x ~(Fx→Hx) 1 QN
3. ∃x ~(~Fx v Hx) 2 Impl
4. ∃x (~~Fx ‧~Hx) 3 DeM
5. ∃x (Fx ‧~Hx) 4 DN #
(二)
1. ∀x Fx→Ha
您可能关注的文档
- 第一章测量绪论壹.准备重点及方向.PDF
- 第一章游戏意义及其理论林廷华.PDF
- 第一章稳态导热.PDF
- 第一章运动生理学的意义与发展-web.cc.ntnu.PDF
- 第Ⅰ部明细书.doc
- 第一课兰亭集序.doc
- 第一部分创建用户与项目.PDF
- 第一链cDNA合成试剂盒.PDF
- 第七章侍产假.PDF
- 第七章摆荡指1.PDF
- 浙江省临海市白云高级中学2025届高三历史3月月考试题.doc
- 云南拾谷县第一中学2024_2025学年高二物理上学期10月月考试题.doc
- 2025版高考生物总复习第13讲基因的分离定律教案苏教版.doc
- 湖北省黄石实验高中2024_2025学年高一历史下学期期末考试模拟卷.doc
- 通史版2025版高考历史大一轮复习专题七近代化的曲折发展__中日甲午战争至五四运动前4第4讲从维新思想到新文化运动课后达标检测含解析新人教版.doc
- 2024年高考数学考试大纲解读专题04导数及其应用含解析文.doc
- 河南省许汝平九校联盟2024_2025学年高一语文上学期期末考试试题扫描版无答案.doc
- 江西省吉安市吉水县第二中学2024_2025学年高一历史上学期第二次月考试题.doc
- 北京市平谷区2025届高三政治一模考试试题含解析.doc
- 2025届中考物理第四讲物态变化专项复习测试无答案新人教版.docx
文档评论(0)