原命题与逆否命题真假性一定相同吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
预备知识
设系统 内的公理集 为：
其中 ， 和 是合式公式。
系统 只有一条推理规则，称为分离规则：
从 和 可以推出 。
证明
定理（演绎定理）
为公式集， 当且仅当
证明：
运用归纳法证明，过程就不写了，就说说需要证明的各种情况：
- 若 或 或 ，这三种情况都是显然的，最后一种运用公理 即可证明；
- 否则，设 为从 到 的一个推演序列，其中 ，于是我们可以不断地使用分离规则，最终得到 ；
显然。
推论（逆否命题）
当且仅当
证明：由演绎定理可知：
重言蕴含 ，使用公理
又 重言蕴含 ，故
由分离规则即得：
最后由演绎定理得
参考文献：
《数理逻辑证明及其限度》
1
相关话题
任何自然数都能用包含「1、1、4、5、1、4」这 6 个数字的式子表示吗？为什么尺规不能三等分一个任意角？
有哪些无用的论文、研究？
想问一下这种椭圆柱面在第一卦限的体积怎么算?
如何证明每一个有穷的偏序都可以延拓成一个线序？
数学家在知道哥德尔不完备定理后为何还继续研究数学？
为什么许多规律极其简单的数列却仍未找到求和公式？
为什么康德说数学是纯粹先天综合知识？
卡尔·马克思的数学水平怎样?
如何证明有理数加法群不是有限生成群？
下一个讨论
下列数字方块移动得到一定排列顺序的问题有解吗？
相关的话题
如何在冰雹猜想上做出点成绩?没有阿拉伯数字、拉丁字母和希腊字母，古代中国的数学是什么样的情况？
怎么积∫[0, 1] ln(1＋x²)/(1＋x) dx？
有多少个数学家叫 Kolmogorov ?
为什么数量级"皮可"很少使用？
根据策梅洛定理，中国象棋是不是应该红方必胜或必和棋（看补充）？
为什么有人害怕或者不喜欢定体问？
有没有什么可以让自己对数学感兴趣的书?
红绿蓝三色是（唯一的）正交基吗？
等词是否可以用属于来定义？
你见过哪些美妙的函数图像？
小学生有必要上数奥班吗？
半径为 2 的圆，其周长和面积相等吗？
如何证明 不存在两个有理数a、b，使得 a＋√b=³√2？
蜈蚣博弈（Centipede Game）在现实中都有哪些应用？
如果我的将来梦想是取消数学这门学科，我该怎么做，或者谁可以帮忙实现它？
在B站弹幕里去世的阿伟一个接一个排起来有多长(单位：米)？
为何要引入同伦群，同伦群可以解决什么问题？
数学和英语是不是高中最难的科目？
格林公式的几何意义是什么？
对大多数人来说数学无用，但要高考，不想学数学，怎么克服这种心理？
中心对称的汉字都有哪些?
有哪些关于数学哲学的入门书籍？（给数学系的学生看）
如果黎曼猜想被证否了，将会产生什么后果？
假设新冠疫苗开始生产，月产能从 20W、500W 涨到 6000W，应该怎么下发疫苗最合理？
专业的数学家只擅长证明不擅长使用数学吗？
123456789怎样运算等于1？
看到正方形能想到什么？
数学为什么没有列在四大天坑专业中？
如何在大一开始就成为学霸？