原命题与逆否命题真假性一定相同吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
预备知识
设系统 内的公理集 为：
其中 ， 和 是合式公式。
系统 只有一条推理规则，称为分离规则：
从 和 可以推出 。
证明
定理（演绎定理）
为公式集， 当且仅当
证明：
运用归纳法证明，过程就不写了，就说说需要证明的各种情况：
- 若 或 或 ，这三种情况都是显然的，最后一种运用公理 即可证明；
- 否则，设 为从 到 的一个推演序列，其中 ，于是我们可以不断地使用分离规则，最终得到 ；
显然。
推论（逆否命题）
当且仅当
证明：由演绎定理可知：
重言蕴含 ，使用公理
又 重言蕴含 ，故
由分离规则即得：
最后由演绎定理得
参考文献：
《数理逻辑证明及其限度》
1
相关话题
如何证明 1^2021＋2^2021＋…＋1000^2021 能被 7、11、13 整除？一个简单的数学题，作为大学生的你会吗？
一个关于数学归纳法的悖论问题：到底是第 N 天有 N 个红眼睛自杀，还是什么都不会发生？
经济学中Ed=-(△Q/△P)/(P/Q)如何推导，麻烦有懂得大神给个解答，最好详细一点。？
如何看待谭泽睿的《在平移素数数列中的无平方因子数》？
这个级数应该怎么计算呢?求解答?
（回答前请阅读描述）吐槽小学数学一边进水一边排水问题的现象到底说明了什么(已更新)？
数学中的“怪兽群”是什么概念？
方程 x³+y³+z³=33 是否存在整数解？
如何看待丁石孙先生在学术和教育上成就?
下一个讨论
下列数字方块移动得到一定排列顺序的问题有解吗？
相关的话题
人类是否能想象出多维空间的形态？复合映射的符号f°g是怎么来的？
为什么逻辑学给入门者的感觉如此之乱？
世界未解猜想需要学完所有数学才能破解吗？
什么具体的理论／问题／让你对数学（本科以上）提起了真正的兴趣（motivation）？
哪种形状的方糖拥有恒定的溶解速率?
如何证明存在 1000 个连续的正整数中恰好有五个素数？
为什么逻辑学的排中律不是任何条件下都可使用的?
代数拓扑为什么研究同调？
算盘的计算速度有多快？
为什么不能用 0 做除数？
数学专业本科生，未来选择哪条路赚钱最多？
如何证明这个复变函数列的一致收敛性？
有人认为，数学的本质是计算，另外一个人认为，数学的本质是免于计算，请问相比之下，谁更有道理？
导数 dy/dx 是不是一个整体符号？
如何评价美国俄勒冈州教育局让全州公立学校的教师们进行「民族性数学」的大讨论？
数学这门学科有多有趣？
算子这个词的来源以及意义，有什么作用，为什么可以这样用？
四边不等的一般四边形如何求面积？
0.8＞ln2 怎么证明？
测度论（measure theory）和实变函数是什么关系？
朗兰兹纲领对现代数学有何影响？
如何评价数海钓鱼将钓鱼题广泛传播的行为?
在科学研究里有没有需要对一个奇怪的数列求和的例子？
有哪些看起来很难但做起来很简单的数学题？
如何理解「数学中可行的在物理学中并不一定可行，反之亦然」？
请问σ-代数（sigma-algebra）的含义是什么，能否举例说明？
如何评价张益唐「如果在中国的大学，我就废了，根本无法取得现在的成就」这句话？
数学上是否存在这样的情况，给定条件已经能确定结果的唯一性，但就是求不出来！据说椭圆周长就是。？
芝诺佯谬的正确解释是什么？