- 0
- 0
- 约2.76千字
- 约 34页
- 2021-11-08 发布于广东
- 举报
复合句的逻辑技术(命题逻辑) ???? 复合命题(复合句) 并非所有的花都是有香味的。 李冰刻苦学习并且乐于助人。 樱桃红了或者芭蕉绿了。 要么武松打死老虎,要么老虎吃掉武松。 如果锲而不舍,那么金石可镂。 只有宁静,才能致远。 X+5=0,当且仅当,x=-5。 复合命题(复合句) ?(并非):否定词,负命题的联结词; ∧(并且):合取词,联言命题的联结词; ∨(或者):相容析取词,相容选言命题的联结词; ⊙ (要么……要么……):不相容析取词,不相容选言命题的联结词; ?(如果……那么……):充分条件假言词,充分条件假言命题的联结词; ?(只有……才……):必要条件假言词,必要条件假言命题的联结词; ?(当且仅当):充分必要条件假言词,充要条件假言命题的联结词。 复合命题(复合句) 我们引入命题变项即小写字母p、q、r、s、t等来表示任一命题。上述语句表示为: ?p(负命题) p∧q(联言命题) p∨q(相容选言命题) p⊙q(不相容选言命题) p?q(充分条件假言命题) p?q(必要条件假言命题) p?q(充要条件假言命题) 负命题的真假 p ?p T F F T 联言命题的真假 p q p∧q T T T T F F F T F F F F 相容选言命题的真假 p q p∨q T T T T F T F T T F F F 不相容选言命题的真假 p q p⊙q T T F T F T F T T F F F 充分条件假言命题的真假 p q p?q T T T T F F F T T F F T 必要条件假言命题的真假 p q p?q T T T T F T F T F F F T 充要条件假言命题的真假 p q p?q T T T T F F F T F F F F 容易出的考题 对联结词的准确理解(关涉相关推理法则)。 知己知彼,才能百战不殆。这句话同样适用于人际交往之中,一个人只有先了解了自己,才能了解别人;任何人也只信赖充分了解他的人,包括他自己,试想,如果一个人根本不了解你,他如何值得你信赖呢?由此可以推出:(?? )A、只有信赖自己,才能信赖别人B、不了解自己,就不会被任何人信赖C、他充分了解你,所以他值得你信赖D、充分了解自己,就可以获得许多人的信赖 (2011年国考题) 复合命题的推理 负命题的推理: ??p├ p ?(p∧q) ├ (?p∨?q) ?(p∨q) ├ (?p∧?q) ?(p⊙q) ├ (p∧q)∨(?p∧?q) ?(p?q) ├ (p∧?q) ?(p?q) ├ (?p∧q) ?(p?q) ├ (p∧?q)∨(?p∧q) 练习 总经理:我主张小王和小李中至少提拔一人。 董事长:我不同意。 以下哪项最为准确地表述了董事长真正的意思。 A.小王和小李两人都得提拔。 B.小王和小李两人都不得提拔。 C.小王和小李两人中至多提拔一人。 D.如果提拔小王,那么就不提拔小李。 联言推理的合成式 鲁迅是伟大的文学家,鲁迅是伟大的思想家。所以,鲁迅既是伟大的文学家,又是伟大的思想家。 p q ∴p∧q p, q├ p∧q 联言推理的分解式 罗素既是著名的逻辑学家,又是知名的社会活动家。所以,罗素是著名的逻辑学家。 p∧q├ p p∧q├ q 相容选言推理的否定肯定式 或者你吃鱼,或者你吃熊掌,但你没吃鱼,所以你一定吃了熊掌。 p∨q, ?p├ q p∨q, ?q├ p 相容选言推理的组合式 因为渤海是蓝色的,所以,或者渤海是蓝色的,或者黄海是黄色的。 p├ p∨q q├ p∨q 不相容选言推理的肯定否定式 要么为玉碎,要么为瓦全。宁为玉碎,所以,不为瓦全。 p⊙q, p├ ?q p⊙q, q├ ?p 不相容选言推理的否定肯定式 你要么吃鱼,要么吃熊掌。已知你没吃鱼,所以,你一定吃了熊掌。 p⊙q, ?p├ q p⊙q, ?q├ p 充分条件假言推理的肯定前件式 如果张三得了肺炎,那么他会发烧;张三确实得了肺炎,所以,张三肯定发烧了。 其推理形式为: p?q, p├ q 充分条件假言推理的否定后件式 如果小王患肺炎的话,则他的体温会不正常升高;但经检查小王现在体温正常,所以,小王目前没有患肺炎。 其推理形式为:
您可能关注的文档
最近下载
- 传统基材润湿流平(氟碳硅烷嵌段).pdf VIP
- 南京财经大学2024-2025学年第1学期《高等数学(上)》期末考试试卷(B卷)附参考答案.pdf
- C4D课程考试试题及参考答案.doc VIP
- 2025年陕西公务员申论考试真题及答案B卷.docx VIP
- [渝粤教育] 西北工业大学 航天器控制原理 mooc 资料.docx VIP
- 航天器控制原理(西北工业大学)中国大学MOOC 慕课 章节测验 期末考试答案.pdf VIP
- 精品解析:2025年陕西省中考数学试题(原卷版).docx VIP
- 四维度主力跟踪.pdf
- 2022年陕西省中考数学真题(原卷版).docx VIP
- 大众网关控制器和bcm车身控制模块针脚定义非常有用.pdf VIP
原创力文档

文档评论(0)