原命题与逆否命题真假性一定相同吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
预备知识
设系统 内的公理集 为：
其中 ， 和 是合式公式。
系统 只有一条推理规则，称为分离规则：
从 和 可以推出 。
证明
定理（演绎定理）
为公式集， 当且仅当
证明：
运用归纳法证明，过程就不写了，就说说需要证明的各种情况：
- 若 或 或 ，这三种情况都是显然的，最后一种运用公理 即可证明；
- 否则，设 为从 到 的一个推演序列，其中 ，于是我们可以不断地使用分离规则，最终得到 ；
显然。
推论（逆否命题）
当且仅当
证明：由演绎定理可知：
重言蕴含 ，使用公理
又 重言蕴含 ，故
由分离规则即得：
最后由演绎定理得
参考文献：
《数理逻辑证明及其限度》
1
相关话题
如何解决这个函数极限的证明问题？π 的数字排列中能否找到 e 的数字排列？
如果黎曼猜想以后被xx人证明了，那以后会被叫做黎曼定理还是xx定理呢？
算盘的计算速度有多快？
图论和拓扑有什么区别？
一个长宽高之和为固定数值的长方体，其体积范围怎么变化?
纯数学是形而上学吗？
如何比较这两个数的大小?
请问这个式子有没有简便算法（写法）？
数学学习与数学科研有多大区别？
下一个讨论
下列数字方块移动得到一定排列顺序的问题有解吗？
相关的话题
工程数学四阶行列式有什么技巧算法吗？是否存在整数 x＞1，使 sqrt(x!) 为整数?
成都58岁数学老师获首届「怀新奖」，异乡教书25年培养千余名学子，优秀的数学老师会给孩子带来哪些改变？
是否存在三边都为有理数的三角形，其面积为 1？
一个具有介值性的函数是否一定存在原函数？
你所在的科研领域有哪些做不动的问题？
格林公式教材上的证明是否存在漏洞？
如何衡量一个平面内不规则封闭曲线「趋近圆形」的程度？
请问姜文华的学术水平在统计圈属于什么位置？
为什么没有数学民科去碰瓷范畴论、同调代数、规范场论、朗兰兹纲领、调和分析、遍历理论等等？
为什么矩形面积等于长乘宽？
n! 和 n²，哪个更大呢？
清华踩线和复旦数学选哪个？
理想细绳随机切为n段，为什么最短段长度的期望为原长的1/n²？
在集合的势的意义下，是否存在比实数集更大的全序集？
怎么推导或证明 e^x 的导数是自身？
如何评价知乎用户灵剑？
如何通俗易懂地解释卷积？
如何评价「Shut up and calculate」这句话？
如何看待吴伊卓高考数学使用搜题软件作弊？
如何理解丘成桐先生所说的「学习过程，本来就痛苦」？
如何烤一块π分熟的牛排？
如何理解抽象代数的用途？
傅里叶变换等于自身的函数有哪些？
这个问题怎么做?最后怎么解出多项式？
这道数列极限题怎么解 涉及到排列组合 不会啊?
为什么不能计算两次哈希，以及在什么情况下不能计算两次哈希？
世界未解猜想需要学完所有数学才能破解吗？
高中数学有哪些像洛必达法则一样神一样有用的公式？
二次型的意义是什么？有什么应用？