原命题与逆否命题真假性一定相同吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
预备知识
设系统 内的公理集 为：
其中 ， 和 是合式公式。
系统 只有一条推理规则，称为分离规则：
从 和 可以推出 。
证明
定理（演绎定理）
为公式集， 当且仅当
证明：
运用归纳法证明，过程就不写了，就说说需要证明的各种情况：
- 若 或 或 ，这三种情况都是显然的，最后一种运用公理 即可证明；
- 否则，设 为从 到 的一个推演序列，其中 ，于是我们可以不断地使用分离规则，最终得到 ；
显然。
推论（逆否命题）
当且仅当
证明：由演绎定理可知：
重言蕴含 ，使用公理
又 重言蕴含 ，故
由分离规则即得：
最后由演绎定理得
参考文献：
《数理逻辑证明及其限度》
1
相关话题
在一个边长一米的立方体容器内装满圆球，使用直径多少的相同圆球能使装入的圆球总体积达到最大值？数学系的学生能硬核到什么程度？
数学能力是不是会退化？
排队枪毙时代，为什么要求不能自由射击而要集体放枪？从概率的角度来讲，效果应该是一样的吧？
做科研时，都遇到过哪些灵光乍现（Eureka Moment）？
21世纪以来（基础）数学在社会科学中有哪些应用？
中国在数学领域让你最引以为豪的成果是什么？
数列的极限定义，为什么我证明是错的?
王茂泽宣称其破解世界著名难题「冰雹猜想」，他的证明正确吗？
如何看待 2020 奥数国家队名单：时隔十年再有女生入选，5 位选手来自南方高中？
下一个讨论
下列数字方块移动得到一定排列顺序的问题有解吗？
相关的话题
数学系本科生如何学好实变函数与泛函分析？日本麻将中的复合役是否可以认为是独立事件？
有一函数F(x)，其导数为F`(x)，现在它们共同出现在同一等式里，是否能计算出F(x)的表达式？
微积分的哲学基础是什么？
割圆术就算割了∞次，它和真实面积也相差很小一部分，怎么就说它就可以等于真实面积？
真的不喜欢数学怎么办？
数学在高考中占150分你怎么看？
怎么证明关于素数的米尔斯常数A是存在的?
数学这门学科有多有趣？
如何理解 95% 置信区间？
如何证明五点共圆问题？
定义域为空集的空函数该怎么理解？
如何看待沃顿毕业的川普兄妹不会做最简单的数学题？
麻将中手牌 13 张都是索子，最多再摸进几张才能和牌？
如果现代的一名数学系本科生，回到几个世纪前，对数学发展会有多大影响？
没有天赋的人可以成为数学家吗？
有没有休闲级别、能读懂的讲「群论」的书籍？
一个人要长到多高才可以让全世界的人们都可以看到他？
曲率公式是怎么推导的？
如何证明单位圆周上n个点两两距离乘积的平方当且仅当各点均匀分布时取到最大值nⁿ?
如何编程判断一个数是否是质数？
如何证明以下关于ζ(2n)的式子？
对于那些不会做的题，答案看懂了，思路记住了就够了吗？
做学术需要搞清楚高级计量经济学里全部的数学原理吗？
怎么推导或证明 e^x 的导数是自身？
十赌九输这句话有根据吗?
如何看待的法兰西的数学水平？
关于哥德巴赫猜想，有人从哥德尔定理考虑过可证性吗？
丁小平到底是怎样的一个人？
求指教一道不等式证明题如何做？