逻辑导论课件(第二章命题逻辑)
合集下载
命题逻辑-PPT
![命题逻辑-PPT](https://img.taocdn.com/s3/m/c42f1503302b3169a45177232f60ddccdb38e604.png)
q→r
∴p→r
二难推理CD
(p→q) ∧(r→s) p∨r
破坏式二难推理DD
(p→q) ∧(r→s) q∨ s
∴ q∨s
∴ p∨ r
• 例1 如果商品短缺日益严重,那么物价会上涨。如 果存在生产过剩,那么物价不会上涨。如果存在通 货膨胀威胁,那么财政控制将继续。如果政府改组, 那么财政控制将取消。或者存在生产过剩,或者政 府改组。因此,商品短缺不会日益严重,或者不再存 在通货膨胀威胁。
• 第2类符号就是逻辑常元,她们有确定得逻辑 解释因而能够表达某种确定得真假联系。
• 第3类符号则就是为避免歧义以构造合式命 题公式所需要得辅助符号。
• 形成规则
• 1、所有命题变元就是命题公式;
• 2、如果就是命题公式,那么就是命题 公式
• 3、如果、就是命题公式,那么 (),(∧)、(Φ∨Ψ)和(ΦΨ)也就是命 题公式;
• 例2、判定命题公式“(p∧q) →r”与“p∨(q →r)”就是否逻辑等值。
2、1命题公式之间得逻辑等值
• 如果两个公式就是等值得,那么以这两个公 式为子公式构造一个等值式:
• (﹁p∨ ﹁ q )(﹁ (p∧q))。 • 这个等值式就是恒真得,由此可推知,一个等
值式就是重言式,那么她得两个子公式逻辑 等值。
• ① 恒真式。不论其中得变元取什么样得值,函项 式得值恒为真。
• ② 恒假式。无论其中得变元取什么样得值,函项 式得值恒为假。
• ③ 协调式。既不就是恒真式也不就是恒假式函 项式。显然,协调式在其变元得某些取值组合下为 真,在另一些取值组合下又为假得。因此。协调式 得真假由变元得真假决定。
第二节命题公式之间得逻辑等值 关系
• 例1 如果商品短缺日益严重,那么物价会上涨。如 果存在生产过剩,那么物价不会上涨。如果存在通 货膨胀威胁,那么财政控制将继续。如果政府改组, 那么财政控制将取消。或者存在生产过剩,或者政 府改组。因此,商品短缺不会日益严重,或者不再存 在通货膨胀威胁。
逻辑与科学方法论基础第二章命题逻辑基本知识
![逻辑与科学方法论基础第二章命题逻辑基本知识](https://img.taocdn.com/s3/m/1420bacf4028915f804dc22d.png)
排中律(Law of Excluded Middle ):在同一个思维过程中,不能
同时否定两个相互反对的命题。 形式: A或非A p∨﹁p
普通逻辑学基本知识
逻辑基本规律
1. 析取定义律: (p∨q ) ↔ ﹁(﹁ p∧﹁ q ) 2. 合取定义律: (p∧q ) ↔ ﹁(﹁ p∨﹁ q ) 3. 德摩根律: ﹁ (p∧q ) ↔ (﹁ p∨﹁ q ) ﹁ (p∨ q ) ↔ (﹁ p∧ ﹁ q ) 4. 蕴涵定义律: (p →q ) ↔ (﹁p∨q) 5. 否定蕴涵律: ﹁ (p →q ) ↔ (p∧﹁q) 6. 逆蕴涵定义律: (p ←q ) ↔ (p∨﹁q) 7. 否定逆蕴涵律: ﹁ (p ←q ) ↔ (﹁p∧q) 8. 蕴涵逆蕴涵交换律: (p →q ) ↔ (q ← p ) (p ←q ) ↔ (﹁ p → ﹁ q ) 9. 等值定义律: (p ↔q ) ↔ ((p∧q )∨(﹁p∧﹁q)) (p ↔q ) ↔ ( p →q )∧(p ←q) 10. 否定等值律: ﹁ (p ↔q ) ↔ ((p∧﹁ q )∨(﹁p∧q))
无效式
联言推理
组合式: p,q├ p∧q
选言推理
否定肯定式: p∨q , ﹁p├ q p ∨ q ∨ r, ﹁ q ├ p ∨ r
附加律:p├ p∨q p∨ q├ p∨ q∨ r
肯定否定式
普通逻辑学基本知识
复合命题推理的有效式
类 型
充分条件假言推理
有效式
肯定前件式: p→q , p├ q 否定后件式: p→q , ﹁q├ ﹁p
普通逻辑学基本知识
逻辑基本规律
检验: 4. 蕴涵定义律:
5. 否定蕴涵律:
(p →q ) ↔ (﹁p∨q)
离散数学讲义 第二章命题逻辑PPT课件
![离散数学讲义 第二章命题逻辑PPT课件](https://img.taocdn.com/s3/m/f31b33ce31b765ce050814c7.png)
解 令P:我得到这本小说;Q:我今夜就读完它。
于是上述命题可表示为P→Q。
7
5.等值“”
定义2.2.5 设P和Q是两个命题,则它们的等值命
题是一个复合命题,称为等值式复合命题,记作“P Q” (读作“P当且仅当Q”)。
当P和Q的真值相同时,PQ取真,否则取假。
例10
P
Q
P Q
0
0
1
0
1
0
1
0
0
德.摩根定律
E11
PQP∨Q
E12
P Q (P∧Q)∨(P∧Q)
E13
P (QR) (P∧Q) R
E14
P Q (PQ)∧(QP)
E15
PQQP
23
三、等价式的判别
有两种方法:真值表方法,命题演算方法
1、真值表方法
例1 用真值表方法证明 E10: (PQ) PQ
解 令:A= (PQ),B= PQ,构造A,B
一个复合命题,记作“P→Q”(读作“如果P,则Q”)。
当P为真,Q为假时,P→Q为假,否则 P→Q为真。
P
Q
P→Q
0
0
1
0
1
1
1
0
0
1
1
1
例8 若P:雪是黑色的;Q:太阳从西边升起;
R:太阳从东边升起。则P→Q和P→R所表示的命题都是真的.
例9 将命题“如果我得到这本小说,那么我今夜
就读完它。”符号化。
对于上述五种联结词,应注意到: 复合命题的真值只取决于构成它的各原子命题的真 值,而与这些原子命题的内容含义无关。
9
命题符号化
利用联结词可以把许多日常语句符号化。基本步骤如下:
逻辑导论 ppt课件
![逻辑导论 ppt课件](https://img.taocdn.com/s3/m/53165b780242a8956bece4b8.png)
Heraclitus(约前540年—前480年) 古希腊哲学家、爱非斯派的创始人
2、词义 (1)客观事物的规律 (2)某种具体的理论、观点等 (3)思维的规律 (4)逻辑学
苏格拉底 前468-399 柏拉图前427-347
1
亚里士多德 弗兰西斯培根
(前384-322 ) (1561-1626)
21事:(1)鸡三足(2)卵有毛(3)郢有天 下(4)犬可以为羊 (5)马有卵(6)丁子有 尾(7)火不热冰不寒(8)山出口(9)轮不 碾地(10)目不见(11)指不至,至不绝 (12)龟长于蛇(13)矩不方,规不可以为 圆(14)凿不围枘(15)飞鸟之影,未尝动 也(16)镞矢之疾,而有不行不止之时(17) 狗非犬(18)黄马,骊牛,三(19)白狗黑 (20)孤驹未尝有母(21)一尺之棰,日取 其半,万世不竭
言尽悖,辩无胜
荀子对名家的评价
《荀子》:不法先王,不是礼 义,而好治怪说,玩琦词,甚 察而不惠,辨而无用,多事而 寡功,不可以为治纲纪;然则 其持之有故,其言之成理,足 以欺惑愚众。是惠施、邓析也。
你正在参加赛跑,几经辛苦, 你终于超过第二位的健儿,你 现在是第几?
如果你跑呀跑,超过 最后一名,那你现在 是第几?
②如果过度砍伐森林,那么就会破坏生态平衡。 ③如果某甲作案,那么他有作案时间。
它们共同的形式是:如果p,那么q
又如:
①有的教师是律师。 ②有的被告人是无罪的。 ③有的人是自私的。
它们共同的形式是:有的S是P
2、思维形式具有规律性
有一类思维形式结构在任意 代入下都表达真实的思想内 容,这称为逻辑规律。 例如: “p或者非p”、“所有S是S”
享受逻辑训练的成果
二、逻辑学的起源
《命题逻辑教学》课件
![《命题逻辑教学》课件](https://img.taocdn.com/s3/m/f55f5808777f5acfa1c7aa00b52acfc789eb9fc1.png)
添加副标题
命题逻辑教学
汇报人:PPT
目录
CONTENTS
01 添加目录标题
02 命题逻辑的基本概 念
03 命题逻辑的推理规 则
04 命题逻辑的推理系 统
05 命题逻辑的应用
06 命题逻辑的局限性 和未来发展
添加章节标题
命题逻辑的基本 概念
命题的定义和表示
命题:陈述句或判断句,表示一个事实或观点 命题的表示:使用符号或公式表示命题,如P、Q、R等 命题的真值:命题的真假,用T(真)或F(假)表示 命题的连接词:与、或、非等,用于连接多个命题,形成复合命题
语义分析:利用 命题逻辑对句子 进行语义分析, 提高自然语言处 理的智能化程度
情感分析:利用 命题逻辑对句子 进行情感分析, 提高自然语言处 理的人性化程度
在形式化方法中的应用
描述系统:使用 命题逻辑描述系 统状态和操作
验证系统:使用命 题逻辑验证系统正 确性和安全性
设计算法:使用 命题逻辑设计算 法和程序
添加标题
包括命题、命题连接词、命题公 式等基本概念
添加标题
添加标题
推理系统的主要方法包括演绎推 理和归纳推理
推理系统的正确性和可靠性
命题逻辑的推理 系统是基于逻辑 规则的,这些规 则是客观存在的, 因此推理系统的 正确性是客观的。
命题逻辑的推理系 统是建立在公理和 定理的基础上的, 这些公理和定理是 普遍适用的,因此 推理系统的可靠性 是普遍的。
命题逻辑的推理 规则
直接推理规则
肯定前件,肯 定后件(P→Q,
P,所以Q)
否定后件,否 定前件(P→Q, ¬Q,所以¬P)
肯定后件,肯 定前件(P→Q,
Q,所以P)
否定前件,否 定后件(P→Q, ¬P,所以¬Q)
命题逻辑教学
汇报人:PPT
目录
CONTENTS
01 添加目录标题
02 命题逻辑的基本概 念
03 命题逻辑的推理规 则
04 命题逻辑的推理系 统
05 命题逻辑的应用
06 命题逻辑的局限性 和未来发展
添加章节标题
命题逻辑的基本 概念
命题的定义和表示
命题:陈述句或判断句,表示一个事实或观点 命题的表示:使用符号或公式表示命题,如P、Q、R等 命题的真值:命题的真假,用T(真)或F(假)表示 命题的连接词:与、或、非等,用于连接多个命题,形成复合命题
语义分析:利用 命题逻辑对句子 进行语义分析, 提高自然语言处 理的智能化程度
情感分析:利用 命题逻辑对句子 进行情感分析, 提高自然语言处 理的人性化程度
在形式化方法中的应用
描述系统:使用 命题逻辑描述系 统状态和操作
验证系统:使用命 题逻辑验证系统正 确性和安全性
设计算法:使用 命题逻辑设计算 法和程序
添加标题
包括命题、命题连接词、命题公 式等基本概念
添加标题
添加标题
推理系统的主要方法包括演绎推 理和归纳推理
推理系统的正确性和可靠性
命题逻辑的推理 系统是基于逻辑 规则的,这些规 则是客观存在的, 因此推理系统的 正确性是客观的。
命题逻辑的推理系 统是建立在公理和 定理的基础上的, 这些公理和定理是 普遍适用的,因此 推理系统的可靠性 是普遍的。
命题逻辑的推理 规则
直接推理规则
肯定前件,肯 定后件(P→Q,
P,所以Q)
否定后件,否 定前件(P→Q, ¬Q,所以¬P)
肯定后件,肯 定前件(P→Q,
Q,所以P)
否定前件,否 定后件(P→Q, ¬P,所以¬Q)
命题逻辑之二(逻辑学)归纳.ppt
![命题逻辑之二(逻辑学)归纳.ppt](https://img.taocdn.com/s3/m/abcd918bd15abe23482f4da5.png)
精选
13
• C说:我同意B的分析。此外,我还要补充 一点理由:只有这块布上有血迹,才有可 能是圣物;像刚才B所说的,我们亲眼看见 它上面有许多血迹,可见它是圣物无疑了。
精选
14
• D说:我不认为它是圣物,这道理是最简单不 过的。许多研究纺织史的专家认为:在欧洲, 粗糙的亚麻织品在公元前虽然就出现了,而 亚麻细布却是直到公元2世纪才出现。这就是 说,如果这块布真的是耶稣的裹尸布,那么, 耶稣应该是公元2世纪以后才受难的,可见, 《圣经》说它是公元1世纪受难的呀!可见, 它根本不可能是什么圣物。
精选
4
• 否定析取支
• P∨ Q
• ¬P
和
• ∴Q
P∨ Q ¬Q ∴P
• 附加 •P • ∴ P∨ Q
和Q ∴ P∨ Q
精选
5
• 根据析取命题的特征真值表,析取命题真 并且其中一个析取支真另一个析取支可真 可假;析取命题真并且其中一个析取支假 另一个析取支真;析取命题一个析取支真, 析取命题真。
精选
28
• 推而广之,对于任何命题P,无论它是以整 个命题出现,还是作为一个命题的一部分 出现,都可用与它重言等值的命题Q来替换。
• 可以如此应用置换规则,其实道理简单说 就是→与↔的逻辑意义的不同,重言等值 命题的↔两边的命题的真值一致,不论作 为整个命题还是命题一部分,相互替换都 不会改变整个命题的真值。
41
• 将此推论符号化。令: • L:狮子说“昨天是我说谎话的日子”; • D:独角兽说“昨天是我说谎话的日子”; • S:当天是周日; • T:当天是周四。 • 上述推论符号化为: • DS∨T • L∧D
• ¬ (L S) • ∴T
精选
42
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
一、联结词与复合命题
由以上举例,可见:
在复合命题中,由联结词所连接的那些命题称为复合命题 的支命题。
也就是说,复合命题是由若干个支命题和一个或多个联结 词所组成的。
不能分析为复合命题的命题,称为简单命题。
一、联结词与复合命题
3、连词的逻辑含义
(1)连词的含义是多方面的。
真值 真
假 (2)联结词是对命题真值关系的抽象。
从逻辑学的角度来说,将这种由联结词连接一些命 题所构成的新的命题称为复合命题。
一、联结词与复合命题
例如
小明是中国政法大学的学生并且小明参加了彩虹拉拉队。 或者小明是中国政法大学的学生或者小明参加了彩虹拉拉队。 如果小明是中国政法大学的学生那么小明参加了彩虹拉拉队。 小明是中国政法大学的学生当且仅当小明参加了彩虹拉拉队。
二、基本的复合命题形式
4、假言命题(蕴涵命题、条件命题)
分析
• 第一,实质蕴涵抽象、概括出了自然语言中“如 果……那么……”这类联结词的各种不同用法中 所共有的逻辑内容,因而具有普遍适用性。
二、基本的复合命题形式
4、假言命题(蕴涵命题、条件命题)
分析
第二,经典逻辑这样解释蕴涵词是最符合实际思维的。 例如:
二、基本的复合命题形式
2、联言命题
判断正误
①如果一个联言命题为假,则其联言支均假。 ②如果一个联言命题为真,则其联言支均真。
二、基本的复合命题形式
3、选言命题
(1)定义 选言命题是由析取词联结命题而构成的命题。 它陈述几个命题中至少有一个命题成立。
例如
①明天或者是晴天或者是阴天。 ②他或者得了气管炎,或者得了支气管炎,或者得了
又称为命题常元。
一、联结词与复合命题
4、五种基本的逻辑联结词
(2)命题变项 支命题的值有可能取真值,也有可能取假值,是命 题形式中可变的部分,称之为命题变项,又称为命 题变元。 我们一般用符号p、q、r、s、t……表示。
一、联结词与复合命题
4、五种基本的逻辑联结词 (3)命题形式
并非小明是中国政法大学的学生。 小明是中国政法大学的学生并且小明参加了彩虹拉拉队。 或者小明是中国政法大学的学生或者小明参加了彩虹拉拉队。 如果小明是中国政法大学的学生那么小明参加了彩虹拉拉队。 小明是中国政法大学的学生当且仅当小明参加了彩虹拉拉队。
肺炎。 ③某甲和某乙至少有一个人是凶手。
二、基本的复合命题形式
3、选言命题
(2)形式结构 p或者q,pq,称为析取式。 p、q……称为选言支。
二、基本的复合命题形式
3、选言命题
(3)逻辑性质
p
q
pq
+
+
++源自++
+
二、基本的复合命题形式
3、选言命题
判断正误
①如果一个选言命题为真,则其选言支均真。 ②如果一个选言命题为假,则其选言支均假 。
1、负命题
(3)逻辑性质
辨析
下列命题是否负命题: ①并非证据都是不确实的。 ②证据都不是确实的。 ③证据都是不确实的。 ④证据不都是确实的。
二、基本的复合命题形式
2、联言命题
(1)定义
联言命题是由合取词联结若干支命题而构成的命题。
它对所陈述的命题都加以肯定。
例如
①法律是打击犯罪的武器并且法律是保护人民的武器。 ②鉴定结论和勘验笔录都是证据。 ③林纾是著名的翻译家,但他不懂外语。 ④他不但没有跪下,反而把腰杆挺得更直了。 ⑤他大发了一通脾气,然后气冲冲地走了。 ⑥虚心使人进步,骄傲使人落后。
p pq pq p→q p↔q
命题形式 或 命题公式
一、联结词与复合命题
?
• 是否每个复合命题都有一个确定的命题形式? • 不同的命题是否可以有相同的形式?
二、基本的复合命题形式
1、负命题
(1)定义:
负命题是在某个命题前加上否定词而构成的命题。
它陈述对某个命题的否定。
①并非所有证据都是确实的。
例如
二、基本的复合命题形式
2、联言命题
(2)形式结构 p并且q ,pq ,称为合取式。 p、q……称为联言支。
二、基本的复合命题形式
2、联言命题
(3)逻辑性质
p
q pq
+
+
+
+
+
二、基本的复合命题形式
2、联言命题
辨析 下列命题是否联言命题: ①物证和证人证言都是证据。 ②地球和月球都是太阳的行星。
目录
关于命题推理的规律
一、联结词章与命复题合逻命辑题
二、基本的复合命题形式 三、多重复合命题 四、重言式 五、复合命题推理的基本有效式
一、联结词与复合命题
1、什么是联结词
语言中的连词表达联结词。 但连词并不等于联结词。
2、什么是复合命题
从语言学的角度来说,连词的作用是将一些句子连 接起来形成一个复合句。
基本联结词
一、联结词与复合命题
4、五种基本的逻辑联结词 (1)逻辑联结词
只反映命题真假关系的连词我们称之为逻辑联结词,或者真值联结词。 这五种联结词分别是:
并非……,……并且……,……或者……, 如果……那么……,……当且仅当……。
我们分别用符号 、 、 、→、↔表示。 命题联结词是复合命题形式中不变的部分,即复合命题中的常项部分,
二、基本的复合命题形式
4、假言命题(蕴涵命题、条件命题)
(1)定义
假言命题是由蕴涵词联结命题而构成的命题。
它陈述某一命题存在是另一命题存在的条件。
①如果某甲是案犯,那么某甲有作案时间。
例如
②假如他能保持现在的状态,那么比赛时就会创造佳绩。
③只要驳倒了对方的论证,就能胜诉。
④人心齐,泰山移。
⑤《刑法》第三百零七条:帮助当事人毁灭、伪造证据,情 节严重的,处三年以下有期徒刑或者拘役。
二、基本的复合命题形式
4、假言命题(蕴涵命题、条件命题)
(2)形式结构 如果p那么q,p→q,称为蕴涵式。 p称为前件,q称为后件。
二、基本的复合命题形式
4、假言命题(蕴涵命题、条件命题)
(2)逻辑性质
p
q
+
+
+
+
p→q
+ + +
二、基本的复合命题形式
4、假言命题(蕴涵命题、条件命题)
当前件为真时,后件也为真。 即如果一个假言命题为真,就不会是前真而后假。 这样理解的蕴涵关系称为实质蕴涵。
②不是所有发光的都是金子。
③并不是说一旦刮风就要下雨。
④说所有人都是自私的,这是错误的。
⑤天气预报今天有雨,这是假的。
⑥同位角不相等,这是不成立的。
二、基本的复合命题形式
1、负命题
(2)形式结构
并非p ,p,称为否定式。
二、基本的复合命题形式
1、负命题
(3)逻辑性质
p
p
+ +
_ _
二、基本的复合命题形式