原命题与逆否命题真假性一定相同吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
预备知识
设系统 内的公理集 为：
其中 ， 和 是合式公式。
系统 只有一条推理规则，称为分离规则：
从 和 可以推出 。
证明
定理（演绎定理）
为公式集， 当且仅当
证明：
运用归纳法证明，过程就不写了，就说说需要证明的各种情况：
- 若 或 或 ，这三种情况都是显然的，最后一种运用公理 即可证明；
- 否则，设 为从 到 的一个推演序列，其中 ，于是我们可以不断地使用分离规则，最终得到 ；
显然。
推论（逆否命题）
当且仅当
证明：由演绎定理可知：
重言蕴含 ，使用公理
又 重言蕴含 ，故
由分离规则即得：
最后由演绎定理得
参考文献：
《数理逻辑证明及其限度》
1
相关话题
李煌的阶乘计算小技巧，与斯特林公式有什么区别？数列「1，2，2，3，3，3，...」的通项公式是什么？
为什么写程序的时候可以坚持很久，但是学习数学就很难保持注意力？
数学只有初二水平的大学生如何回头补基础？
有哪些不错的数学、物理类的「闲书」？
怎样用一个普通人能看懂的方法证明 π 是无理数？
连分式近似怎么操作？
数学家们用不等式做什么？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
数学证明题可以这样做吗？
下一个讨论
下列数字方块移动得到一定排列顺序的问题有解吗？
相关的话题
你见过最巧妙的数学证明是什么？网上常能见到的一段 JS 随机数生成算法如下，为什么用 9301, 49297, 233280 这三个数字做基数？
「奇点」的「奇」怎么读？
有哪些自己发现并证明的并自以为得意的初等数学定理？
深夜刷数学题是一种怎样的体验？
如何看待美国数学学会（AMS）即将在其旗下期刊进行数学论文双盲审？
为什么随便在计算器上按个数，然后多次按 cos 键，结果总是趋近于 0.73几？
为什么人类想象不出四维的空间？
如何用李雅普诺夫第二法分析非线性系统在每个平衡点处的稳定性？
这个全椭圆积分和beta函数的关系该怎么证明？
数学中数列有什么技巧？
在科学研究里有没有需要对一个奇怪的数列求和的例子？
如何看待 Atiyah 宣布证明了黎曼猜想？
如何用初等数论知识证明26是唯一夹在一个平方数和立方数间的正整数？
为什么在金融领域，用几何平均来代替算术平均更为严谨？这两个平均数有什么本质上的不同吗？
是否存在某些问题不能用有限步骤解决？
专业的数学家只擅长证明不擅长使用数学吗？
如何评判一项学术工作的影响力？
余数有哪些应用场合？
怎么评价北大版的《高等代数》？
如何发表一篇数学论文？
蜗牛从10米深的井底爬，白天爬一米，晚上下落x米，其中x为[0,2]米的随机数，那么爬上的期望是多少？
Minecraft 的地形生成算法是什么？
存不存在连续的三个奇数都是素数（3，5，7 除外）？如果不存在又是为什么？
红绿蓝三色是（唯一的）正交基吗？
如何看待中国矿业大学杨小军研究员宣称自己解决黎曼猜想？
为什么说连续映射是一个拓扑概念？？
复合映射的符号f°g是怎么来的？
工科跨考理论数学？有机会上好学校吗？
拿破仑时代的炮兵究竟数学要多好？