原命题与逆否命题真假性一定相同吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
预备知识
设系统 内的公理集 为：
其中 ， 和 是合式公式。
系统 只有一条推理规则，称为分离规则：
从 和 可以推出 。
证明
定理（演绎定理）
为公式集， 当且仅当
证明：
运用归纳法证明，过程就不写了，就说说需要证明的各种情况：
- 若 或 或 ，这三种情况都是显然的，最后一种运用公理 即可证明；
- 否则，设 为从 到 的一个推演序列，其中 ，于是我们可以不断地使用分离规则，最终得到 ；
显然。
推论（逆否命题）
当且仅当
证明：由演绎定理可知：
重言蕴含 ，使用公理
又 重言蕴含 ，故
由分离规则即得：
最后由演绎定理得
参考文献：
《数理逻辑证明及其限度》
1
相关话题
如何理解雅可比式？这个数学问题，大家可以指点一下吗?
各类科研领域中哪些公式，原理或定律的推出，用到了有趣的思维方式？
为什么做数学题时，自己想不出来，而翻到后面看答案解析时却全都能能看懂？
数学专业出身的口算能力会比其他人强很多吗？
爱因斯坦作为一个物理学家，他的数学水平有多高？
这道排列组合该如何思考？
轮子为什么不设计成莱洛三角形?
每秒 30 米有多快呢？
如何系统学习机器学习？
下一个讨论
下列数字方块移动得到一定排列顺序的问题有解吗？
相关的话题
初等数学并不能严格定义自然数、整数、有理数、实数等，可为什么能用初等数学方法证明根号 2 是无理数？请问这道数学分析题目应该怎么做呢？
如何看待涉及悉尼大学数学系教授 Williamson 和美国国家科学基金会的学术不端事件？
有哪些神奇的宇宙法则？
高斯到底干了什么？为什么这么多算法里有他？
两个人如何通过电话「扔硬币」？
数学家（数学专业）都是怎么搞研究的?
你所在数学领域的 big picture 是什么？
10 × 10 的正方形最多可放入多少个直径为 1 的圆？
有没有手算根号pi的方法？
怎么证明存在71阶实方阵A,使得它满足下面这个等式呢？
如果历史上没有牛顿、莱布尼茨、欧拉、高斯、阿贝尔……等人，我们的科学、技术和文明还有这么强大吗？
原命题与逆否命题真假性一定相同吗？
随手画线段，其长度最有可能是有理数还是无理数？
为什么有的人开始喜欢数学，到了大学就不喜欢了？
极坐标下的二重积分，二次积分下每次积分的几何意义是什么？
小学数学为什么不从集合论学起？
精通量子场论是种怎样的体验？
现代数学和理论物理已经发展到怎样一个令人震惊的水平了？
谜之代码是否存在？
圆锥曲线中过任一顶点作相垂直的直线，过直线与曲线交点的直线过定点，这有什么射影几何的背景吗？
数论在物理学中有哪些具体应用？
如下图，这个级数如何求出来呢？
随机取牌算不出 24 点的概率是多少？
(-1)^(0.4) 是否等于 (-1)^(2/5)？
那些数学很好的人现在怎么样了？
证明在方程 20X^2-19Y^2=2019 中X与Y没有整数解?
五个囚犯先后从100颗绿豆中抓绿豆。抓得最多和最少的人将被处死，不能交流，可以摸出剩下绿豆的数量，谁的存活几率最大？
伟大的数学家是如何培养的呢？
数学书上这种是什么字体，以及应该如何手写？