原命题与逆否命题真假性一定相同吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
预备知识
设系统 内的公理集 为：
其中 ， 和 是合式公式。
系统 只有一条推理规则，称为分离规则：
从 和 可以推出 。
证明
定理（演绎定理）
为公式集， 当且仅当
证明：
运用归纳法证明，过程就不写了，就说说需要证明的各种情况：
- 若 或 或 ，这三种情况都是显然的，最后一种运用公理 即可证明；
- 否则，设 为从 到 的一个推演序列，其中 ，于是我们可以不断地使用分离规则，最终得到 ；
显然。
推论（逆否命题）
当且仅当
证明：由演绎定理可知：
重言蕴含 ，使用公理
又 重言蕴含 ，故
由分离规则即得：
最后由演绎定理得
参考文献：
《数理逻辑证明及其限度》
1
相关话题
如何记住所有的三角函数公式？“太阳从西边或东边出来”是必然事件，随机事件还是不可能事件？
这种不等式的本质是什么？
如果1+1＝0你认为是什么原因？
物理学与数学在思维方式上有什么本质区别？
可以留下一个优美的不等式吗？
阅遍所有数学的重要领域的结果是否有可能？
世界是几维的？
如何学习点集拓扑学？
怎么样通俗易懂地向小学生介绍群论的思想？
下一个讨论
下列数字方块移动得到一定排列顺序的问题有解吗？
相关的话题
若 a=0.248163264128256...，请问 a 是否为有理数？理由是什么？“逻辑”能够做一切事情的判断依据吗?
求解决这道题目？
叶戈罗夫定理的逆定理该怎么证明？
数学本科生学一门课（比如代数几何2）到一半时失去动机不感兴趣了，应该如何决定是继续肝还是放弃掉学别的？
为什么国内一流高校的理工科专业的学生大多对民科充满反感和鄙夷？
科学是了解这个世界（宇宙）的唯一手段吗？
如何看待「禁止用没学过的知识解题」这样的要求？
三体运动的微分方程组是如何列的？既然它没解析解，能否写一下计算过程？
是否存在一个复解析函数f(z)，使得对于正整数n，f(n)就是第n个质数？
如此证明（0，1）=【0，1】，是否正确？
这种不等式的本质是什么？
如何证明没有上帝？
在数学证明中，假设一个微元epsilon的思路是怎么来的？
根据策梅洛定理，中国象棋是不是应该红方必胜或必和棋（看补充）？
如何看待关于 1 与 0.9999… 的大小的争论？
如何证明n是2的幂?
这道题如何用柯西审敛准则证明收敛?
关于数学扎心的句子有哪些？
「大数定律现象」的成立是数学推出的结果么？
如何看待高中生声称证明哥德巴赫猜想？
学文科会影响数学思维吗?
真的不喜欢数学怎么办？
如何通俗易懂地解释外微分？
数学中，类似 π、e 的独立的常数还有哪些？
如何看待 2020 奥数国家队名单：时隔十年再有女生入选，5 位选手来自南方高中？
二维傅里叶变换是怎么进行的？
证明如果幂级数在收敛圆上一点收敛，那么从圆内沿任意不与圆周相切的方向逼近时有极限？
可导，可微，可积，连续的关系是什么？然后，它们各自的充要条件是什么？
怎么用正切函数连分数展开式证明圆周率是无理数?