原命题与逆否命题真假性一定相同吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
预备知识
设系统 内的公理集 为：
其中 ， 和 是合式公式。
系统 只有一条推理规则，称为分离规则：
从 和 可以推出 。
证明
定理（演绎定理）
为公式集， 当且仅当
证明：
运用归纳法证明，过程就不写了，就说说需要证明的各种情况：
- 若 或 或 ，这三种情况都是显然的，最后一种运用公理 即可证明；
- 否则，设 为从 到 的一个推演序列，其中 ，于是我们可以不断地使用分离规则，最终得到 ；
显然。
推论（逆否命题）
当且仅当
证明：由演绎定理可知：
重言蕴含 ，使用公理
又 重言蕴含 ，故
由分离规则即得：
最后由演绎定理得
参考文献：
《数理逻辑证明及其限度》
1
相关话题
请问这两个在表达方式上很相似的结论是否有相通的地方（感觉他们证明方法也很像）？如何这道计算绝对值不等式的题目？
如图题，如何不用“强拆”的方式证明？
微积分的哲学基础是什么？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
我们在学习推算数学的过程中，是不是也在推演天道？
0 的 0 次方等于 1 吗？怎么证明？
能将三角形面积分为两块面积比值是 k 的所有直线形成的包络线是什么样的？
数学史上你认为最美的公式是什么？
一道概率问题，求病毒不会全部灭绝的概率？
下一个讨论
下列数字方块移动得到一定排列顺序的问题有解吗？
相关的话题
为什么美国中小学生学的数学比我们简单，美国人却还能做出超级牛的东西？数学中反证法有没有可能正反都错？
圆周率 π 在实际工程领域最多用到了多少位？
如何处理这类三个连乘的积分呢？
如何评价组合数学（combinatorics）这个学科？
一个数学问题，(x1+x2+……+x8+1)的8次方，合并同类项后有多少项，类似问题怎么解决？
A 和 B 在 100 × 100 的平面空间内移动，两种情况下哪一种相遇的概率更大？
小学2年级学生能掌握微积分吗？
穷人里出来的学霸和富人里出来的学霸有什么相同点和不同点？
为什么两个数的公约数都是他们最大公约数的约数?
前N个整数的最小公倍数有没有近似公式？
学随机分析需要把实分析和泛函学的很深吗?
这个递推数列如何能手工解出来？
奥斯曼帝国的数学和自然科学成就如何？
数学证明费了这么大劲把这些东西证明出来，对一个人的人生、对我们身处其中的这个世界，到底有什么影响呢？
「大数定律现象」的成立是数学推出的结果么？
科学和数学的关系是什么?
假如高考取消三大主科，自由挑选六门科目考试，高中的你还会选择数学吗？
求解：逻辑中定义判断怎样找主客体?
如何考虑这个2022贺年题？
有没有办法从数学上定义脸蛋的光滑性？
数学仅仅是人类创造的工具吗？
该如何学好数学分析？
七个小朋友，只能切四刀，怎么把三个苹果均分？
代数好的人但立体几何不好的男生是智商低吗？
为什么有的人长时间学习也没有取到效果？
怎么看待数学界天才崇拜这种文化？
π 的存在是否意味着人类永远也无法精确的计算出宇宙的各种特征？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
如何用十分中二的方式解数学题？