原命题与逆否命题真假性一定相同吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
预备知识
设系统 内的公理集 为：
其中 ， 和 是合式公式。
系统 只有一条推理规则，称为分离规则：
从 和 可以推出 。
证明
定理（演绎定理）
为公式集， 当且仅当
证明：
运用归纳法证明，过程就不写了，就说说需要证明的各种情况：
- 若 或 或 ，这三种情况都是显然的，最后一种运用公理 即可证明；
- 否则，设 为从 到 的一个推演序列，其中 ，于是我们可以不断地使用分离规则，最终得到 ；
显然。
推论（逆否命题）
当且仅当
证明：由演绎定理可知：
重言蕴含 ，使用公理
又 重言蕴含 ，故
由分离规则即得：
最后由演绎定理得
参考文献：
《数理逻辑证明及其限度》
1
相关话题
《三宝大战诸葛亮》牛顿为什么会创立微积分，这是正确答案、还是在娱乐、还是在误导？是否存在正整数a，b，c满足a²+b²=c²，当给定一个c值时，a，b有多种取值？
很多文章中用1.01的365次方= 37.8 0.99的365次方 = 0.03来计算每天多做一点和少做一点的差别，合理吗？
如何评价这篇关于「学习数学不需要做题」的文章的观点？
证明数学定理的意义是什么？
为什么数列可以用不动点法，到底表示什么意思啊？
Γ（i）怎么算？
这个数列问题困扰我一段时间，大佬有没有好的方法呢？
热爱数学是一种怎样的体验？
工具变量 (Instrumental variables) 的作用到底是什么？
下一个讨论
下列数字方块移动得到一定排列顺序的问题有解吗？
相关的话题
985工科毕业生想跨考基础数学，是理性伟大还是自负骄傲（中二病）？有哪些用普通人的知识水平就可以巧妙证明的数学难题？
如果让一个大学数学系的顶尖学霸去解一道高中极其困难的数学题，他还能解出来吗？
x+y+z=1 与x2+y2+z2=4 的交线 圆的半径怎么求？
为什么我用欧拉公式得出了i=0？
为什么「正态分布」在自然界中如此常见？
从1分钟图上起笔递归至月线级别走势，这个工作量有多大吗？
如何理解矩阵特征值？
黎曼猜想有哪些等价命题？
预测一下到今年年底本轮中美搏弈的结果大概率是什么？
0x5f3759df这个快速开方中的常数的数学依据是什么？
数学差的关键原因是缺乏抽象思维还是逻辑性弱？
不定积分∫ dx 中的 d 是什么意思？
1，2，4，8，16，30是什么规律？
什么是图形的面积？
为什么有很多学者认为以往至今的数学理念、数学方法、数学语言不足以描述复杂系统？
如何看待高中生声称证明哥德巴赫猜想？
怎么逐步学习 PDE？
喜欢学数学是一种怎样的体验？
如下，命题是否正确，如果正确，又是如何得出的？
为什么写程序的时候可以坚持很久，但是学习数学就很难保持注意力？
一个人要长到多高才可以让全世界的人们都可以看到他？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
无穷等于无穷吗？
如何高效自学国内的苏联式风格的数学教材？
該如何理解約翰·馮·諾伊曼(John von Neumann)的這段話?
你无意中发现过哪些图灵完全的系统？
有哪些神奇的级数求和？
如何解决这个数学问题？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？