原命题与逆否命题真假性一定相同吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
预备知识
设系统 内的公理集 为：
其中 ， 和 是合式公式。
系统 只有一条推理规则，称为分离规则：
从 和 可以推出 。
证明
定理（演绎定理）
为公式集， 当且仅当
证明：
运用归纳法证明，过程就不写了，就说说需要证明的各种情况：
- 若 或 或 ，这三种情况都是显然的，最后一种运用公理 即可证明；
- 否则，设 为从 到 的一个推演序列，其中 ，于是我们可以不断地使用分离规则，最终得到 ；
显然。
推论（逆否命题）
当且仅当
证明：由演绎定理可知：
重言蕴含 ，使用公理
又 重言蕴含 ，故
由分离规则即得：
最后由演绎定理得
参考文献：
《数理逻辑证明及其限度》
1
相关话题
既然数学研究不需要在设备、资源上花多少钱，为什么我国的数学水平在国际上也是凉凉的？有哪些不同的物体,他们沿所有轴的转动惯量都相同?
在哪里排队最有可能中奖？
为什么多项式的根是系数的连续函数？
为什么许多规律极其简单的数列却仍未找到求和公式？
假设我们已知三角形内角和为180度,那么(凸)多边形的内角和是如何计算的（用数学方法论的方法解决)?
作为学数学的人，你有哪些用于「双十一」购物的方法？
无理数是否真的存在？
四边不等的一般四边形如何求面积？
被剑桥大学 deferred entry 应该接受吗？
下一个讨论
下列数字方块移动得到一定排列顺序的问题有解吗？
相关的话题
数列收敛的 ε-N 定义怎么理解？其作用是什么？矩阵A和矩阵B相乘，AxB为什么不等于BxA？
一个函数的不定积分存在有哪些必要条件或者充分条件？
在 UCLA 陶哲轩手下读博是什么感受？
如何证明圆上若干点构成的多边形最大面积在正多边形时取到？
Taylor公式证明是怎么想出来的？
假设新冠疫苗开始生产，月产能从 20W、500W 涨到 6000W，应该怎么下发疫苗最合理？
关乎1+1等于2，我们的科学是否建立在正确的立场？
数学物理是研究什么的？
从一读到一亿需要读多少个汉字？
挑战！ 笔算计算3^6024和7^3401哪个大？
为什么偏序集里的哈斯图不能有三角形呢？求证明过程？
如何理解 Van-Kampen 定理？
刚看了一个柯西不等式的推论，不知如何证明，希望得到解答?
如何证明任何一复系数整式p(z)都可以分解成若干个(z-c)相乘的形式？
圆周率 π 是否隐藏了本个宇宙的设计者留给这个宇宙的智慧文明的某种信息？
985工科毕业生想跨考基础数学，是理性伟大还是自负骄傲（中二病）？
如何简单清晰地解释哥德尔不完备定理？
如何证明Q[³√5]是域？
如何高效自学国内的苏联式风格的数学教材？
这个不等式怎么做？
申请美国大学的数学博士，选法语德语俄语中的哪一个比较合适？
什么是博弈论语义学？
如何理解雅克比矩阵？
为什么法语的数字表达方式那么奇怪？世界上还有其它主要语种采取类似的数字逻辑吗？
114514 阶的群有哪几类？
如果有一天上帝给了数学家素数的通项公式，这会对数学界有什么影响？
你认为四大棋哪个与数学（理科）关联最大？
假如圆周率是变量会怎么样？
使用泰勒公式进行估算时，在不同点展开的区别和意义是啥?