第十节 命题逻辑.pptVIP

数理逻辑 数理逻辑 数理逻辑是用数学方法研究形式逻辑中推理规律的一种理论. 数理逻辑的研究对象： 从宏观上讲, 数理逻辑是数学的基础, 它的研究分证明论、模型论、递归论和集合论等四大理论 从狭义上讲, 它是研究形式逻辑推理规则的一门数学. 数理逻辑 数理逻辑的研究方法 采用数学的方法研究演绎性推理形式逻辑的规律. 引进一套符号体系的方法, 因此数理逻辑又称符号逻辑. 本篇内容： 命题逻辑 谓词逻辑 命题逻辑和谓词逻辑的公理化证明 第十章 命题逻辑 命题逻辑是数理逻辑的基础, 它以命题为研究对象, 研究基于命题的符号逻辑体系及推理规律, 它也可称命题演算. 10.1.1 命题 命题：能判断真假的陈述句 真值：命题的值称真值，真值有T,F两种 例： 1)雪是黑的 2) 1+101=110 3) 别的星球有生物 4) 我正在说谎 5) 天气多好啊！ 6) 我学英语, 或者我学日语 7) 明天是否开大会？ 10.1.1 命题 原子命题：最简单的不可再分的命题 复合命题：由联结词, 标点符号和原子命题复合构成的命题 一般用P,Q,R…等大写拉丁字母表示命题 命题常量：命题标识符如表示确定的命题 命题变元：命题标识符只表示任意命题的位置标志 命题变元可以表示任意命题, 所以它不能确定真值, 故不是命题 10.1.2 命题联结词 常用的5个命题联结词 1) “并且” (合取) P∧Q：“P并且Q”, P与Q的合取式, 而P、Q分别叫做此合取式的合取项. 真值表 10.1.2 命题联结词 例：王华的成绩很好并且打得一手好球 解： P: 王华的成绩很好 Q: 王华打得一手好球 王华的成绩很好并且打得一手好球: P∧Q 对“并且”可以有多种不同表达方式： “同时”、“和”、“与”、“同”、“以及”、“而且”、“不但…而且…”、“既…又…”、“又”、“尽管…仍然…”、“虽然…依旧…” … … 例：尽管他生病但他仍坚持工作 10.1.2 命题联结词 2) “或者” (析取) P∨Q：”P或者Q”, P与Q的析取式, 而P、Q分别叫做此析取式的析取项. 真值表 10.1.2 命题联结词 例： 今天晚上我写字或看书 解： P: 今天晚上我写字 Q: 今天晚上我看书 今天晚上我写字或看书: P∨Q 对“或者”可以有多种不同表达方式： “或”、“或许”、“可能”… … 例：明天我可能看电影也可能逛公园 10.1.2 命题联结词 3) “否定” ?P ：“非P” 真值表 10.1.2 命题联结词 例：赵玲不是个好学生 解： P: 赵玲是个好学生 赵玲不是个好学生: ?P 对“否定”可以有多种不同表达方式： “非”、“不”、“没有”、“无”、“并非”、“并不” … … 例：他并不喜欢打球 10.1.2 命题联结词 4) “蕴含” (条件) P→Q：”P蕴含Q”, “如果P则Q”. P称为P→Q的前件, Q称为P→Q的后件. 真值表 10.1.2 命题联结词 例：如果明天天气晴朗, 则举行运动会 解： P: 明天天气晴朗 Q:举行运动会 如果明天天气晴朗, 则举行运动会: P→Q 对“蕴含”可以有多种不同表达方式： “当…则…”、“若…那么…”、“假如…那么…”…… 例：倘若他生病了他就不参加这次会议 10.1.2 命题联结词 5) “等价” (双条件) P?Q：P与Q的等价式, “P等价Q”, P、Q分别叫此等价式的两端. 真值表 10.1.2 命题联结词 例：23 当且仅当3-20 解： P: 23 Q: 3-20 23 当且仅当3-20: P?Q 对“等价”可以有多种不同表达方式： “充分必要”、“只有…才能…”、“相同”、“相等”、“一样” 、“等同”…… 例：只有睡觉才能消除疲劳 10.1.2 命题联结词 在命题联结词中有些地方与一般习惯用语是不同的： 1) 两个逻辑上完全没有联系的命题可加以命题联结词而形成新的复合命题. 2) 有的联结词在日常用语中可有多种逻辑含义, 但在命题逻辑中有确定含义, 如命题逻辑中的“或”是“可兼或”的或. 3) 对于“蕴含”, 在命题逻辑中, 当其前件为假时, 则不论其后件是真还是假其整个蕴含式一定为真. 4) 命题联结词是命题间的联结词而不是名词或形容词间的联结词. 10.1.3 复合命题 由原子命题经命题联结词可构成各种形式的复合命题, 在复合命题中，为减少括号的使用，作出以下规定： 1) 5个联结词的结合能力强弱顺序为： “否定?” ＞“合取∧” ＞“析取∨” ＞“蕴含→” ＞“等价?” 2) 规定具有相同结合能力的联结词, 按其出现的先后次序, 先出现者先