原命题与逆否命题真假性一定相同吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
预备知识
设系统 内的公理集 为：
其中 ， 和 是合式公式。
系统 只有一条推理规则，称为分离规则：
从 和 可以推出 。
证明
定理（演绎定理）
为公式集， 当且仅当
证明：
运用归纳法证明，过程就不写了，就说说需要证明的各种情况：
- 若 或 或 ，这三种情况都是显然的，最后一种运用公理 即可证明；
- 否则，设 为从 到 的一个推演序列，其中 ，于是我们可以不断地使用分离规则，最终得到 ；
显然。
推论（逆否命题）
当且仅当
证明：由演绎定理可知：
重言蕴含 ，使用公理
又 重言蕴含 ，故
由分离规则即得：
最后由演绎定理得
参考文献：
《数理逻辑证明及其限度》
1
相关话题
数学功底究竟指的是什么？如何计算此多重积分不等式？
怎么用尺规作图法将一条线段分为两部分，且比例为 1:2？
如何求解这几道题?
数学系的教学模式是否违反直觉？
如何证明：A*=A,则A的特征根为实数？
在一段高速公路上，30分钟之内见到汽车经过的概率是95%，那么，在10分钟内见到汽车经过的概率是多少？
求证：关于菲尔兹奖得主舒尔茨的这个非常特殊的说法，是否属实？
高考数学140的人难道选填压轴都能一眼出答案吗？
函数求导的逆运算？
下一个讨论
下列数字方块移动得到一定排列顺序的问题有解吗？
相关的话题
我好喜欢数学，学不好，怎么办？400 级地震和 13 亿分贝，哪个能量更大？
怎么做，求解?
为什么两个数的公约数都是他们最大公约数的约数?
抽五张牌，选择并依次展示其中四张，能否猜出第五张牌？
实变泛函都是很容易的课，为何说「实变函数学十遍，泛函分析心犯寒」？
∞+1和∞谁大？
如何用准确的数学语言证明:两素数分别n次方后还是互素?
印刷体的数学符号在手写的时候有哪些规范？
如何求这个表情包里的的极限？
实变函数，泛函分析这两门课在实际生活中有什么用到的地方？
有没有哪个素数可以以多种方式写成两个正整数的平方和？
葛军的高考数学卷子到底难在哪里？
如何简洁地证明二次互反律？有哪些具体应用？
学数学学到自卑怎么办？
什么是归一化，适用场景是什么？请举个例子说明归一化带来的好处是什么？
利用无理数压缩数据是否可行？
考研数学怎么学?
如何让一个 5 岁小孩听懂什么是选择公理？
如何看待Michael Atiyah爵士疑似证明黎曼猜想，并将在9月24日宣讲？
7^1919 的末三位数字是多少？
学习质数理论有什么实用之处？
我感觉我对数学的求知欲在下降，怎么办？
学随机分析需要把实分析和泛函学的很深吗?
微分记号 dx 是否不够恰当？
高斯-博内定理和幅角原理的关系是什么？
如何理解「梅涅劳斯定理」和「塞瓦定理」，这两个定理在实际中有什么应用？
如何用最简单的语言统一描述多元函数求导（对向量求导、对矩阵求导等）？
数学家（数学专业）都是怎么搞研究的?
这张图的最后一条到底是什么？