逻辑推理 命题逻辑

合集下载

逻辑学:命题逻辑

逻辑学:命题逻辑
2018年8月17日星期五 7
第二章 命题逻辑
第二节 复合命题及其推理
负命题
负命题由否定联结词(如“并非”)联结支命题而形成的复合命 题。例如: (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课件

命题逻辑ppt课件
结合词的优先顺序为: , , , , ; 1:假设出现的结合词同级,又无括号时,那么
按从左到右的顺序运算; 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章 命题逻辑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第三章 命题逻辑的推理理论

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) 若今天是1号,则明天是5号. 今天是1号. 所 以明天是5号.
解 设 p:今天是1号,q:明天是5号. 证明的形式结构为: (p®q)Ùp®q
证明(用等值演算法)
(p®q)Ùp®q Û Ø((ØpÚq)Ùp)Úq Û ØpÚØqÚq Û 1
得证推理正确
A Þ (AÚB)
附加律
(AÙB) Þ A
化简律
(A®B)ÙA Þ B
假言推理
(A®B)ÙØB Þ ØA
拒取式
(AÚB)ÙØB Þ A

析取三段
(A®B)Ù(B®C) Þ (A®C)
假言三段论
(A«B)Ù(B«C) Þ (A«C)
等价三段论
(A®B)Ù(C®D)Ù(AÚC) Þ (BÚD)

构造性二
推理的形式结构。
精品课件
说明(2)
设任一A1组,赋A2值,a…1a,2…Aka,n (B中ai=共0出或现1n,个命i=题1变,项2,,…对n于),
前提和结论的取值情况有以下四种:
(1) A1ÙA2Ù…ÙAk 为0,B为0; (2) A1ÙA2Ù…ÙAk 为0,B为1; (3) A1ÙA2Ù…ÙAk 为1,B为0; (4) A1ÙA2Ù…ÙAk 为1,B为1。
AB
(12) 合取引入规则
CD
课件
构造证明——直接证明法
例3.3 在自然推理系统P中构造下面推理的证明;
(1) 前提:p Ú q, q ® r, p ® s , Ø s 结论:r Ù (p Ú q)
(2)前提: Ø p Ú q, r Ú Ø q ,r ® s 结论:p ® s
精品课件

命题逻辑的推理理论

命题逻辑的推理理论

10:44:53
16
直接证明法
(2) 写出证明的形式结构
前提:(pq)r, rs, s
结论:pq (3) 证明 ① r s ② s ③ r ④ (p q) r 前提引入 前提引入 ①②拒取式 前提引入
⑤ (p q)
⑥ pq
③④拒取式
⑤置换
10:44:53
17
附加前提证明法
可见,推理的有效性是一回事,前提与结论的 真实与否是另一回事。所谓推理有效,指它的结 论是它的前提的合乎逻辑的结果,也即,如果它 的前提都为真,那么所得结论也必然为真,而并 不是要求前提或结论一定为真或为假。如果推理 是有效的话,那么不可能它的前提都为真时而它 的结论为假。
10:44:53
4
推理的形式结构
10:44:53
25
练习1解答
方法二:主析取范式法, (pq)qp ((pq)q)p pq M2 m0m1m3 未含m2, 不是重言式, 推理不正确.
10:44:53
26
10:44:53
27
练习1解答
(2) 前提:qr, pr 结论:qp 解 推理的形式结构: (qr)(pr)(qp) 用等值演算法
附加前提证明法: 适用于结论为蕴涵式
欲证
前提:A1, A2, …, Ak
结论:CB 前提:A1, A2, …, Ak, C 结论:B
等价地证明
理由:(A1A2…Ak)(CB) ( A1A2…Ak)(CB) ( A1A2…AkC)B
(A1A2…AkC)B
10:44:53
8
推理定律——重言蕴涵式
1. A (AB)
附加律
2. (AB) A
3. (AB)A B 4. (AB)B A

离散数学 第2章 命题逻辑

离散数学 第2章  命题逻辑

6
程序解法:
#include "stdio.h" #include "conio.h" main() { int p,q,r,A1,A2,A3,B1,B2,B3,C1,C2,C3,E; for(p=0;p<=1;p++) for (q=0;q<=1;q++) for(r=0;r<=1;r++) { A1=!p&&q;A2=(!p&&!q)||(p&&q);A3=p&&!q; B1=p&&!q;B2=(p&&q)||(!p&&!q);B3=!p&&q; C1=!q&&r;C2=(q&&!r)||(!q&&r);C3=q&&r; E=(A1&&B2&&C3)||(A1&&B3&&C2)||(A2&&B1&&C3)||(A2&&B3&&C1)||(A3&&B1&&C2)||(A3 &&B2&&C1); if (E==1) printf("p=%d\tq=%d\tr=%d\n",p,q,r); } getch(); }
复合命题: E=(A1 ∧B2 ∧C3) ∨ (A1 ∧B3 ∧C2) ∨ (A2 ∧B1 ∧C3) ∨ (A2 ∧B3∧C1) ∨ (A3 ∧B1 ∧C2) ∨ (A3 ∧B2 ∧C1)
A1 ∧B2 ∧C3 = (p ∧q ) ∧ ((p ∧ q) ∨(p ∧ q) ) ∧(q ∧ r) 0 A1 ∧B3 ∧C2 = (p ∧q ) ∧ ( p ∧ q) ∧( (q ∧ r) ∨(q ∧ r ) ) p ∧q ∧ r A2 ∧B1 ∧C3 =A2 ∧B3∧C1 = A3 ∧B2 ∧C1 = 0 A3 ∧B1 ∧C2 p ∧ q ∧ r E (p ∧q ∧ r) ∨ (p ∧ q ∧ r) 所以王教授是上海人。

数学问题的逻辑推理

数学问题的逻辑推理

数学问题的逻辑推理在数学领域中,逻辑推理是解决问题的关键步骤之一。

逻辑推理可以帮助我们理解和解决各种数学问题,无论是代数、几何还是概率。

本文将探讨数学问题中的逻辑推理,并介绍一些常见的推理方法。

一、命题逻辑推理命题逻辑是逻辑推理的基础,它主要研究命题之间的关系。

在数学问题中,我们常常需要通过命题逻辑推理来得出结论。

以下是一些常见的命题逻辑推理方法:1. 演绎推理:演绎推理是通过已知前提得出结论的推理方法。

例如,如果已知"A等于B"且"B等于C",则可以演绎出"A等于C"的结论。

2. 归谬法:归谬法是通过否定前提得出矛盾结论的推理方法。

例如,如果已知"如果A成立,则B成立",但我们发现B不成立,则可以推断出"A不成立"。

3. 假设法:假设法是通过假设某个条件成立来推断结论的方法。

例如,如果我们需要证明"A蕴含B",可以先假设"A成立",然后根据这个假设来推断"B成立",如果能够得出"B成立"的结论,则证明了"A蕴含B"。

二、数学问题中的演绎推理演绎推理在解决数学问题中起着重要的作用。

通过逻辑上的演绎推理,我们可以从已知条件出发,逐步推导出问题的答案。

以下是一些常见的数学问题中的演绎推理例子:例1:已知a + b = 5,b + 2c = 10,求解a、b、c的值。

解:我们可以通过演绎推理来解决这个问题。

首先,根据第一个等式a + b = 5,我们可以得出a = 5 - b。

然后,将a的表达式代入第二个等式b + 2c = 10中,得到(5 - b) + 2c = 10。

通过整理,可以得到2c - b= 5。

至此,我们得到了两个方程式,通过解方程组,可以求解出a、b、c的值。

例2:已知a + b = 7,a - b = 3,求解a、b的值。

逻辑学第一章 逻辑、命题、推理

逻辑学第一章 逻辑、命题、推理
• 因而,墙不是因为它不是动物而不 呼吸,
• 因而,墙即使它不呼吸也是动物。
2、中国逻辑学起源、发展—名

•名家代表——邓析、 惠施、公孙龙
• 《吕氏春秋·离谓》: • 言者,以谕意也。 • 言意相离,凶也。 • 夫辞者,意之表也。 • 鉴其表而弃其意,悖。
• 邓析: 政令不止,对策无穷; 刑鼎,竹刑; 私家传授法律知识,承揽诉讼
•1
亚里士多德 弗兰西斯培根
(前384-322 ) (1561-1626)
邓析(郑 前545-501) 子产(郑 前?-前522)
庄子(宋 前369-286) 惠子(宋 前370-
318)
公孙龙(赵
前325-250)
•白马非马 •离坚白
墨子 (宋国人,前468—376)
• 中国古代逻辑 集大成者
非梧桐不止,非练实不食,非醴泉不饮。于 是鸱得腐鼠,鹓过之, • 仰而视之曰:‘吓’!今子欲以子之梁国而 吓我邪?”
• 庄子与惠子游于濠梁之上。 • 庄子曰:“儵鱼出游从容,是鱼之乐也?” • 惠子曰:“子非鱼,安知鱼之乐?” • 庄子曰:“子非我,安知我不知鱼之乐?”
• 惠子曰:“我非子,固不知子矣;子固非 鱼也,子之不知鱼之乐,全矣。”
所有S都是P 其中“S”和“P”是可变的部分,研究特定对象及其属性,是其 存在形式,可以用任何具体的词项去代换它们。
“所有……都是……”是不变的部分,研究的是思维内容的联系方 式。
这是这类命题所共同具有的。不变部分是“S”和“P”所表示的 各不相同的具体思维内容间共同的联系方式。
[例4] 如果某甲是案犯,那么某甲有作案时间。 [例5] 如果他的行为构成侵权行为,那么他应当承担赔偿 责任。
第一章 引 论

命题逻辑命题自然推理

命题逻辑命题自然推理

11.自然推理·命题自然推理的基本规则·归谬规则什么是自然推理自然推理是判定推理形式有效性的又一种方法。

自然推理的基本思想是确定一些推理规则,这些规则具有保真性,也就是说,依据这些规则,从真前提只会推出真结论。

因此,从所要判定的推理的前提出发,依据这些规则,如果能形式地推出预期的结论,这就说明该推理如果前提真,结论就一定真,因而是有效的。

当然,如果不能如此地推出预期的结论,尚不能就此断定推理是无效的,要判定推理的无效,还要用其他的方法。

因此,自然推理不是一种能行方法。

自然推理区别于一般公理化推理之处在于,作为推理依据的只有推理规则,没有公理。

这似乎更符合人们日常思维的自然习惯,因此,称之为自然推理。

本章只讨论用自然推理判定命题推理,因此,称之为命题自然推理。

命题自然推理的基本规则命题白然推理包括三条基本规则:规则P 在一个推导的任意—步,都可以引人任意一个真值形式作为前提。

规则T 在一个推导中.如果有一些先行出现的真值形式的合取重言地蕴涵A ,则可以在该推导中引人A 。

规则D 在一个推导中,,如果从一前提集和A 能推出B ,则从该前提集能推出A →B 。

所谓A 重言地蕴涵B ,就是指A →B 是重言式;自然,所谓n A A ,,1 的合取重言地蕴涵B ,就是指→∧∧n A A 1B 是重言式。

在求合取范式时,前面列出的常用重言式是被确认的基础;规则T 的运用,同样以这些常用重言式为基础。

不难证明,基于这三条基本规则的命题自然推理具有保真性,即从真前提不会推出假结论。

下面通过实例来说明如何构造命题自然推理。

[例1] 如果工资提高(p),或者物价提高(q),则将有通贷膨胀(r)。

如果通货膨胀,则或者国家将采取紧缩政策(s),或者人民将遭受损失(t)。

如果人民遭受损失,改革就会失去人心 (u)。

国家将不采取紧缩政策,并且改革不会失去人心。

因此,物价不会提高。

构造上述推理的自然推理如下:(1) {}1 ()r q p →∨ P(2) {}2 ()t s r ∨→ P(3) {}3 u t → P(4) {}4 u s ⌝∧⌝ P(5) {}4 s ⌝ T(4)(6) {}4 u ⌝ T(4)(7) {}4,3 t ⌝ T(3)(6)(8) {}4,3 t s ⌝∧⌝ T(5)(7)(10) {}4,3,2 r ⌝ T (2)(9)(11) {}4,3,2,1 )(q p ∨⌝ T (1)(10) (12) {}4,3,2,1 q p ⌝∧⌝ T (11)(13) {}4,3,2,1 q ⌝ T (12)最后一行即为顶期的结论。

命题逻辑的推理理论

命题逻辑的推理理论
5
实例 (续) 续
(2) 若今天是 号,则明天是 号. 明天是 号. 所以今天是 号. 若今天是1号 则明天是5号 明天是5号 所以今天是1号 解 设p:今天是 号,q:明天是 号. :今天是1号 :明天是5号 证明的形式结构为: 证明的形式结构为 (p→q)∧q→p → ∧ → 证明(用主析取范式法) 证明(用主析取范式法) (p→q)∧q→p → ∧ → ⇔ (¬p∨q)∧q→p ¬ ∨ ∧ → ⇔ ¬ ((¬p∨q)∧q)∨p ¬ ∨ ∧ ∨ ⇔ ¬q∨p ∨ ∧¬q)∨ ∧¬ ∧¬q)∨ ∧¬ ∧¬q)∨ ∧ ⇔ (¬p∧¬ ∨(p∧¬ ∨ (p∧¬ ∨(p∧q) ¬ ∧¬ ⇔ m0∨m2∨m3 结果不含m 是成假赋值, 结果不含 1, 故01是成假赋值,所以推理不正确 是成假赋值 所以推理不正确.
18
(9) 析取三段论规则 A∨B ∨ ¬B ∴A (10)构造性二难推理 构造性二难推理 规则 A→B → C→D → A∨C ∨ ∴B∨D ∨ (11) 破坏性二难推理 规则 A→B → C→D → ∨¬D ¬B∨¬ ∨¬ ∨¬C ∴¬A∨¬ ∨¬ (12) 合取引入规则 A B ∴A∧B ∧
10
构造证明——直接证明法 直接证明法 构造证明
1.6 命题逻辑的推理理论
推则 构造证明法
1
推理的形式结构—问题的引入 推理的形式结构 问题的引入
推理: 推理 从前提出发推出结论的思维过程
前提是指已知的命题公式, 前提是指已知的命题公式,结论是推出的命题公式 如果天气凉快,小王就不去游泳 天气凉快 如果天气凉快,小王就不去游泳.天气凉快.所以小王 没有去游泳. 没有去游泳. p:天气凉快,q:小王去游泳 天气凉快, 小王去游泳 天气凉快 前提: → 前提: (p→ ¬ q)∧p ∧ 结论: 结论: ¬ q

逻辑学基础理论

逻辑学基础理论

逻辑学基础理论逻辑学是哲学的一门分支,研究的是思维和推理的规律。

由于其广泛的应用和严密的体系,逻辑学成为了现代哲学的重要组成部分之一。

逻辑学的基础理论主要包括五个方面:命题逻辑、谓词逻辑、模态逻辑、范畴逻辑和演绎推理。

下面将对这些方面进行具体阐述。

命题逻辑是逻辑学的基础,它研究的是命题之间的关系和推理规律。

在命题逻辑中,命题是真假性已被确定的陈述句,可以用逻辑符号进行表示。

逻辑符号有否定符号、合取符号、析取符号、条件符号和双条件符号等。

命题逻辑的推理规律主要有三大原则:同一律、排中律和矛盾律。

同一律指的是一个命题等价于它本身;排中律指的是任何命题或者为真或者为假;矛盾律指的是任何命题和它的否定命题不可能同时为真。

谓词逻辑是命题逻辑的发展和扩展,它研究的是一般陈述句中的谓词和量词。

在谓词逻辑中,谓词是一种含有变量的陈述句,量词是用来指定谓词变量范围的符号。

谓词逻辑的重要性在于它可以表达更加复杂的推理关系,例如存在量词和全称量词的使用可以表达存在性和普遍性的情况。

模态逻辑是研究命题的可能性和必然性。

在模态逻辑中,常用的符号包括必然符号和可能符号等。

必然符号表示命题为真的必要性,可能符号表示命题为真的可能性。

模态逻辑的重要性在于它可以研究社会、政治、法律等领域中的问题,并且可以解释一些哲学问题,例如自由意志问题等。

范畴逻辑是研究命题之间的类别和关系。

范畴逻辑的主要概念包括类别和关系,类别是一个范畴中的所有元素的集合,关系是两个类别之间的关联。

范畴逻辑可以用来分析一个问题或者研究一个领域的范畴和关系。

演绎推理是逻辑学最重要的研究领域之一。

它研究的是从前提到结论之间的推理规律。

演绎推理可以通过推理规则来判断论证的有效性。

常用的推理规则包括假言蕴涵规则、等价规则、假言拆分规则、析取移项规则等。

演绎推理的重要性在于它可以帮助我们进行有有效性的推理,并且可以减少一些误判或者不必要的知识论证。

总之,逻辑学的基础理论包括了命题逻辑、谓词逻辑、模态逻辑、范畴逻辑和演绎推理。

人民大2024逻辑学导论(第5版)PPT第二章 命题逻辑

人民大2024逻辑学导论(第5版)PPT第二章 命题逻辑
否定式”、“合取式”、“析取式”、“蕴涵式”和“等值式”。
第二章:命题逻辑
• 为了避免结构歧义,二元联结词为主联结词的公式外侧总有括号。但层层叠叠的括号有时
令人困扰,所以这里约定三条省略括号的规则。
• (1)公式最外层的括号总是可以省略。例如:(p∧q)可写作p∧q,(┑((p∧q) (r∨s))∧p)可写
第二章:命题逻辑
• 1.充分条件假言命题及其推理 • 充分条件假言命题是由“如果,则”这类联结词连接两个支命
题而形成的命题,它在自然语言中有多种表述方式,例如: • (1)如果物体摩擦,则物体生热。 • (2)只要你勤奋耕耘,总会有所收获。 • (3)假如这个玻璃杯从我手中滑落,则它会摔得粉碎。
第二章:命题逻辑
题同时为真外,还表示并列关系、承接关系、递进关系、转折关系、对比关 系等等。
第二章:命题逻辑
• 为了与日常联结词相区别,同时也为了书写的方便,逻辑学家们特制了一些
专门的符号去表示真值联结词:
• (1)∧:读作“合取”(conjunction),相当于日常语言中的“并且”。
• (2)∨:读作“析取”(disjunction),相当于日常语言中的“或者”。
第二章:命题逻辑
第二节 真值联结词 真值形式
第二章:命题逻辑
一、从日常联结词到真值联结词
• 在命题逻辑中,简单命题究竟是一个什么样的命题,究竟是真是假,实际上 是无关紧要的;真正重要的是复合命题的逻辑性质,以及由这种性质所决定 的复合命题与其支命题之间以及复合命题相互之间的逻辑关系。而这是由命 题联结词决定的。
• 命题形式有两种成分:代表具体内容的位置,由命题变项表示;连接或组合 这些位置的结构成分,即命题联结词,亦称“逻辑常项”。

《离散数学》课件-第3章命题逻辑的推理理论

《离散数学》课件-第3章命题逻辑的推理理论

判断方法一:真值表法
真值表的最后一列全为1,所以((p∨q)∧┐p) →q为重言式。因而推理正确。
判断方法二:等值演算法
((p∨q)∧┐p)→q ⇔ ((p∧┐p)∨(q∧┐p))→q ⇔ ( q∧┐p )→q ⇔ ┐q∨p∨q ⇔1
因为((p∨q)∧┐p)→q为重言式,所 以推理正确。
判断方法三:主析取范式法
★ ★★
可见,如果能证明★★是重言式,则★也是重言式。 在★★中,原来的结论中的前件A已经变成前提了,称A为 附加前提。称这种将结论中的前件作为前提的证明方法为 附加前提法。
例:在自然推理系统P中构造下面推理的证明 如果小张和小王去看电影,则小李也去看电影。小
赵不去看电影或小张去看电影。小王去看电影。所 以,当小赵去看电影时,小李也去。
前提引入
② ┐s
前提引入
③ ┐p
①②拒取式(A→B)∧┐B⇒┐A
④ p∨q
B)∧┐B⇒A
⑥ q→r
前提引入
⑦r
⑤⑥假言推理(A→B)∧A⇒B
⑧ r∧(p∨q) ⑦④合取引入
(2)前提:┐p∨q,r∨┐q,r→s 结论:p→s
证明:
① ┐p∨q 前提引入
② p→q
①置换
(A→B)∧(C→D)∧(┐B∨┐D) ⇒(┐A∨┐C)
(12)合取引入规则:若证明的公式序列中出现过 A和B,则A∧B是A和B的有效结论。
推理规则(12个)
(1)前提引入规则 (2)结论引入规则(隐规则) (3)置换规则:等值置换 (4)假言推理规则:(A→B)∧A⇒B (5)附加规则:A⇒(A∨B) (6)化简规则:A∧B ⇒A (7)拒取式规则:(A→B)∧┐B⇒┐A (8)假言三段论规则:(A→B)∧(B→C)⇒(A→C) (9)析取三段论规则:(A∨B)∧┐B⇒A (10)构造性二难推理规则 (11)破坏性二难推理规则 (12)合取引入规则

十二种逻辑深度解析

十二种逻辑深度解析

十二种逻辑深度解析1.命题逻辑:命题逻辑是一种形式化的推理系统,用于研究命题之间的关系和推理规则。

它的基本概念包括命题、真值、联结词和推理规则。

2. 谬误:谬误是指一种错误的推理或错误的论证。

常见的谬误包括假设逆命题谬误、假设假设谬误、非黑即白谬误等。

3. 归纳推理:归纳推理是一种从特殊到一般的推理方法,通过观察和分析一些现象或事实来得出一般性的结论。

但归纳推理存在一定的不确定性和局限性。

4. 演绎推理:演绎推理是一种从一般到特殊的推理方法,通过运用规则和前提条件来推导出结论。

它的优点是推理结果的准确性。

5. 形式逻辑:形式逻辑是一种研究符号和符号组合的规则的逻辑学分支。

它将命题和推理规则进行了形式化,可以应用于数学、计算机科学等领域。

6. 语义学:语义学是研究语言意义及其表达的规则和原则的学科。

它包括词汇语义、句法语义和语篇语义等方面。

7. 逆否命题:逆否命题是一种命题的变换形式,将原命题的主语和谓语都取反,但它并不等价于原命题。

在一些推理中,逆否命题可以用来证明原命题的真实性。

8. 假言命题:假言命题是一种由条件语句构成的命题,包括前件和后件两部分。

在推理中,可以通过探讨假言命题的真值来推出结论。

9. 范畴学:范畴学是研究抽象概念之间关系和性质的学科。

它是一种通用的思考工具,可以用来理解和解决很多不同领域的问题。

10. 奥卡姆剃刀原则:奥卡姆剃刀原则是一种哲学原则,认为在解释一个现象时,应该选择最简单、最直接、最容易理解的解释方式。

11. 模态逻辑:模态逻辑是一种研究陈述语句的真值和语义的逻辑学分支。

它主要探讨命题的可能性、必然性和不可能性等方面。

12. 范例推理:范例推理是一种通过对实例和案例的分析和归纳,得出一般性结论的推理方法。

它在实证科学中有广泛应用。

第1章 命题逻辑_逻辑推理

第1章 命题逻辑_逻辑推理

判断推理是否有效(正确)
• 主析取范式法
• 构造证明法
证明推理有效(正确)
说明:用前3个方法时采用形式结构
“ A1A2…AkB” . 用构造证明时, 采用
“前提: A1, A2, … , Ak, 结论: B”.
8
真值表技术
9
真值表技术判断
10
实例
例 判断下面推理是否正确 (1) 若今天是1号,则明天是5号. 今天是1号. 所 以明天是5号. 解 设 p:今天是1号,q:明天是5号.
解 设 p:2是素数,q:2是合数, r: 2是无理数,s:4是素数
推理的形式结构 前提:pq, pr, rs 结论:sq
23
附加前提证明法 (续)
证明
①s
附加前提引入
② pr
前提引入
③ rs
前提引入
④ ps
②③假言三段论
⑤ p
①④拒取式
⑥ pq
前提引入
⑦q
⑤⑥析取三段论
请用直接证明法证明之
24
构造证明之三——归谬法(反证法)
32
作业
2.应用题 某公司有甲、乙、丙、丁、戊五位职员,大家商量假日的值班问题, 有如下四条意见: (1)如果甲来值班,那么乙或丙也来值班。 (2)如果乙来值班,那么丁也来值班。 (3)如果丙来值班,那么丁也来值班。 (4)只有甲来值班,戊才来值班。 (5)戊是来值班的。 问:丁是不是来值班?说明在推导过程中的每一步用的是什么推理过 程。
(不正确、错误).
“A1, A2, …, Ak 推B” 的推理正确 当且仅当 A1A2…AkB为重言式.
推理的形式结构: A1A2…AkB 或 前提: A1, A2, … , Ak 结论: B
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 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 选言命题及其推理
❖ 选言命题是陈述若干事态至少有一种存在的 复合命题 相容选言命题
相关文档
最新文档