原命题与逆否命题真假性一定相同吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
预备知识
设系统 内的公理集 为：
其中 ， 和 是合式公式。
系统 只有一条推理规则，称为分离规则：
从 和 可以推出 。
证明
定理（演绎定理）
为公式集， 当且仅当
证明：
运用归纳法证明，过程就不写了，就说说需要证明的各种情况：
- 若 或 或 ，这三种情况都是显然的，最后一种运用公理 即可证明；
- 否则，设 为从 到 的一个推演序列，其中 ，于是我们可以不断地使用分离规则，最终得到 ；
显然。
推论（逆否命题）
当且仅当
证明：由演绎定理可知：
重言蕴含 ，使用公理
又 重言蕴含 ，故
由分离规则即得：
最后由演绎定理得
参考文献：
《数理逻辑证明及其限度》
1
相关话题
一道数学分析题? 应该如何做呢?这个世界上有足球、篮球等竞赛的转播，为啥没有数学、物理等竞赛的转播呢？
级数加括号后发散，是否之前一定发散？
为什么正方体有十一种展开图？
有哪些适合失业人士思考的数学问题？
关乎1+1等于2，我们的科学是否建立在正确的立场？
专业的数学爱好者喜欢的是数学的什么（请看问题描述）？
集合论与微积分？
什么是「测度论」？
为什么说用矩阵定义线性映射是一个糟糕的观点？
下一个讨论
下列数字方块移动得到一定排列顺序的问题有解吗？
相关的话题
数学专业的学生抄书有帮助吗？如何理解分形的维度？
什么样的初等函数的不定积分不能用初等函数表示？
你是否支持将1电分定义为现在的1小时的1/64，将1电秒定义为新定义的1电分的1/64？为什么？
这种类型的排列有没有什么数学名字？
如何证明 e^π＞23？
如何用初等方法证明k阶齐次线性常系数递推数列的通项公式？
含有√ax+b的积分，除了将∨ax+b直接替换成t还有其他的做法吗？
如何证明Metropolis Hastings algorithms)能够达到马尔科夫稳态？
经济学家的数学是否都很好？
如果某天偶数消失，世界会变成什么样？
怎么理解 Mayer-Vietoris 序列？
为什么需要证明「1+1=2」？
如此证明（0，1）=【0，1】，是否正确？
效用函数的高阶导数有何经济学含义？如何推导？
为什么翻开高数课本会感到窒息？
这个荔枝弯曲的形状是否有曲线方程？
实变函数，泛函分析这两门课在实际生活中有什么用到的地方？
如何看待任正非说的「发展芯片光砸钱不行，还要砸物理学家数学家」？
会不会某个人已经证明了哥德巴赫猜想，却不愿意讲出来？
现在流传的数学高考卷是假的吧？
是不是智商超高的人普遍研究数学或物理，很少有研究文学历史这类的?为什么大家普遍认为理科好就是智商高?
如何证明该级数收敛?
数学分析究竟在讲些什么？
有且仅有函数e^x的导数与本身相等吗？如何证明？
如何证明该级数收敛?
证明n维线性空间中任何n+1个向量都线性相关。?
在一块边长为a的大正方形中，任意地挖掉一块各边平行或垂直于大正方形的边长为a/2的小正方形?
如何看待郑爽小号疑似曝光：按前男友顺序编号注册微博小号，每个小号数字还是以 4 递增的等差数列？
方程 x³+y³+z³=33 是否存在整数解？