上一篇说了析取规则和copy规则。还能不能想起来?
今天来看(Ⅷ) 否定规则。
先给一个定义——矛盾公式:称ΦΛ¬Φ或¬ΦΛΦ为矛盾公式。其中Φ是任意公式。
也就是是任意一个公式和自己的否定进行合取得到的公式都是矛盾公式。
和矛盾公式相关的规则有二:
第一个叫“底公式引入消去规则”,第二个当然就叫“底公式引入规则”了。
所谓的底公式就是矛盾公式的通用记号,根据它的记号样子而来,表示绝对不成立。
看一个例子:例19 证明相继式¬p ∨ q ├ p→ q 是有效的
根据相继式类型,选择使用析取消去规则。在第一个盒子中又使用了蕴含引入规则,其中使用了底公式引入规则。因为根据底公式能得出任意公式,所以得到了第五行的结果。
下面是否定引入规则:如果盒子里的一个公司经过演算得到了底公式,则盒子外面写下该公式的否定
再看一个例子:例20 证明相继式p→q, p→﹁q |- ﹁p是有效的.
这个比较简单。你能自己说出每一行用了什么规则吗?
到这里自然演算的规则就全部学完了。我们一起来复习一下:
首先是命题,与之相关的一个概念是断言。然后是原子命题、复合命题、命题连接词。
接着是一些引入规则和一些消去规则:合取的析取的双重否定的蕴含的,还有MT规则和copy规则。
最后还有一个概念:定理!
后面我们要开始学到一些导出规则。
导出规则和自然演算规则相比就好像数学定理和公理的比较:自然演算规则是公认的,不用推导的;导出规则是需要使用自然演算规则推导出来的比较常用的规则。不过并不完全是这样。
相关推荐
数理逻辑答案,数理逻辑答案,数理逻辑答案,数理逻辑答案
数理逻辑命题逻辑等值演算
面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题...
王浩.数理逻辑通俗讲话 王浩.数理逻辑通俗讲话
中山大学知名教授的讲义。...帮你学习数理逻辑。。。中山大学知名教授的讲义。。。帮你学习数理逻辑。。。中山大学知名教授的讲义。。。帮你学习数理逻辑。。。中山大学知名教授的讲义。。。帮你学习数理逻辑。。。
哈工大数理逻辑的课后答案,帮助学习学妹完成作业哦,仅供参考。 哈工大数理逻辑的课后答案,帮助学习学妹完成作业哦,仅供参考。
希尔柏脱 阿克曼 数理逻辑基础 命题演算 类演算 狭义谓词演算 广义谓词演算
本书系统地介绍了逻辑演算,模型论和证明与反驳等数理逻辑的基本内容。全书分为五章,选材时充分考虑了适应逻辑系统的特征和计算机科学的要求_第一章介绍了形式系统的定义,结构及基本概念。第二章介绍了命题逻辑...
数理逻辑简要版,图文并茂,容易理解
莫绍揆,数理逻辑初步,数理逻辑通俗教材,数理逻辑通俗教材。
数理逻辑基础 数理逻辑基础 数理逻辑基础
数理逻辑部分习题答案:内容包括命题逻辑、一阶逻辑、集合及其运算、等部分的定义、定理、习题与解答
逻辑是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德...命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。命题是指具有具体意义的又能判断它是真还是假的句子。
高级数理逻辑第七章:λ-演算(Lambda 演算);λ-演算是一套用于研究函数定义、函数应用和递归的形式系统
王老师的经典之作,可以认真研读,尤其是关于独立性的证明,对数理逻辑的发展有清晰的解释
中大数理逻辑教案-不错的数理逻辑教案。。
这是中国科学院大学(简称:国科大)数理逻辑与程序理论课程的平时作业与答案
中文,扫描的数理逻辑答案,Pdf 清晰。请大家下载
高等数理逻辑课件,2018复习资料,utf8面向计算机的数理逻辑电子版
作者: 汪芳庭 出版社: 中国科学技术大学出版社 出版年: 1990年9月 页数: 273