原命题与逆否命题真假性一定相同吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
预备知识
设系统 内的公理集 为：
其中 ， 和 是合式公式。
系统 只有一条推理规则，称为分离规则：
从 和 可以推出 。
证明
定理（演绎定理）
为公式集， 当且仅当
证明：
运用归纳法证明，过程就不写了，就说说需要证明的各种情况：
- 若 或 或 ，这三种情况都是显然的，最后一种运用公理 即可证明；
- 否则，设 为从 到 的一个推演序列，其中 ，于是我们可以不断地使用分离规则，最终得到 ；
显然。
推论（逆否命题）
当且仅当
证明：由演绎定理可知：
重言蕴含 ，使用公理
又 重言蕴含 ，故
由分离规则即得：
最后由演绎定理得
参考文献：
《数理逻辑证明及其限度》
1
相关话题
133991318数字代表什么意思，求哥哥姐姐指教？怎样证明 0.999… = 1？
共形场论中径向量子化（radial quantization）的问题？
中国数学博士的基础课明明上得比美国的多，为什么学术水平和基础还是美国好呢？
如何证明 1²+2²+…+n² 为平方数的解只有 n＝1 或 n＝24？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
嘉然在杭州，我也在杭州，知乎上的各位数学大神能帮我分析一下，我在杭州偶遇嘉然的概率是多大？
阿贝尔变换强大在哪里？
为什么随便在计算器上按个数，然后多次按 cos 键，结果总是趋近于 0.73几？
两个人如何通过电话「扔硬币」？
下一个讨论
下列数字方块移动得到一定排列顺序的问题有解吗？
相关的话题
如何看待山东大学泰山学堂数学取向要做大量的大物实验？偏微分方程在纯数学有什么应用？
(lnx)'＝1/x，为什么 (ln3)'≠1/3？
数论在物理学中有哪些具体应用？
怎么做这道不等式的证明题？
有哪些让人眼前一亮的函数？
如何评价2021年第37届全国中学生数学竞赛决赛（CMO）？
如何看待 Google 2004 年在硅谷公路旁一巨型广告牌上贴出的那道数学题用于招聘？
高斯到底干了什么？为什么这么多算法里有他？
为什么康德说数学是纯粹先天综合知识？
x^7+1=(x^4+x^2+x+1)(x^3+x+1) 是如何分解得到的呢？
《隐秘的角落》这道解析几何有哪些比较好的解法？
为什么有些数学系学生会瞧不起 CS（计算机）系学生？
因子分析法求权重，两个指标可以用这个方法吗？这个方法的优势是什么？
物理系学生感觉自己陷进数学里了该怎么办？
有哪些有趣的或者是反常识的数学问题？
如何确定该双变量函数的所有间断点？
数学专业出身的口算能力会比其他人强很多吗？
学数学是不是真的脑子好比努力还重要？
国内外做基础数学的人的现状如何？
为什么 3 岁小朋友也能一眼识别三叶草和四叶草，是根据形状还是根据叶子数量判断的呢？
为什么有人会认为中医药有效？
如何看待的法兰西的数学水平？
三边为 10 的四边形，如何使之面积最大？
我们生活在三维空间，是偶然还是必然？
如何成为一名科研人员（最好是数学）？
这种积分怎么算？
怎样实现浮点数除以一个数再乘以这个数结果等于原值?
深夜刷数学题是一种怎样的体验？
反正切函数arctanx平方后的无穷级数怎么证明?