命题逻辑的推理理论(牛连强)
1.7 推 理 理 论从假设前提利用推理规则得到其他命题，即形成结论的过程就是推理，这是研究逻辑的主要目标。
1.7.1 蕴含与论证1．推理的含义与形式[定义1-22] 当且仅当p →q 为永真式时，称为p 蕴含q （logical implication ），记作p q ⇒，或p q 。
此时，称p 为前提，q 为p 的有效结论或逻辑结论，也称为q 可由p 逻辑推出。
得出此逻辑关系的过程称为论证。
[辨析] 由于仅在p 为1而q 为0时公式p q →为0，可见，p q →永真意味着不可能存在前件p 为1而后件q 为0的情况，或者说，若p q ⇒，则只要前件p 为1，后件q 也一定为1。
因此，p q ⇒也称为“永真蕴含”，即p 永真蕴含q 。
[延伸] 通常，定理（theorem ）被解释为“经过受逻辑限制的证明为真的陈述”，就是指对“在一定条件成立的情况下必然产生某个（些）结论”的陈述。
因此，定理证明也就是对蕴含关系的论证。
当然，通常只有重要或有趣的陈述才被视为定理。
所有逻辑推理的实质就是证明p q ⇒，也就是证明p q →为永真式。
例如，以下是一个简单的初等数学证明题目：已知a 、b 、c 为实数，且22a b bc -=，0c ≠，则有2/(/1)a c b b c =+。
如果记p ：22a b bc -=，q ：0c ≠，r ：2/(/1)a c b b c =+则上述论证要求可描述为：p q r ∧⇒证明的目的就是说明：若前提p q ∧正确，则结论r 也正确，即证明p q r ∧→为永真式。
通常的逻辑推理问题都会由一组前提来推断一个逻辑结论，此时的多个前提可写成合取式12n H H H ∧∧∧ ，或写成用逗号分隔的命题序列H 1, H 2, ..., H n ，即论证要求可写作：12n H H H C ∧∧∧⇒ ，或12,...,n H H H C ⇒，，或12n H H H C ∧∧∧ ，或12,...,,n H H H C可见，论证A C 、A C ⇒或A C →是永真式都是同义的，且前提也可以用集合表示，如： 12{,..,},.n H H H C 在数学上，总是要求前提为真，从而推导出有效的结论，并不需要研究从假的前提能得到什么结论，且推理形式与前提的排列次序无关。
尽管由前提A 到结论C 的推理一般记作A C ，如果推理是正确的，则可记作A ⊨C 。
2．常规的推理方法在日常生活和科学实践中，可以采用一些形式不太严格的方法进行推理论证。
(1) 真值表法，即列出公式12n H H H C ∧∧∧→ 的真值表。
若公式中所有行的真值全为1则得证。
这种证明方法没有什么逻辑味道，在命题变元较多时也很困难。
(2) 叙述型推理，说明不存在12n H H H ∧∧∧ 为1且C 为0的情况。
可以有两种叙述形式：① 假定前提12n H H H ∧∧∧ 为1，说明结论C 必为1。
② 假定结论C 为0，说明前提12n H H H ∧∧∧ 必为0。
例1-20 证明()q p q p ∧→⇒┐┐。
证明 这里采用形式①。
假定前件()q p q ∧→┐为1。
那么，q ┐和p q →都为1。
由前者知q 为0，再由后者知p 为0，故p ┐为1。
结论成立。
若采用形式②，可论证如下：假定后件p ┐为0。
于是，p 为1。
若q 为1，则q ┐为0，故()q p q ∧→┐为0。
若q 为0，则p q →为0，故()q p q ∧→┐为0。
总之，前件()q p q ∧→┐为0。
结论成立。
例1-21 用符号描述推理过程并验证论证的有效性：如果6是偶数，则7被2除不尽。
或5不是素数，或7可被2除尽。
但5是素数。
所以6是奇数。
解 记p ：6是偶数，q ：7可被2除尽，r ：5是素数，则推理过程可符号化为：p q r q r p →∨⇒┐，┐，┐假定前提为1，则p q →┐，r q ∨┐和r 都为1。
由r 为1知r ┐为0，从而q 为1。
因此，q ┐为0，再由p q →┐为1可知p 为0。
于是，p ┐为1。
论证有效。
[辨析] 论证有效并不代表结论是客观真实的，因为我们并不研究前提是否具有客观真实性，仅假定其逻辑意义为真，从而进行形式上的推导。
(3) 消解法证明，粗略地说，就是当两个同时为1的条件中分别含有某个命题及其否定时，可以消去该命题的证明方法。
例1-21 证明下述蕴含关系成立： ① ()()┐→∧→⇒∨p q p r q r 。
② ()()┐∨∧∨⇒∨p q p r q r 。
证明 若()()┐→∧→p q p r 为1，则┐→p q 和→p r 为1。
若p 为1，则r 为1，得∨q r 为1；若p 为0，即┐p 为1，则q 为1，得∨q r 为1。
总之，∨q r 为1，故式①成立。
将式①中的条件联结词转换为析取联结词就证明了式②。
[理解] p 与┐p 是相反的命题。
┐→p q 和→p r 都为1是说，不管p 是否为真总有q 或r 为真，因此，∨q r 总是真的。
很明显，式②中的两个子公式∨p q 和┐∨p r 都是子句，二者共同推理的结果∨q r 消去了命题p ，此过程称为“消解”或“归结”（resolution ）。
此问题将在自然推理部分做进一步讨论，而②也被视为一条基本的推理规则。
(4) 等值演算，利用等价变换说明条件式为永真式。
例如，通过演算可推出(())1p q p q →∧→⇔┐┐ 这说明(())p q p q →∧⇒┐┐。
(5) 主析取范式法，即说明条件式的主析取范式包含所有的小项。
例如，因为0,1,2,{}3(())1→∧→⇔⇔∨┐┐p q p q 说明(())p q p q →∧⇒┐┐。
应注意条件式的非对称性。
一般称q p →为p q →的逆换式（逆命题），称p q →┐┐为p q →的反换式（反命题），它们均不等同于p q →。
称q p →┐┐为p q →的逆反式（逆否命题），且有 p q q p →⇔→┐┐由此可见，如果一个命题成立，其逆否命题也成立。
反之亦然。
3．等价与蕴含的关系由()()p q p q q p ↔⇔→∧→可知，蕴含和等价之间有与条件式和双条件式之间类似的关系： [定理1-10] 对任意的命题公式p 和q ，p q ⇔的充分必要条件是p q ⇒且q p ⇒。
证明 p q ⇔等同于p q ↔为永真式，等同于()()p q q p →∧→为永真式，等同于p q →和q p →都是永真式，也就等同于p q ⇒且q p ⇒。
[辨析] 此定理是应该熟悉的基本逻辑常识，在逻辑证明中常用，也提供了一种证明命题公式等价的方法。
例1-23 设p 、q 、r 是任意命题公式，证明：(1) 若p q ⇒且p 是永真式，则q 为永真式。
(2) 若p q ⇒且q r ⇒，则p r ⇒。
(3) 若p q ⇒且p r ⇒，则p q r ⇒∧且p q r ⇒∨。
(4) 若p r ⇒且q r ⇒，则p q r ∨⇒。
证明 (1)、(2)略。
(3) 由条件知，p q →和p r →是永真式。
若p 为1，则q 和r 均为1，即q r ∧和q r ∨均为1，故()p q r →∧和()p q r →∨都是永真式。
结论成立。
(4) 由条件知，p r →和q r →为永真式，即p r ∨┐和q r ∨┐为永真式，从而()()p r q r ∨∧∨┐┐为永真式。
又因为()()()()p r q r p q r p q r ∨∧∨⇔∧∨⇔∨→┐┐┐┐故()p q r ∨→为永真式。
结论成立。
1.7.2 自然推理系统严格的论证过程可以采用自然推理系统或公理推理系统实现，这里仅介绍自然推理系统。
这种推理的基本思想是，不引入公理，仅依据事先确定的一些推理规则，从前提出发，利用推理规则构造出严格的命题序列，推导出最终的结论。
由于这种推理较符合人们的日常思维习惯，故称为“自然推理”，也称为“构造证明法”、“演绎法”或“形式证明”。
1．推理定律一些重要的逻辑关系如交换律、结合律、德•摩根律等是基本常识，是构成推理的基础。
表1-5中列出了最基本的等价关系。
为了完成推理，我们还需要承认一些简单的逻辑关系，以此作为公认的推理规则，而不是所有推理都从零做起。
例如，考虑如下的思维（论证）过程：如果你有口令，那么，你就能登录网络。
你有了口令。
因此，你能登录网络。
如果用p 表示“你有口令”，q 表示“你能登录网络”，则上述论证过程可描述为：p qp q→∴这种论证的实质是说，如果有p q →和p 都为1的前提，必有q 为1的结论，故可以用蕴含关系简化描述为：,p p q q →⇒或 ()p p q q ∧→⇒这样的一组基本蕴含关系被确定为可直接应用的推理规则，参见表1-8。
表1-8序号 蕴含关系含义I 1 I 2 p q p ∧⇒ p q q ∧⇒ 化简律I 3 I 4 p p q ⇒∨ q p q ⇒∨ 附加律I 5 I 6 p p q ⇒→┐ q p q ⇒→I 7 I 8 ()p q p →⇒┐ ()p q q →⇒┐┐ I 9 ,p q p q ⇒∧I 10 ,p p q q ∨⇒┐ 析取三段论 I 11 I 12 ,p p q q →⇒ ,q p q p →⇒┐┐ 假言推理 拒取式 I 13 ,p q q r p r →→⇒→ 假言三段论 I 14 ,p q q r p r ↔↔⇒↔ 等价三段论 I 15 ,,p q p r q r r ∨→→⇒I 16()()p q p r q r →⇒∨→∨I 17 ()()p q p r q r →⇒∧→∧ I 18 I 19 ,()p q p r p q r →→⇒→∨ ,()p q p r p q r →→⇒→∧ I 20()()┐∨∧∨⇒∨p q p r q r消解表1-5和1-8中的E 和I 分别表示基本等价和蕴含定律。
表中的序号没有意义，但要分清是I 还是E 。
定律的名字能知道更好，真正的要求是理解后记住中间列的蕴含或等价关系，即推理定律（也可称蕴含式为推理规则(Rules of Inference)，称等价式为推理定律（laws ））。
简言之，之所以推理定律能用于推理过程，其原因是，若公式p 为1，且有p q ⇒或p q ⇔，那么，一定可以推出q 为1。
因此，在推理过程中，推理定律可不加证明地引用。
[辨析] 表1-8的蕴含关系前提中的逗号（如I 9）表示两个命题可能在不同的步骤上推得，可能是前提，也可能是中间结论，都是已知的真命题。
[辨析] 表1-8所列的基本关系中的肯定形式与否定形式同样有效，如“p p q ⇒→┐”成立，则“p p q ⇒→┐”也成立。
对表1-8中的消解规则证明来自例1-23。
这是一个非常有用的规则，不仅可以用于一般推理过程，还可以独自建立一种消解证明法。
命题逻辑的推理理论（牛连强）
命题逻辑的推理理论（牛连强）1.7 推理理论从假设前提利用推理规则得到其他命题，即形成结论的过程就是推理，这是研究逻辑的主要目标。
1.7.1 蕴含与论证1．推理的含义与形式[定义1-22] 当且仅当p →q 为永真式时，称为p 蕴含q （logical implication ），记作p q ?，或p q 。
此时，称p 为前提，q 为p 的有效结论或逻辑结论，也称为q 可由p 逻辑推出。
得出此逻辑关系的过程称为论证。
[辨析] 由于仅在p 为1而q 为0时公式p q →为0，可见，p q →永真意味着不可能存在前件p 为1而后件q 为0的情况，或者说，若p q ?，则只要前件p 为1，后件q 也一定为1。
因此，p q ?也称为“永真蕴含”，即p 永真蕴含q 。
[延伸] 通常，定理（theorem ）被解释为“经过受逻辑限制的证明为真的陈述”，就是指对“在一定条件成立的情况下必然产生某个（些）结论”的陈述。
因此，定理证明也就是对蕴含关系的论证。
当然，通常只有重要或有趣的陈述才被视为定理。
所有逻辑推理的实质就是证明p q ?，也就是证明p q →为永真式。
例如，以下是一个简单的初等数学证明题目：已知a 、b 、c 为实数，且22a b bc -=，0c ≠，则有2/(/1)a c b b c =+。
如果记p ：22a b bc -=，q ：0c ≠，r ：2/(/1)a c b b c =+则上述论证要求可描述为：p q r ∧?证明的目的就是说明：若前提p q ∧正确，则结论r 也正确，即证明p q r ∧→为永真式。
通常的逻辑推理问题都会由一组前提来推断一个逻辑结论，此时的多个前提可写成合取式12n H H H ∧∧∧ ，或写成用逗号分隔的命题序列H 1, H 2, ..., H n ，即论证要求可写作：12n H H H C ∧∧∧? ，或12,...,n H H H C ?，，或12n H H H C ∧∧∧ ，或12,...,,n H H H C可见，论证A C 、A C ?或A C →是永真式都是同义的，且前提也可以用集合表示，如： 12{,..,},.n H H H C 在数学上，总是要求前提为真，从而推导出有效的结论，并不需要研究从假的前提能得到什么结论，且推理形式与前提的排列次序无关。
2_4_谓词逻辑中的基本等价和蕴含关系[14页]
![2_4_谓词逻辑中的基本等价和蕴含关系[14页]](https://360docs-1393072327.cos.ap-beijing.myqcloud.com/e34bb46e80eb6294dc886c12.webp)
沈阳工业大学 牛连强 陈欣 张胜男 niulq@
2.4.1 基本等价与蕴含关系
4. 量词分配律 全称量词意为合取，存在量词意为析取。故有：
∀x(A(x)⋀B(x))⇔∀xA(x)⋀∀xB(x)， ∃x(A(x)⋁B(x))⇔∃xA(x)⋁∃xB(x)。 [例]“所有人唱歌且跳舞”等同于“所有人唱歌且所有人跳舞”，“有人唱歌或跳舞” 等同于“有人唱歌或有人跳舞”。
2.4.1 基本等价与蕴含关系
3. 量词作用域的扩张与收缩 若B是不包含x的命题或谓词公式，则： ∀x(A(x) ⋁B)⇔∀xA(x)⋁B，∀x(A(x)⋀B)⇔∀xA(x)⋀B。 ∃x(A(x) ⋁B)⇔∃xA(x)⋁B，∃x(A(x)⋀B)⇔∃xA(x)⋀B。 量词作用域扩张就是增大，作用域收缩就是缩小。因为⋀、⋁满足交换律，B
[理解嵌套量词的一般方法]设论域为D ={a,b}，转换量词到有限域如： ∀x∃yA(x,y)⇔∃yA(a,y)∧∃yA(b,y) ⇔(A(a,a)∨A(a,b))∧(A(b,a)∨A(b,b)) ⇔(p∨q)∧(r∨s) ∃x∀yA(x,y)⇔(p∧q)∨(r∧s)
这里的p=A(a,a)，q=A(a,b)，r=A(b,a)，s=A(b,b)。于是，在命题逻辑中就可
会产生变化。B并非一定是命题常量，只要与x无关即可，如B(y)。
沈阳工业大学 牛连强 陈欣 张胜男 niulq@
2.4.1 基本等价与蕴含关系
因为存在上述等价关系，容易说明下述两种极限定义的表示方法等价： ∀ε(ε>0→∃δ(δ>0⋀∀x(0<|x-a|<δ→|f(x)-b|<ε)))。 ∀ε∃δ∀x(ε>0→(δ>0⋀(0<|x-a|<δ→|f(x)-b|<ε)))。
命题逻辑推理理论
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是有效结论
推理必背知识点总结
推理必背知识点总结一、命题推理1. 命题和命题演算命题是陈述语言的有真假性的陈述。
命题演算是对命题进行逻辑演算的方法。
常见的命题演算方法有合取、析取、条件命题和双条件命题。
2. 命题的连接词命题的连接词是逻辑运算符号，包括合取命题的∧、析取命题的∨、条件命题的→和双条件命题的↔。
3. 命题的混合连接当多个命题混合连接在一起时，需要注意连接词的优先级和括号的使用。
例如：(p∧q)∨r，先计算括号内的命题，再计算整个命题的值。
4. 命题的真值表真值表是对于给定的若干命题，列出所有可能情况下的真值的表格。
通过真值表可以判断复合命题在各种情况下的真假性。
5. 命题的推理基于命题演算的推理方法包括：简单推理、析取范式、合取范式、命题条件和德摩根定律等。
通过这些方法，可以得出结论，解决问题。
二、谬误推理1. 谬误的概念谬误是指在推理过程中出现的错误。
谬误分为形式谬误和实质谬误。
2. 形式谬误形式谬误是推理的结构不当或不完整，从而导致结论无法成立的错误。
如：偷换概念、假设不当、悖论等。
3. 实质谬误实质谬误是推断的前提不实或逻辑错误，导致结论不成立的错误。
如：抽象谬误、依据谬误、偷换概念等。
4. 谬误的检验和纠正检验谬误要对推理过程进行批判性思考，检查前提是否成立，结论是否合理。
纠正谬误需要重新分析问题，发现并修正推理过程中的逻辑错误。
三、数理逻辑1. 命题逻辑和谓词逻辑命题逻辑是处理命题间关系的逻辑。
谓词逻辑是对命题中的元素进行描述和关系的逻辑。
2. 命题逻辑的基本命题形式基本命题形式包括命题的合取、析取、条件命题和双条件命题。
3. 范式和析取范式范式是用合取命题和析取命题来表示一个复合的命题。
析取范式是用析取式来表示一个命题。
4. 命题逻辑的推理通过范式和析取范式，可以进行复杂命题的推理和逻辑演算。
5. 谓词逻辑的概念谓词逻辑是一种用来描述元素和关系的逻辑，主要包括：函项、量词、命题变元、量化和谓词符号等。
逻辑学知识点及公式
逻辑学知识点及公式逻辑学是一门研究思维形式、思维规律和思维方法的科学。
它对于我们正确地思考、表达和论证具有重要的意义。
下面为您介绍一些常见的逻辑学知识点及公式。
一、命题逻辑1、命题命题是具有真假值的陈述句。
例如，“今天是晴天”“2 ＋ 3 ＝5”等。
2、逻辑连接词（1）“且”（用“∧”表示）：两个命题都为真时，其组合命题才为真。
例如：命题 P：今天是晴天；命题 Q：我心情很好。
P∧Q 只有在今天是晴天并且我心情很好时才为真。
（2）“或”（用“∨”表示）：两个命题中至少有一个为真时，其组合命题为真。
例如：命题 P：我吃苹果；命题 Q：我吃香蕉。
P∨Q 在我吃苹果或者我吃香蕉或者两者都有时为真。
（3）“非”（用“¬”表示）：对原命题的否定。
例如：命题 P：今天下雨。
¬P 则表示今天不下雨。
3、命题公式的真值表通过列出命题中变量的所有可能取值，并计算出整个命题公式的真假值，可以得到真值表。
4、等价式（1）双重否定律：¬¬P ＝ P（2）交换律：P∧Q ＝ Q∧P，P∨Q ＝ Q∨P（3）结合律：（P∧Q)∧R ＝ P∧（Q∧R)，（P∨Q)∨R ＝ P∨（Q∨R)5、蕴含式如果 P 则 Q，记作P → Q。
只有当 P 为真且 Q 为假时，P → Q 为假。
二、谓词逻辑1、个体、谓词和量词个体是指可以独立存在的事物，谓词是描述个体性质或关系的词语，量词包括全称量词（“所有”，用“∀”表示）和存在量词（“存在”，用“∃”表示）。
2、公式例如，∀x （P(x) → Q(x)）表示对于所有的 x，若 P(x) 成立则 Q(x) 成立。
三、推理规则1、假言推理如果P → Q 为真，且 P 为真，那么可以推出 Q 为真。
2、选言推理（1）否定肯定式：P∨Q，¬P ，则 Q。
（2）肯定否定式：P∨Q，P ，则¬Q （这种情况在不相容选言中成立）3、三段论推理例如：所有的人都会思考，张三是人，所以张三会思考。
命题逻辑的推理理论
精品课件
实例
例 判断下面推理是否正确 (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
关系的性质(牛连强)
4.3 关系的性质很多关系具有一定的特殊性，这使其表现为某种特殊的关系。
在一些应用中，常常希望关系具有这些性质，也需要正确判定一个关系是否具有这些性质。
4.3.1 自反与反自反关系[定义4-8] 设R 是X 上的二元关系。
若对所有的x X ∈，有,x x R <>∈，则称R 是X 上的自反关系（reflexive relation ）。
符号描述为：R 是X 上的自反关系(,)x x X x x R ⇔∀∈→<>∈ [辨析] 定义要求对所有的x X ∈，都有,x x R <>∈，或者说只要x X ∈，就有,x x R <>∈。
其他性质也都类似。
[定义4-9] 设R 是X 上的二元关系。
若对所有的x X ∈，有,x x R <>∉，则称R 是X 上的反自反关系（irreflexive relation ）。
符号描述为：R 是X 上的反自反关系(,)x x X x x R ⇔∀∈→<>∉ 例如，实数集上的≥、≤、=关系，集合上的=、⊆关系，以及任何集合X 上的恒等关系I X 都是自反关系，整数集上的>、≠关系和集合上的⊂关系都是反自反关系。
定义中的“任意性”要求非常关键。
例如，A ={a , b , c }，R ={<a , a >, <b , b >}不是自反的，因为缺少序偶<c , c >，S ={<a , a >, <b , b >, <c , c >, <a , c >}才是自反的。
[理解] 如何判定一个关系具有某种性质？其实，每个性质的定义都由一个条件句命题来描述，只要证明此命题为真。
而如果条件句的前件为0，则命题必为1，故定义满足。
例4-12 找出一个关系，既不是自反的，也不是反自反的。
能再找出一个关系，既是自反的，也是反自反的吗？解 若A ={1,2,3}，则R ={<1,1>,<2,2>}既不是自反的，也不是反自反的。
谓词演算的推理理论(牛连强)
2.5 谓词演算的推理理论1．推理定律谓词演算中也存在一些基本的等价与蕴含关系，参见表2-2。
我们以此作为推理的基础，即推理定律。
表2-2序号 等价或蕴含关系 含义E27 E28 ┐∀xA(x)⇔∃x┐A(x)┐∃xA(x)⇔∀x┐A(x) 量词否定等值式E29 E30∀x(A(x)∧B(x))⇔∀xA(x)∧∀xB(x)∃x(A(x)∨B(x))⇔∃xA(x)∨∃xB(x)量词分配等值式（量词分配律）E31 E32 E33 E34 E35 E36 E37 E38 E39 E40 E41 E42 E43∀x(A(x)∨B)⇔∀xA(x)∨B∀x(A(x)∧B)⇔∀xA(x)∧B∃x(A(x)∨B)⇔∃xA(x)∨B∃x(A(x)∧B)⇔∃xA(x)∧B∀x(B∨A(x))⇔ B∨∀xA(x)∀x(B∧A(x))⇔ B∧∀xA(x)∃x(B∨A(x))⇔ B∨∃xA(x)∃x(B∧A(x))⇔ B∧∃xA(x)∃x(A(x)→B(x))⇔∀xA(x)→∃xB(x)∀x(A(x)→B)⇔∃xA(x)→B∃xA(x)→B⇔∀x(A(x)→B)A→∀xB(x)⇔∀x(A→B(x))A→∃xB(x)⇔∃x(A→B(x))量词作用域的扩张与收缩I21 I22∀xA(x)∨∀xB(x)⇒∀x(A(x)∨B(x))∃x(A(x)∧B(x))⇒∃xA(x)∧∃xB(x)I23 ∃xA(x)→∀xB(x)⇒∀x(A(x)→B(x))表2-2中的I、E序号是接着表1-5和1-8排列的，表明它们都是谓词逻辑的推理定律。
E31~E34与E35~E38只是A和B的顺序不同。
2．量词的消除与产生规则谓词推理可以看作是对命题推理的扩充。
除了原来的P规则（前提引入）、T规则（命题等价和蕴含）及反证法、CP规则外，为什么还需引入新的推理规则呢？命题逻辑中只有一种命题，但谓词逻辑中有2种，即量词量化的命题和谓词填式命题。
如果仅由表2-2的推理定律就可推证，并不需要引入新的规则，但这种情况十分罕见，也失去了谓词逻辑本身的意义。
第六章命题逻辑
P(附加前提) T(1)
P T(2),(3)
T(4) T(5)
P T(6),(7) CP规则
23
离散数学
CP规则例2 证明： A → (B → C), (C ∧ D) → E, ┓F → (D ∧ ┓E) ⇒A → (B → F) 证明 利用CP规则，即证：
A→(B→C), (C∧D)→E, ┓F→(D∧┓E), A, B ⇒ F
解：令 P：我的论文通过答辩。 Q：我拿到毕业证。 R：我很高兴。
由题意知，前提： (P → Q)， (Q → R)， ┐R 有效结论： ┐P
要证明： ┐R ∧ (P→ Q) ∧ (Q → R) ⇒ ┐P
25
离散数学
例1解
┐R ∧ (P→ Q) ∧ (Q → R) ⇒ ┐P
证明：
(1) ┐R (2) Q → R (3) ┐Q (4) P→ Q (6) ┐P
证明 (A∨B)→C,C→D∨E, E→F, ┓D∧ ┓F ⇒ ┓A
等价于证明: (A∨B)→C,C→D∨E, E→F, ┓D∧ ┓F, A ⇒0
(1) A
P(附加前提)
(2) A∨B
T(1)
(3) (A∨B)→C
P
(4) C
T(2),(3)
(5) C→D∨E
P
(6) D∨E
T(4),(5)
(7) ┓D ∧ ┓ F
T
而“如果天晴，我去看电影”
MS
P
所以“天不晴”
M
T
由于”或者天晴，或者下雨“
MQ
P
所以”天在下雨“
Q
T
17
离散数学
6.5 推理理论
6.5.1 前提与有效结论 6.5.2 证明方法