命题逻辑.ppt

数理逻辑 逻辑学 研究人的思维形式和规律的科学 根据研究的对象和方法 形式逻辑 辩证逻辑 数理逻辑 用数学方法研究推理的规律和形式的科学 推理：由一个或几个判断推出一个新判断的思维形式 数学方法 建立一套表意符号体系，对具体事物进行抽象的形式研究方法 又称符号逻辑 两种演算 命题逻辑 谓词逻辑 用数学方法研究推理的规律和形式 需要建立一套表意符号体系 文法充分定义(well-defined)的形式语言符号体系 自然语言有二义性 Double click the mouse,then it’ll run. 小王现在不方便接电话，他方便去了 建立形式语言符号体系的目的 消除二义性 普适(高度概括) 只关心推理过程的正确性,而不是推理的依据 主要内容 命题与联结词 命题公式 重言式 范式 命题演算的推理理论 谓词和量词 谓词演算的永真公式 谓词演算的推理规则 1.1 命题（Proposition） 1.1.1 命题 断言 一个陈述语句 命题 命题是一个非真即假(不可兼)的断言 如果命题是真 命题的真值（Truth Values）为真 真命题 大写字母“T”(1)表示 如果命题是假 命题的真值是假 假命题 大写字母“F”(0)表示 例 今天下雪。 雪是黑的。 3+3=6。 明年的今天会下雨。 较大的偶数都可表为两个质数之和。 1+101=110。 那个商店已经关门了。 2是偶数而3是奇数。 例(续) x+y＞4。 x=3。 0*x=0。 真好啊！ 全体立正！ 你去哪里? 我正在说谎。 有确定的真假含义不等同于已知其真假含义 较大的偶数都可表为两个质数之和。 除地球外，别的星球上也存在生物。 数理逻辑不关心内容 具体的陈述句的真值究竟为什么或在什么环境下是真还是假 数理逻辑只关心形式 命题可以被赋予真或假这样的可能性，以及规定了真值后怎样与其他命题发生联系 原子命题(Primitive proposition) 由简单陈述句表示的判断 命题逻辑规定：原子命题是不可再分的 复合命题(Compound proposition) 一个或几个简单命题用联结词联结所构成的命题(复合陈述句) 例：“如果天气好，我就去散步” “2是偶数而3是奇数” 命题的表示 常用大写英文字母(或带下标)表示原子命题 P表示“雪是白的” Q表示“北京是中国的首都” 表示命题的形式符号叫命题标识符 表示原子命题的命题标识符叫命题词 命题变元 P表示任一命题时，P就称为命题变元 命题词不是命题,是表示任意命题的位置标志 命题指具体的陈述句，是有确定的真值 命题变元的真值不定，只当将某个具体命题代入命题变元时(解释、真值指派)，命题变元化为命题，方可确定其真值 两个特殊的命题词 命题常量 T：永远表示真命题 F：永远表示假命题 T和F的两种含义 命题常量 命题的真值 1.1.2 命题联结词 命题和原子命题常可通过一些联结词构成新命题,这种新命题叫复合命题 例： P:明天下雪, Q:明天下雨 “明天不下雪” “非P” “明天下雪并且明天下雨” “P并且Q” “明天下雪或者明天下雨” “P或Q” 1.否定词┐(～，negation) 设P表示命题,那么“P不真”是一个复合命题,记为┐P,叫做P的否定,读做“非P”。如果P是假,则┐P是真,反之亦然。 例 (a) P: 4是质数。  ┐P: 4不是质数。 (b) Q: 这些都是男同学。 ┐Q: 这些不都是男同学。 2.合取词∧(Conjunction) 如果P和Q是命题,那么“P并且Q”是一个复合命题,记为P∧Q,称为P和Q的合取,读做“P与Q”或“P并且Q”。 用法灵活 与自然语言中表示并列、加强、转折等的词：“和”、“与”、“且”、“而且”、“并且”、“既…又…”、“不但…而且…”、“虽然…但是…”、“而”类似 没有明显否定、选择、因果的表述也应该是合取 3.析取词∨(disjunction) 如果P和Q是命题, 则“P或Q” 是一个复合命题, 记作P∨Q, 称为P和Q的析取, 读做“P或Q”。 例 (a)今晚我写字或看书 P: 今晚我写字, Q: 今晚我看书。 P∨Q (b)选小王或小李当班长 R :选小王当班长，S :选小李当班长 R∨S ？ 4.条件词→(蕴涵,蕴含,conditional) 如果P和Q是命题,那么“P蕴含Q”是一个复合命题,记为P→Q,称为条件式,读做“如果P,那么Q”或“P则Q”。运算对象P叫做前提,假设或前件,而Q叫做结论或后件。 例 (a) P: 天不下雨, Q: 草木枯黄。 P→Q: 如果