原命题与逆否命题真假性一定相同吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
预备知识
设系统 内的公理集 为：
其中 ， 和 是合式公式。
系统 只有一条推理规则，称为分离规则：
从 和 可以推出 。
证明
定理（演绎定理）
为公式集， 当且仅当
证明：
运用归纳法证明，过程就不写了，就说说需要证明的各种情况：
- 若 或 或 ，这三种情况都是显然的，最后一种运用公理 即可证明；
- 否则，设 为从 到 的一个推演序列，其中 ，于是我们可以不断地使用分离规则，最终得到 ；
显然。
推论（逆否命题）
当且仅当
证明：由演绎定理可知：
重言蕴含 ，使用公理
又 重言蕴含 ，故
由分离规则即得：
最后由演绎定理得
参考文献：
《数理逻辑证明及其限度》
1
相关话题
为什么计算圆的周长与面积、球的表面积与体积，使用的都是 π，而不是三个不同的数？是偶然还是必然？阿⻄莫夫三定律，会不会被打破？
学习高中数学真的有用吗？
李群的伴随表示如何理解？
如何证明√2是无限不循环小数？
在边长为 1 的正方形中随机取三个点，构成三角形的面积期望是多少？
有哪些神奇的宇宙法则？
怎么解决这个积分题目？
数论在物理学中有哪些具体应用？
在游戏中暴击率90，十次攻击会暴击九次吗，如果80暴击率的对手反而十次全部暴击，暴击率的意义是什么？
下一个讨论
下列数字方块移动得到一定排列顺序的问题有解吗？
相关的话题
一个天资平平，数学基础非常差的高一学生，打算日后进行纯数研究，是否应该对其进行劝退？为什么中国本土出不了拿菲尔兹奖的数学家？
为什么因果关系中的原因必须在结果之前，而不能在时间上颠倒？
逻辑可以被逻辑证明吗？如果不能，逻辑如何证明真理？
如何严格证明下面这个不等式？
如何看待世界顶尖数学家、菲尔兹奖得主 Caucher Birkar 将全职加盟清华大学？
如何比较 π－2 与 lnπ 的大小？
有理数1和0.999…循环相等吗？
有哪些用普通人的知识水平就可以巧妙证明的数学难题？
数学是人为创造还是自然的规律？
一把左轮能装六颗子弹，对着脑袋打，是装五发子弹开一枪死亡几率大，还是装一发子弹开五枪死亡几率大？
数学差的关键原因是缺乏抽象思维还是逻辑性弱？
为什么 0+1=1 而 0+2≠1？
围棋黑子贴7.5目，有数学理论依据吗？
精通量子场论是种怎样的体验？
求解：逻辑中定义判断怎样找主客体?
σ-代数为什么叫代数？它有代数结构吗？
a²＋a³＝392 怎么解？
有什么途径可以补齐自己数学知识的短板?
行列式等于 0，就一定有两行或两列相等吗？
正三棱锥内切球的四个切点（两类）分别在三角形的什么位置？
一天做完一百道积分题是一种什么感觉？
如何计算这个积分？
看看题目?那个才是对的，为什么？
这道怎么求极限?
环中任何一个非空子集都可以生成理想吗？
直角坐标与极坐标的互化中，为什么 dxdy=rdrdθ？
如果 f(x) 与 g(x) 均为周期函数，判断其相加后的周期性？
如何计算极限 lim(n→∞) [∫[0, n] (x^n)·e^(-x) dx]/(n!)？
学数学或物理学到 high 很刺激，是一种怎样的经历与感受？