上一篇数理逻辑之 命题讲了关于命题的基本概念。
那么如何建立一个用于命题推理的演算,使得我们能建立前面论证的有效性呢?我们希望有一个规则集合,每条规则可以在给定某一前提假设序列,而得出一个结论。
在自然演算中,我们有一个证明规则集。用这一证明规则集,我们可以从一些公式推出另一些公式。
假设我们有一个公式集Θ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-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题...
王浩.数理逻辑通俗讲话 王浩.数理逻辑通俗讲话
中山大学知名教授的讲义。...帮你学习数理逻辑。。。中山大学知名教授的讲义。。。帮你学习数理逻辑。。。中山大学知名教授的讲义。。。帮你学习数理逻辑。。。中山大学知名教授的讲义。。。帮你学习数理逻辑。。。
高级数理逻辑第七章:λ-演算(Lambda 演算);λ-演算是一套用于研究函数定义、函数应用和递归的形式系统
哈工大数理逻辑的课后答案,帮助学习学妹完成作业哦,仅供参考。 哈工大数理逻辑的课后答案,帮助学习学妹完成作业哦,仅供参考。
希尔柏脱 阿克曼 数理逻辑基础 命题演算 类演算 狭义谓词演算 广义谓词演算
数理逻辑简要版,图文并茂,容易理解
莫绍揆,数理逻辑初步,数理逻辑通俗教材,数理逻辑通俗教材。
数理逻辑基础 数理逻辑基础 数理逻辑基础
逻辑是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德...命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。命题是指具有具体意义的又能判断它是真还是假的句子。
数理逻辑部分习题答案:内容包括命题逻辑、一阶逻辑、集合及其运算、等部分的定义、定理、习题与解答
本书系统地介绍了逻辑演算,模型论和证明与反驳等数理逻辑的基本内容。全书分为五章,选材时充分考虑了适应逻辑系统的特征和计算机科学的要求_第一章介绍了形式系统的定义,结构及基本概念。第二章介绍了命题逻辑...
王老师的经典之作,可以认真研读,尤其是关于独立性的证明,对数理逻辑的发展有清晰的解释
中大数理逻辑教案-不错的数理逻辑教案。。
逻辑学( logic ) 是...其显著特征是符号化和形式化,即把逻辑所涉及的“概念、判断、推理”用符号来表示,用公理体系来刻划, 并基于符号串形式的演算来描述推理过程的一般规律。 数理逻辑又称符号逻辑、现代逻辑。
这是中国科学院大学(简称:国科大)数理逻辑与程序理论课程的平时作业与答案
中文,扫描的数理逻辑答案,Pdf 清晰。请大家下载
高等数理逻辑课件,2018复习资料,utf8面向计算机的数理逻辑电子版