原命题与逆否命题真假性一定相同吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
预备知识
设系统 内的公理集 为：
其中 ， 和 是合式公式。
系统 只有一条推理规则，称为分离规则：
从 和 可以推出 。
证明
定理（演绎定理）
为公式集， 当且仅当
证明：
运用归纳法证明，过程就不写了，就说说需要证明的各种情况：
- 若 或 或 ，这三种情况都是显然的，最后一种运用公理 即可证明；
- 否则，设 为从 到 的一个推演序列，其中 ，于是我们可以不断地使用分离规则，最终得到 ；
显然。
推论（逆否命题）
当且仅当
证明：由演绎定理可知：
重言蕴含 ，使用公理
又 重言蕴含 ，故
由分离规则即得：
最后由演绎定理得
参考文献：
《数理逻辑证明及其限度》
1
相关话题
√π 和 π 哪个更无理？圆周率 是一个数列的极限吗？
数学物理是研究什么的？
正方体的体对角线垂直吗？
如何判别一个方程所表征的曲线是否封闭？
冰雹猜想疑惑，是不是不能被3整除的数必能回到1？
如何求级数和1/（3^n-2^n）？
请问这个函数与不等式问题该怎么解答？
三阶魔方公式的最大周期是多少？对应的公式是什么？
e 是怎么算的？
下一个讨论
下列数字方块移动得到一定排列顺序的问题有解吗？
相关的话题
如果你来讲物理类《线性代数》课程，你会如何设计？参加 2018 年丘成桐大学生数学竞赛是什么体验？
有一个数学很好的男朋友是一种怎样的体验?
学数学的最后都从事了什么样的工作？是否如传言中的不赚钱。？
看到正方形能想到什么？
什么是科学上的「没有证据表明」？
是否存在一个函数，在它定义域内连续，递增，但处处不可导？
如何证明(x^y+y^x)(1/x+1/y)≥4?
最难的数学有多难？
如何看待哈佛大学数学教授姚鸿泽认为分析，几何和拓扑当初学不应当过于纠结细节，而应当快速进入核心内容？
为什么感觉群论学起来比数学分析之类难好多？
在线性代数中如何用几何表示非方阵矩阵相乘？
如何尽可能精确地称量 π 斤肉？
被高数虐是一种怎样的体验？
为什么圆周率 π 在各种物理数学公式里面经常出现？
国内大学数学系都上什么课程？
体现具体与抽象相结合的数学例子有哪些？
123456789怎样运算等于1？
欧氏空间到自身的局部同胚、连续、满映射，是否一定是单射？
数学难还是画画难？
已知若干个独立同分布的随机变量之积的分布，如何求单个随机变量的分布？
ai将来可以熟练运用公式解应用题吗？那为什么我还要起早贪黑地学解公式，而不是研究怎么搞这个ai？
如何证明 sinsin…sinx 极限为 0？
打开概率为 1/8000 的保险箱，8000 次内一定能打开吗？
知乎现在都有哪些值得关注的严肃输出？
0.999......8和1相等吗?
如何评价某伊利诺伊大学教授认为数学巩固了白人的特权？
1³+2³+3³+......+n³=多少？
如何证明任何有限域中的任何元素均可写成两数的平方和？
什么是埃尔德什差异问题?