逻辑推理 命题逻辑
逻辑学:命题逻辑

第二章 命题逻辑
第二节 复合命题及其推理
负命题
负命题由否定联结词(如“并非”)联结支命题而形成的复合命 题。例如: (1)并非选修逻辑的学生都是文科生。 (2)这个班的学生不都学英语。 (3)如果它是三角形,则内角和等于180°,这个观点不对。 注:负命题的支命题可以是简单命题,也可以是复合命题。
20语句
任何命题都是通过语句来表达的,但语句和命题并非一一对应:
首先,有的语句不能直接表达命题,如: •(1)西南大学在重庆吗? •(2)请把门关上! 一般来讲:陈述句与反诘句可以直接表达命题。 其次,同一命题可以用不同的语句来表达,如: “所有的鸟都会飞”与“没有鸟不会飞”表达了相同的命题。 此外,同一命题可用不同的民族语言的语句来表达。 再次,同一语句,可以表达不同的命题,如: 小张将书还给小王,因为他要回家了。
真值表的作用
•p •T •F •¬p F T
根据这个真值表,也可以给f(p)=p这个一元真值函数作如下定义: p为真当且仅当p为假; p为假当且仅当p为真。
2018年8月17日星期五
10
负命题
根据负命题的逻辑性质,可对¬p再否定得到¬¬p,其真值与 p相同,真值表如下:
•p •T •F •¬p •F •T •¬¬p •T •F
2018年8月17日星期五 4
命题的分类
简单命题
非模态命题 命 题
模态命题 复合命题
2018年8月17日星期五
5
命题分析的层次
将联结词所联结的命题作为一个完整的单位来看待
•
•
——研究关于联结词的推理(命题逻辑)
——研究关于量项和联项的推理(传统词项逻辑)
命题逻辑ppt课件

按从左到右的顺序运算; 2:假设遇有括号时,应该先进展括号中的运算.
留意: 本书中运用的 括号全为圆括号〔〕.
2.2 命题公式
命题变项与合式公式 公式的赋值 真值表 命题的分类
重言式 矛盾式 可满足式
命题变项与合式公式
随堂练习
1:写出命题、简单命题的定义。 2:用符号定义五个结合词及其各自取值情况。 3:写出蕴涵式的定义,分析前件与后件的关系,
列出对应的言语表达方式。 4:写出遇到析取结合词二义性时的判别方式及对应
符号表示。 5:列出下面公式的真值表,阐明各公式的层次
(p q) ((p q) (q p)) (p q) (p q) 6:写出命题公式的定义
pq r
pq
000
0
001
0
010
1
011
1
100
1
101
1
110
1
111
1
r (pq)r
1
1
0
1
1
1
0
0
1
1
0
0
1
1
0
0
公式的类型
定义2.9 设A为一个命题公式 (1) 假设A在它的各种赋值下取值均为真,那么称A为重言 式(也称永真式) (2) 假设A在它的各种赋值下取值均为假,那么称A为矛盾 式(也称永假式) (3) 假设A至少存在一组赋值是成真赋值,那么称A为可满 足式
3.析取式与析取结合词“∨〞
定义2.3 设 p,q为二命题,复合命题“p或q 〞称作p与q的析取式,记作p∨q,∨称作 析取结合词,并规定
p∨q为假当且仅当p与q同时为假. 例即将:p以∨下命q题为符真号化当且仅当p与q至少有一个为真。 此处(1)定2或义4是的素析数.取式p∨q表示的是一种相容性
命题逻辑的推理理论

前提引入 ①化简 ①化简 前提引入 ②④假言推理 前提引入 ③⑥假言推理 ⑤⑦析取三段论
29
附加前提法
有时推理旳形式构造具有如下形式 : 前提:A1, A2, …, Ak 结论:CB
可将结论中旳前件也作为推理旳前提,使结论只为B。 前提:A1, A2, …, Ak, C 结论:B
理由: (A1A2…Ak)(CB) ( A1A2…Ak)(CB) ( A1A2…AkC)B (A1A2…AkC)B
当推理中包括旳命题变项较多时,上述三种措施演 算量太大。
对于由前提A1,A2,…,Ak推B旳正确推理应该给出严谨 旳证明。
证明是一种描述推理过程旳命题公式序列,其中旳 每个公式或者是前提,或者是由某些前提应用推理 规则得到旳结论(中间结论或推理中旳结论)。
要构造出严谨旳证明就必须在形式系统中进行。
31
例题
(2) 形式构造:
前提:(p∧q)→r,┐s∨p,q 结论:s→r
(3)证明:用附加前提证明法
①s
附加前提引入
② ┐s∨p
前提引入
③p
①②析取三段论
④ (p∧q)→r
前提引入
⑤q
前提引入
⑥ p∧q
③⑤合取
⑦r
④⑥假言推理
32
归谬法(反证法)
有时推理旳形式构造具有如下形式:
前提:A1, A2, …, Ak 结论:B
只要不出现(3)中旳情况,推理就是正确旳,因而判断 推理是否正确,就是判断是否会出现(3)中旳情况。
推理正确,并不能确保结论B一定为真。
7
例题
例3.1 判断下列推理是否正确。(真值表法)
(1) {p,p→q}├ q (2) {p,q→p}├ q
命题逻辑基本推理公式

命题逻辑基本推理公式(1) P∧Q⇒P .(2)¬( P→Q)⇒P .(3)¬(P→Q)⇒¬Q.(4) P⇒P ∨Q.(5)¬P⇒P →Q.(6) Q⇒P →Q.(7) ¬P∧(P∨Q) ⇒Q.选言推理否定式(8) P∧(P→Q) ⇒Q. 假言推理肯定前件式(9) ¬Q∧(P→Q) ⇒¬P .假言推理否定后件式(10) (P→Q)∧(Q→R) ⇒P→R. 三段论(11) (P↔ Q)∧(Q↔R) ⇒P↔R. 双条件三段论(12) (P→R)∧(Q→R)∧( P ∨Q) ⇒R. 二难推理(13) (P→Q)∧(R→S) ∧(P ∨R)⇒Q∨S. 二难推理(14) (P→Q)∧(R→S) ∧¬(Q∨¬S)⇒¬P ∨¬R. 破坏二难推理(15) (Q→R) ⇒(( P∨Q)→(P ∨R)) .(16) (Q→R) ⇒(( P→Q)→(P→R)) .使用真值表法证明这些推理公式是容易的。
若从语义上给予直观说明也是不难的. 如公式(2), ¬(P →Q) ⇒P . 公式( 3), ¬(P →Q)⇒Q. 意思是说, 若P →Q 不成立( 取假), 必有 P 为真, 还有 Q 为假. 这从P →Q 的定义可知, 因只有当 P = T 而 Q = F 时, P →Q = F. 又如公式( 7), ¬P ∧(P ∨Q)⇒Q. 意思是说, P 不对, 而P ∨Q 又对, 必然有 Q 对.公式( 8) , P ∧(P →Q) ⇒Q 常称作假言推理, 或称作分离规则, 是最常使用的推理公式。
公式(10) , (P →Q) ∧(Q→R)⇒P →R 常称作三段论。
日常语言运用:(1) 此人既呆又笨为真,则此人笨为真。
(2)(3)并非“犯错蕴涵失败“,即是说,”如果犯错,那么失败“为假命题,则必有犯错且不失败的例子。
命题逻辑推理理论

9
4.2.2 自然推理系统P
自然推理系统P由下述3部分组成: 1. 字母表 (1) 命题变项符号: p,q,r,…, pi,qi,ri,… (2) 联结词: , , , , (3) 括号与逗号: ( ), , 2. 合式公式 3. 推理规则 (1) 前提引入规则 (2) 结论引入规则:将结论作为后继证明前提 (3) 置换规则:子公式用与之等值的公式置换
26
归结证明法(续)
在自然推理系统P中只需下述推理规则(P70-71): (1) 前提引入规则 (2) 结论引入规则 (3) 置换规则 (4) 化简规则
(5) 合取引入规则
(6) 归结规则
27
归结证明法的基本步骤
1. 将每一个前提化成等值的合取范式, 设所有合取范式的 全部简单析取式为A1, A2,…, At 2. 将结论化成等值的合取范式B1B2…Bs, 其中每个Bj 是简单析取式 3. 以A1,A2,…,At为前提, 使用归结规则推出每一个Bj, 1js
r:我有课, 前提: (pq)r, s:我备课
r s,
s 结论: pq
15
实例(续)
前提: (pq)r, rs, s 结论: pq 证明 ① r s 前提引入 ② s 前提引入 ③ r ①②拒取式 ④ (pq)r 前提引入 ⑤ (pq) ③④拒取式 ⑥ pq ⑤置换 结论有效, 即明天不是星期一和星期三
23
实例
例5 构造下面推理的证明
前提: (pq)r, rs, s, p
结论: q 证明 用归缪法
①q 结论否定引入 ② r s 前提引入 ③ s 前提引入 ④ r ②③拒取式 ⑤ (pq)r 前提引入 ⑥ (pq) ④⑤析取三段论 ⑦ pq ⑥置换 ⑧ p ①⑦析取三段论 ⑨p 前提引入 ⑩ pp ⑧⑨合取 推理正确, q是有效结论
命题逻辑-

4.2有效推理得形式证明
• 自然演绎系统形式证明就是建立在 推理规则基础之上得。这些规则大 约可分为四部分:一就是基本推导 规则,二就是等值替换规则,三就是 条件证明规则,四就是间接证明规 则。
一、基本推导规则:
根据合取式得逻辑特征:
组合式 简记为∧+
根据析取式得逻辑特征:
选言三段论
简记∨-
根据蕴涵式得逻辑特征:
• 例2.判定命题公式“(p∧q) →r”与“p∨(q →r)”就是否逻辑等值。
2.1命题公式之间得逻辑等值
• 如果两个公式就是等值得,那么以这两个公 式为子公式构造一个等值式:
• (﹁p∨ ﹁ q )(﹁ (p∧q))。 • 这个等值式就是恒真得,由此可推知,一个等
值式就是重言式,那么她得两个子公式逻辑 等值。
• 证:① (A∨B)→C
P \A→C
• ② (A∨B) ∨ C
①Impl
• ③ ( A ∧ B) ∨ C
②DeM
• ④ ( A ∨C) ∧( B ∨ C ) ③Dist
• ⑤ A ∨C
④∧-
• ⑥A →C
⑤Impl
作业
• 一、运用真值表方法,判定下列命题就是不 就是等值命题。
• l、如果这匹马儿不吃饱草,那么这匹马儿不 能跑。
• 3.德摩根律 ¬(p∧q) ¬p∨¬q;
•
¬(p∨q) ¬p∧¬q。
• 4、分配律 p∧(q∨r) (p∧q)∨(p∧r)
•
p∨(q∧r) (p∨q) →(p∨r)
• 5、实质蕴涵(p→q) ( p ∨ q)
• 6.假言易位 (p→q) ( q → p )
• 7、移出律 (p∧q) →r p→(q →r)
第1章 命题逻辑3

第1章 命题逻辑
定义1.6.3 设p和q是两个命题,复 合命题p↓q称作p和q的或非。定 义为:当且仅当p、q的真值都为 假时,p↓q的真值为真。联结词 “↓”称为或非联结词。
表1.20 p 0 0 q 0 1 p↓ q 1 0
1
1
0
1
0
0
由此定义可得到下面的公式: p↓q¬ (p∨q)
联结词↓还有下面的几个性质: ⑴ p↓p¬ (p∨p) ¬ p ⑵ (p↓q)↓(p↓q) ¬ (p↓q) ¬ ¬ (p∨q)p∨q ⑶ (p↓p)↓(q↓q) ¬ p↓¬q¬ (¬ p∨¬ q)p∧q
第1章 命题逻辑
蕴含式是逻辑推理的重要工具。下面是一些重要的蕴含 式。它们都可以用上述两种方法证明,其中A,B,C,D是 任意的命题公式。 1.附加律 AA∨B, BA∨B 2.化简律 A∧BA, A∧BB 3.假言推理 A∧(A→B)B 4.拒取式 ¬ B∧(A→B)¬ A 5.析取三段论 ¬ A∧(A∨B)B, ¬ B∧(A∨B)A 6.假言三段论 (A→B)∧(B→C)(A→C) 7.等价三段论 (A↔B)∧(B↔C)(A↔C) 8.构造性二难 (A∨C)∧(A→B)∧(C→D)B∨D (A∨¬ A)∧(A→B)∧(¬ A→B)B 9.破坏性二难 (¬ B∨¬ D)∧(A→B)∧(C→D)(¬ A∨¬ C)
第1章 命题逻辑
定义1.6.5 设S是全功能联结词集,如果去掉其中的任何 联结词后,就不是全功能联结词集,则称S是最小全功 能联结词集。 可以证明 ¬,∧ , ¬,∨ , ↑ , ↓ 是最小全 功能联结词集。
第1章 命题逻辑
讨论:n个命题变元可以构成多少个不等价的命题公式? 两个命题变元可以构成多少个不等价的命题公式? 由等价的概念知道,等价的命题公式有相同的真值表,所 以上述问题就转化为两个命题变元构成的命题公式有多少个不 同的真值表? 表1.21 两个命题变元构成的命题公式 p q 公式 的真值表的格式如表1.21所示。 0 0 1或0 真值表中每行公式的真值都 有1,0两种可能,所以命题公式 0 1 1或0 22 的真值有2×2×2×2=24= 2 =16 1 0 1或0 22 种可能,既有 2 个不同的真值表。 22 1 1 1或0 故有 种不等价的公式。 2 8= 23个不等价的命题公式,n个变元可 三个变元可构成 2 2 2n 构成 2 个不等价的命题公式。
3第三章 命题逻辑的推理理论

从语言角度, 推理分为语义和语法两种。 从语言角度, 推理分为语义和语法两种。 语义(semantics)推理注重内涵的正确性 也就是从真 语义(semantics)推理注重内涵的正确性, 也就是从真 推理注重内涵的正确性, 要推出真的结论来, 的前提出发要推出真的结论来 推理过程考虑得少, 的前提出发要推出真的结论来, 推理过程考虑得少,关 心的是结论的正确性。 心的是结论的正确性。 语法推理则注重形式上的有效, 注重推理过程是否符 语法推理则注重形式上的有效, 注重推理过程是否符 则注重形式上的有效 合某些事先规定的逻辑规则, 结论是严格遵循规则 合某些事先规定的逻辑规则, 若结论是严格遵循规则 有效的 得到的, 那便是有效 得到的, 那便是有效的。 数理逻辑主要采用语法推理, 数理逻辑主要采用语法推理, 它关心的是结论的有效 不关心前提的实际真值, 性,而不关心前提的实际真值, 当然语法推理作为一 种推理方法, 种推理方法, 它必须能反映客观事物中真实存在的逻 辑关系, 语法推理必须保证语义上的正确性 必须保证语义上的正确性。 辑关系, 即 语法推理必须保证语义上的正确性。
3、2.1节给出的24个等值式中的每个都可以 2.1节给出的 个等值式中的每个都可以 节给出的24 派生出两条推理定律。 派生出两条推理定律。 例如:双重否定律 A⇔¬¬A ⇔¬¬A 例如: 可以产生两条推理定律 A⇒¬¬A ¬¬A ¬¬A ¬¬A ⇒A
§3.2 自然推理系统P 自然推理系统P
由上一节知识可知,可以利用真值表法、等值演算法 由上一节知识可知,可以利用真值表法、 真值表法 和主析取范式法三种方法来判断推理是否正确。 和主析取范式法三种方法来判断推理是否正确。 三种方法来判断推理是否正确 但是,当推理中包含的命题变项较多时,以上三种 命题变项较多时 但是,当推理中包含的命题变项较多 方法的演算量太大。因此对于由前提A1, A2,…,Ak推 方法的演算量太大。因此对于由前提A B的正确推理应给出严谨的证明。 正确推理应给出严谨的证明。 证明是一个描述推理过程的命题公式序列, 证明是一个描述推理过程的命题公式序列,其中的每 是一个描述推理过程的命题公式序列 个公式是已知前提或者是由某些前提应用推理规则得 个公式是已知前提或者是由某些前提应用推理规则得 已知前提或者是 到的结论。 到的结论。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
➢逻辑结构:pq 有p必有q,无p未必无q ➢自然语句:如果…那么;若…则;只要…就。
必要条件假言命题
➢逻辑结构:pq 无p必无q,有p未必有q ➢自然语句:只有…才;除非…不;没有…就没有。
充分必要条件假言命题
➢逻辑结构:pq 有p必有q,无p必无q ➢自然语句:当且仅当…才。
LOGICIZE 3 - 12
• 只有它才行, 别的都不行
• 发高烧—生病
例析 • 摩擦—生热
• 贩毒—受法律制裁
• 生病—发高烧 • 等边三角形—等角 • 努力—成功 • 年满18—有选举权 • 考60分以上—及格
LOGICIZE 3 - 13
3.3.3 假言命题与其前后件的真假关系
• 充分条件假言命题 [例1] 如果发高烧,那么生病了。 [例2] 若摩擦,则生热。
[例] 该案的作案人或者是甲,或者是乙; 现已查明该案的作案人不是甲。
所以,该案的作案人是乙。
LOGICIZE 3 - 9
• 不相容选言推理的肯定否定式
——肯定一部分选言支,可以否定另一部分选言支
p q ,q p
p q,p q
[例]该罪犯要么是过失犯罪,要么是故意犯罪; 该罪犯是过失犯罪。
所以,该罪犯不是故意犯罪。
▪ 定义:选言支可同真 ▪ 自然语句:或…或;可能…也可能
不相容选言命题
▪ 定义:选言支不同真 ▪自然语句:不是…就是;要么…要么
LOGICIZE 3 - 7
▪ 相容选言命题陈述若干事态至少有一种存在, 也就是说它的支命题至少有一个是真的。如果所 有选言支都为假,那么选言命题为假。
[例]小王或者懂英语或者懂法语。
请问警方的指控从逻辑上合理吗?
LOGICIZE 3 - 22
3.4 负命题及其推理
▪ 负命题就是通过否定某个命题而得到的复合命题 ▪ 自然语言:并非;并不是;没有;是不对的 [例1] 他没有按时完成作业。 [例2]并非只有犯罪行为,才是危害社会的行为。
由于负命题“p”只有一个支命题p,p有 真假两种情况。 所以,当支命题为真时,负命 题为假;当支命题为假时,负命题为真。
3.4.5 充分条件假言推理
肯定前件式: 否定后件式:
pq,p q
pq, q p
[例]如果某甲是案犯,那么某甲有作案时间; 某甲没有作案时间。
所以,某甲不是案犯。
LOGICIZE 3 - 18
• 无效的充分条件假言推理
肯定后件式:
[例] 作倘品若愈说高,,作知品音愈愈高少,;知音愈少。
那么这,部推作论品起是来无,人谁懂也的不。懂的东西,
❖ 联言推理
• 分解式 联言推理的分解式是由联言命题的真,
推出任一个联言支为真的推理形式。
p∧q
p∧q
p
q
[例] 我很丑,可是我很温柔。 所以,我很丑。
LOGICIZE 3 - 4
• 合成式 联言推理的合成式是由全部联言支的 真,推出联言命题为真的推理形式。
p,q p∧q
[例] 业精于勤;业荒于嬉。 所以,业精于勤而荒于嬉。
“你们为什么要抓我?”冯特大叫。 “因为你刺杀酋长。” “请问,有什么证据?” “证据?这不是明摆着!我问你,这天上午九点半到 十点,你在哪里?” “我在银行大厦三楼。”
LOGICIZE 3 - 20
“这就对了,只有酋长被刺的时刻在银行大厦三楼 逗留的人,才能作案,那你还不是凶手?!”
冯特急了:“在银行大厦三楼逗留的人也不止我一 个呀!”
第三讲 命题逻辑
LOGICIZE 3 - 1
3.1 联言命题及其推理
❖ 联言命题是陈述若干事态同时存在的 复合命题。
[例1] 公民依法享有民事权利,并且承担民事义务。
[例2] 卑鄙是卑鄙者的通行证,高尚是高尚者的墓志铭。
自然语句:“并且”、“不但…而且”、
“既…又”、“虽然…但是”、“尽管…可是”、
“你不要着急。还有,你有没有一支65毫米的意大 利卡宾枪?”
“这……”“你瞒不了我们,这是你化名‘南希’, 于三个月前买的,对不对?”
“有枪又怎么啦?” “这更说明你是凶手。你想想,如果是凶手,就会 有一支65毫米的意大利卡宾枪;你有一支这样的枪,你 无疑是凶手了。”
LOGICIZE 3 - 21
冯特反问:“难道有枪的人都是凶手?” “你不要狡辩!还有一个更重要的理由:我们调查 过了,你是一个特等优秀射手。只有特等优秀射手,才 能在十秒钟内连发五枪。别人是做不到的,只有你可以 做到。你还有什么话要说?” “你们冤枉好人!”冯特气极了。 警察反问道:“难道这些理由还不充足?” 冯特喊道:“我要请律师!” “这是你的权利。不过,你逃脱不 负命题的推理
负合取命题推理 (p∧q) (p∨q )
德 摩
根
负析取命题推理 (p∨q) (p∧q ) 定
律
负蕴涵命题推理 (pq) (p∧q)
双重负命题推理 ( p) p
LOGICIZE 3 - 24
▪ 不相容选言命题陈述若干事态有且只有一 种情况存在,就是说其支命题只有一真。所有 选言支同为真或同为假时,选言命题为假。 [例] 张某伤人要么是故意的,要么是过失的。
LOGICIZE 3 - 8
❖ 选言推理
• 选言推理的否定肯定式
——否定一部分选言支,就要肯定另一部分选言支
p∨q ,q p
p∨q,p q
就所是以世,界这上部的作绝品作是了世。界上的绝作。
否定前件式:
——鲁迅《文艺的大众化》
[例]如果把整个太平洋的水倒出,那也浇么我不很熄爱我对你;你爱情的火;
整个太平洋的水全 无部法倒全得部出倒吗出?。不行。
所以,我并不爱你。
——痞子蔡《第一次的亲密接触》
LOGICIZE 3 - 19
酋长遇刺
酋长国的一位酋长在西方某国首都访问。一天上午将 近十点,酋长乘坐的敞篷车驶近银行大厦时遇刺。有人向 酋长连开五枪,子弹是从银行大厦三楼射出的。酋长被三 颗子弹击中,生命垂危。案发后,警方抓住了一名叫冯特 的嫌疑犯。
分号等
LOGICIZE 3 - 2
❖ 联言命题与其联言支的真假关系
联言命题是陈述若干事态同时存在的命题, 因此,一个联言命题的真假,归根结底取决于 它的各个联言支是否同时都是真的,也就是说, 只有在联言支都为真的情况下,联言命题才为 真。如果联言支有一个为假,那么,联言命题 就是假的。
LOGICIZE 3 - 3
边三角形。
充分必要条件假言命题“pq”的逻辑性质可以 用真值表表示如下:
p
q
pq
T
T
T
T
F
F
F
T
F
F
F
T
LOGICIZE 3 - 16
3.3.4 假言命题的相互转换
(pq) (qp) (¬q ¬p)
如果某人发高烧,那么他生病了。 只有生病了,才会发高烧。
如果某人没有生病,那么他一定没有发烧。
LOGICIZE 3 - 17
三类条件关系比较
定义
充分条件 • 有p必有q; 无p未必无q
必要条件 • 无p必无q; 有p未必有q
充要条件 • 有p必有q;
无p必无q
因果 链式
日常 语言 表述
• 异因同果 • 殊途同归
• 有它就行, 没它也可能行
• 多因一果 • 必不可少的条件
• 有它不一定行, 但没它一定不行
• 互为因果 • 形成循环
LOGICIZE 3 - 10
3.3 假言命题及其推理
3.3.1 假言命题的逻辑结构 ➢ 假言命题是陈述一事态是另一事态的条
件的复合命题。 ➢ 在被联结的两个支命题中,作为条件的
那个命题被称为是假言命题的前件,另 一个被称为是假言命题的后件。
LOGICIZE 3 - 11
3.4.2 假言命题的类别
“pq”的逻辑性质可以用真值表表示如下:
p
q
pq
T
T
T
T
F
F
F
T
T
F
F
T
LOGICIZE 3 - 14
• 必要条件假言命题 [例] 只有年满十八周岁,才有选举权。
必要条件假言命题“pq”的逻辑性质可以用真 值表表示如下:
p
q
pq
T
T
T
T
F
T
F
T
F
F
F
T
LOGICIZE 3 - 15
• 充分必要条件假言命题 [例] 当且仅当三角形三内角相等,该三角形是等
LOGICIZE 3 - 5
• 否定式
联言推理的否定式是由任一个联言支 的假,推出联言命题为假的推理形式。
p (p∧q)
q (p∧q)
[例] 并非张三是党员。 所以,并非张三和李四都是党员。
LOGICIZE 3 - 6
3.2 选言命题及其推理
❖ 选言命题是陈述若干事态至少有一种存在的 复合命题 相容选言命题