原命题与逆否命题真假性一定相同吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
预备知识
设系统 内的公理集 为：
其中 ， 和 是合式公式。
系统 只有一条推理规则，称为分离规则：
从 和 可以推出 。
证明
定理（演绎定理）
为公式集， 当且仅当
证明：
运用归纳法证明，过程就不写了，就说说需要证明的各种情况：
- 若 或 或 ，这三种情况都是显然的，最后一种运用公理 即可证明；
- 否则，设 为从 到 的一个推演序列，其中 ，于是我们可以不断地使用分离规则，最终得到 ；
显然。
推论（逆否命题）
当且仅当
证明：由演绎定理可知：
重言蕴含 ，使用公理
又 重言蕴含 ，故
由分离规则即得：
最后由演绎定理得
参考文献：
《数理逻辑证明及其限度》
1
相关话题
想请问平坦模、投射模这些的几何意义是什么，感觉atiyah这本书的定义有些干巴巴的.......？圆周率应该如何从更高的数学视角理解？
如何引导不喜欢方程的表弟学习使用方程？方程思想到底是什么？
如何证明π是圆周率？
矢量的点乘为什么可以求导？
孩子的梦想是成为天文学家，怎样帮助他去接近梦想？
俄罗斯的数学教育为什么那么强大？
在数学中，为什么我们要视悖论为洪水猛兽？这难道不是在歧视悖论吗？
十几岁的小孩，计算能力特别弱，但是逻辑推理能力超强，梦想是成为数学家，有可能么？
如果用进步次数评定一个人的成绩，如何获取第一名？
下一个讨论
下列数字方块移动得到一定排列顺序的问题有解吗？
相关的话题
请问2^2^2^2+3^3^3^3是否为素数呢？如何自学数学以达到数学博士的水平？
有哪些时候你会觉得数学很有用？
抽象函数2f(x)f(y)＝f(x+y)+f(x-y)的通式是什么？？
如果我们到了四维空间，会看到怎样的世界？
全能悖论中，上帝不能举起的石头是不是属于上帝全能之中？
有哪些有趣、脑洞大开的学术论文？
当我用手指划过尺子 3 和 4 刻度之间时，我是否触摸到了 π？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
用微积分怎么证明勾股定理？
定义域为空集的空函数该怎么理解？
如何看待涉及悉尼大学数学系教授 Williamson 和美国国家科学基金会的学术不端事件？
高中生大学想学量子物理，也想学基础数学，大学专业应该怎么报呢？
有没有休闲级别、能读懂的讲「群论」的书籍？
如何理解希尔伯特空间？
如果放开一个质量为负数的物质会出现什么？
为什么任何阶数等于其定义空间维数的全反对称张量在该空间中坐标系转动下不变？
在科学研究里有没有需要对一个奇怪的数列求和的例子？
你在做物理或数学中的哪个科研方向？大致在研究什么？
Taylor公式证明是怎么想出来的？
数学和物理超出直觉范围后该怎么学习？
成为一个数学家有多难？
阶乘的概念能否推广到全体实数，甚至是全体复数？
为什么负负得正，正正不能得负？
为什么不少数学和理论物理的专栏文章喜欢配萌妹子的图？
物理定律能否脱离物理研究过程，直接通过数学演绎发现？
生命体可以用数学来解释吗？
如果高考允许以一百万人民币一分的价格无限量购买分数（收入归大学所有），那对社会会有怎样的影响？
如何用数论证明 3^x＋4^x＝5^x 只有一个实数解？
用微积分怎么证明勾股定理？