原命题与逆否命题真假性一定相同吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
预备知识
设系统 内的公理集 为：
其中 ， 和 是合式公式。
系统 只有一条推理规则，称为分离规则：
从 和 可以推出 。
证明
定理（演绎定理）
为公式集， 当且仅当
证明：
运用归纳法证明，过程就不写了，就说说需要证明的各种情况：
- 若 或 或 ，这三种情况都是显然的，最后一种运用公理 即可证明；
- 否则，设 为从 到 的一个推演序列，其中 ，于是我们可以不断地使用分离规则，最终得到 ；
显然。
推论（逆否命题）
当且仅当
证明：由演绎定理可知：
重言蕴含 ，使用公理
又 重言蕴含 ，故
由分离规则即得：
最后由演绎定理得
参考文献：
《数理逻辑证明及其限度》
1
相关话题
数学究竟是真实存在的，亦或是人类精神的产物？拓扑学能解决哪些分析学无法解决的问题？
高斯到底干了什么？为什么这么多算法里有他？
如何证明非零自然数的平方的倒数和为π^2/6?
你最喜欢的一句数学界的名言是什么？
股市之中百分之九十的散户都是在亏钱，那从概率角度来看，我是否大概率能赢散户的钱?
数学中对于直线、平面的定义是什么？
为什么在数轴上随便取一个点，一定取到的是无理数？
什么是实数？
既然负数开平方可以拓展出一个复数系，那 1/0 也可以拓展出新的数系吗？
下一个讨论
下列数字方块移动得到一定排列顺序的问题有解吗？
相关的话题
为什么学数学，无论是初中、高中，还是大学，总有种“这我怎么可能想到”的感觉？是什么让你对数学或物理感兴趣的？
为什么傅里叶变换可以把时域信号变为频域信号？
现在流传的数学高考卷是假的吧？
椭圆的一般方程 Ax²+Bxy+Cy²+Dx+Ey+F=0，其中心点坐标如何推导？
一立方米的物体（类似于活性炭）把它展开后它的表面积最大能有多少？能达到无限吗？
求问数学公式推导？
你知道哪些冷门但内容十分好的数学书？
这个级数怎么处理?
请问这道积分题如何证明？
二维傅里叶变换是怎么进行的？
数学课有江湖吗？
1，2，4，8，16，30是什么规律？
如何反驳此人证明0.9循环不为1？
高三数学：如何比较b c大小？
怎样学范畴论？
LU分解法与Gauss消元法两者复杂度的比较，谁跟快？
数学2分，如何自救？
身份证号不会用完吗？
如何证明：A*=A,则A的特征根为实数？
牛顿在数学方面有多牛？
如何评价吴文俊《东方数学的使命》？
如何通俗地理解「蒙特卡洛方法」，它解决问题的基本思路是什么，目前主要应用于哪些领域？
怎样算原神up池到第x抽才出up角色的概率（1≤x≤180）？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
为什么不能用 0 做除数？
为什么有的小学语文课文故事不是真的？
如何求级数和1/（3^n-2^n）？
为什么这个极限题等于0而不是等于1？
如何在冰雹猜想上做出点成绩?