上一篇数理逻辑之 命题讲了关于命题的基本概念。
那么如何建立一个用于命题推理的演算,使得我们能建立前面论证的有效性呢?我们希望有一个规则集合,每条规则可以在给定某一前提假设序列,而得出一个结论。
在自然演算中,我们有一个证明规则集。用这一证明规则集,我们可以从一些公式推出另一些公式。
假设我们有一个公式集Θ1, Θ2, Θ3, Θn,也称为前提集,另一公式Ψ称为结论。我们通过对这些前提应用证明规则,我们希望得到更多的公式。然后再应用证明规则,最终得到我们想要的结论:
Θ1, Θ2, Θ3, …, Θn├Ψ
我们称这个表达式为相继式。
我们说一个相继式是有效的,当且仅当能找到它的一个证明。
还记得我吗前面的例子吗?
例1 ①If the train arrives late and there are no taxis at the station, then John is late for his meeting. ②John is not late for his meeting. ③The train did arrive late. ④Therefore, there were taxis at the station. 例2 ①If it is raining, and Jane does not have her umbrella with her, then she will get wet. ②Jane is not wet. ③It is raining. ④Therefore, Jane has her umbrella with her.
例1和例2的论证形式可表示为:
p∧﹁q → r, ﹁r, p├ q
去构造一个证明是一个富于创造性的活动,这类似于编写程序。
让我们开始来学习一些自然演算规则吧。
(Ⅰ)合取规则
合取规则有三个,前面是各自的规则,后面是他们的记号,我们后面在使用这些规则的时候只使用记号来表示。
先解释下规则是怎么看懂的:横线上面表示前提,横线下面表示结论。还不明白?来看一个例子:
例4 证明 p∧q,r ├ q∧r是有效的
p∧q 前提假设 r 前提假设 q ∧e2 1 q∧r ∧i 3,2
请问能看懂题目是什么意思吗?还记得相继式的概念吗?题目就是要证明一个相继式。
那么能看懂证明过程吗?还记得我吗初中的时候开始学习证明,每一步后面都要写上原因吗?这里也一样,为了更明白和深入理解规则,每一步后面都写了原因。
前两行都是相继式左边给出的,直接写上,第三行是根据第1行使用第三个合取规则e2得到的,所以写上“∧e2 1”,第四行同理,是根据第3行和第2行合取到的。
你可能会说:我了个去,这么简单,我也会编写逻辑教材了。别着急,如果你还记得第一篇文章里提到的那些概念,你就知道好戏才刚刚开始。
再来看一道题目:证明 (p ∧ q)∧r, s∧t├ q∧s 是有效的。
(p ∧ q)∧r 前提假设 s∧t 前提假设 p ∧ q ∧e1 1 s ∧e1 2 q ∧e2 3 q∧s ∧i 5,4
你有没有咆哮:难道合取就这简单,敢不敢来电更难的?
不好意思,合取规则真的就这命简单,三条都通俗易懂。如果你想想欧几里德的几条公设是不是心情会稍微平伏点?
这里有一点要说:对于一个有效的相继式,可能有多个证明。但不管哪个证明,我们都可以至顶向下逐行检查对证明规则应用的有效性(正确性)。这对于我们以后的表述很有意义。
相关推荐
莱布尼兹在此期间提出了建立数理逻辑的思想,主张将推理的正确性简化为计算过程,并使用符号语言代替自然语言,将符号的形式与含义分离,从而实现了推理规则的演算化。 - **布尔代数**:布尔将代数系统应用于逻辑...
### 数理逻辑基础知识点梳理 #### 一、命题逻辑的基本概念 **1.1 命题及其符号化** - **1.1.1 命题的含义** - 定义:命题是能够判断真假的陈述句。 - 特点:命题必须能够明确地给出一个真或假的结果,不能包含...
数理逻辑,作为数学的一个分支,致力于用数学的语言和方法来研究人类的推理过程,它强调符号化和形式化,即将逻辑中的基本概念、判断和推理转化为符号表达,并通过公理体系来刻画推理规则。这一领域又被称为符号逻辑...
集合论是数理逻辑和现代数学的基础之一,其中包含了各种关于集合的基本概念,如子集、真子集、空集等。 - **归纳定义和归纳证明**:归纳是一种常用的数学证明方法,通常包括基础步骤和归纳步骤两个部分。归纳定义则...
高等数理逻辑是计算机科学和数学的一个重要分支,它研究逻辑推理系统、形式语言和证明理论,为计算机程序设计、人工智能、理论计算机科学等领域提供了坚实的理论基础。2018年的高等数理逻辑课程可能涵盖了以下核心...
数理逻辑是数学的一个分支,它研究形式推理的规则和结构。这门学科结合了逻辑学、集合论和计算理论的元素,对于计算机科学、哲学和数学等领域的深入理解至关重要。哈尔滨工业大学(深圳)2019年的数理逻辑试卷为我们...
数理逻辑是数学的一个分支,主要研究形式系统、推理规则和证明理论。它结合了数学、哲学和计算机科学,为理解和表达数学证明提供了一种精确的框架。许道云老师的数理逻辑课件,作为贵州大学的教学资源,旨在帮助学生...
数理逻辑是数学的一个分支,主要研究推理规则和证明理论,它是计算机科学、哲学和数学逻辑基础的重要领域。哈工大(威海)的数理逻辑课件提供了深入学习这一主题的宝贵资源。以下是对该课程内容的详细概述: 1. **...
数理逻辑是计算机科学中的一个基础且至关重要的领域,它主要研究数学推理的结构、性质和形式化。哈工大徐永东老师的“数理逻辑”课件为学习这一领域提供了丰富的资源。以下是对该课件中可能涵盖的知识点的详细说明:...
数理逻辑是数学基础的重要分支,它研究推理的规则和形式系统。哈尔滨工业大学的数理逻辑试卷涵盖了命题逻辑和谓词逻辑两个主要部分,旨在测试学生的逻辑推理能力和符号转换技巧。 命题逻辑是逻辑学的基础,它关注的...
逻辑演算在此后得到了发展,甘岑的自然推理系统和逻辑演算的元理论,如公理独立性、一致性和完全性的研究,都极大地推进了数理逻辑的深入。 命题逻辑是数理逻辑的核心部分之一,它以原子命题为基本单位,分析命题的...
- **工具语言**: 传统逻辑使用自然语言,数理逻辑使用符号语言。 - **理解难度**: 传统逻辑较为直观易懂,数理逻辑更加抽象。 #### 第2章 命题演算形式系统 **2.1.1 命题** - 定义: 能够唯一确定真假值的陈述句。 ...
数理逻辑(Mathematical Logic)是逻辑学的一个分支,主要研究逻辑演算、证明论、模型论、递归论以及公理化集合论等内容。它是数学、计算机科学以及其他相关领域的基础工具之一。数理逻辑不仅涉及传统逻辑学的基本概念...
- 等值演算关注的是命题公式的等值变换,即通过一系列逻辑等价规则来简化或变形命题公式,从而更容易分析其真假性。常见的等值式包括分配律、结合律、交换律、德摩根定律等。 - 例如,\( p ∧ (q ∨ r) \)与\( (p ...
- **简单命题与复合命题**: 在数理逻辑中,一个完整的陈述句如果能够被判定为真或假,那么它就是一个命题。简单命题是指不能再进一步分解的命题,而复合命题则是由两个或多个简单命题通过逻辑连接词组合而成的新命题...
离散数学是计算机科学的基础,其中数理逻辑是核心部分之一。数理逻辑,也称为符号逻辑,是对人类推理规则的严谨数学分析。它源于传统逻辑,由亚里士多德开创,关注如何使用概念、进行判断和推理。然而,数理逻辑...
数理逻辑是数学的一个重要分支,它主要研究形式系统,包括命题逻辑和一阶逻辑等。在数理逻辑中,我们通常会遇到命题符号化、公式类型判断、推理正确性检验以及逻辑等值演算等问题。 1. **命题符号化**: - 命题...
数理逻辑是离散数学的一个重要分支,主要研究形式系统的构造、性质和推理规则。这份考试题涵盖了命题逻辑的基本知识,包括命题的符号化、公式的类型判断、推理的正确性检验以及命题逻辑的等值演算。 1. **命题逻辑...