原命题与逆否命题真假性一定相同吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
预备知识
设系统 内的公理集 为：
其中 ， 和 是合式公式。
系统 只有一条推理规则，称为分离规则：
从 和 可以推出 。
证明
定理（演绎定理）
为公式集， 当且仅当
证明：
运用归纳法证明，过程就不写了，就说说需要证明的各种情况：
- 若 或 或 ，这三种情况都是显然的，最后一种运用公理 即可证明；
- 否则，设 为从 到 的一个推演序列，其中 ，于是我们可以不断地使用分离规则，最终得到 ；
显然。
推论（逆否命题）
当且仅当
证明：由演绎定理可知：
重言蕴含 ，使用公理
又 重言蕴含 ，故
由分离规则即得：
最后由演绎定理得
参考文献：
《数理逻辑证明及其限度》
1
相关话题
数学上所有运算都能回到四则运算么？Γ（i）怎么算？
葛军的高考数学卷子到底难在哪里？
“不能被定义”是一种定义吗？
数学中有哪些表面没有关系但是内在有深刻联系的问题？
如何证明悬链线图像是双曲余弦？
如何理解「数学是研究数量关系与空间形式的科学」这句话里「空间形式」的含义？
为什么没有开区间上的 R 正常定积分的定义；开区间勒贝格可积，再加什么特殊条件，可得到开区间黎曼可积？
如何简单清晰地解释哥德尔不完备定理？
数学和物理学的思维方式有什么不同？物理思维差的人能否搞好数学？
下一个讨论
下列数字方块移动得到一定排列顺序的问题有解吗？
相关的话题
MIT 学者算出 π=3.115，是 π 的值变了吗？如何证明数列sinn^2发散？
素数或质数为什么叫素数或质数，与词语「素质」有关系吗？
根据策梅洛定理，中国象棋是不是应该红方必胜或必和棋（看补充）？
如何正确理解群论中的同态基本定理？
什么是「测度论」？
如何理解庞加莱对偶（Poincare Duality）?
假如圆周率是变量会怎么样？
能不能出一道很难的数学题，答案是 235，宿舍当门牌用？
命题「任何一个自然数都可以用二十个以内汉字描述出来」的错误在哪？
复变函数中，如何说明Ln(z²)与2Lnz是否相等，Ln(根号z)与(Lnz)/2是否相等？
这个9题不等式右边怎么证明呢？
物理学家业余研究纯数学算不算民科？
怎样构造一个函数（数列）有无穷多处趋近无穷?感谢?
有两个疑问：一是三角锥构型是不是只用于化学的用语，因为在数学上感觉没学过；二是 p4 是什么构型？
如何能精简地解释什么是导数？
如何用数学语言描述数列Xn不是单调数列?
实变泛函都是很容易的课，为何说「实变函数学十遍，泛函分析心犯寒」？
如何用数学方法计算灯泡的体积？
π的1997次方的小数点后1997位是多少？
两个星期自学完高中数学实际吗？
《现代数学基础丛书》的封面图有什么数学背景？
在科学研究里有没有需要对一个奇怪的数列求和的例子？
大数定律具体是个什么概念？
数学书上这种是什么字体，以及应该如何手写？
芝诺佯谬的正确解释是什么？
之前的数学家与科学家们潜心研究类似虚数、量子力学等「之前没有任何实用价值」的东西意义何在？
为什么翻开高数课本会感到窒息？
圆锥曲线中过任一顶点作相垂直的直线，过直线与曲线交点的直线过定点，这有什么射影几何的背景吗？
集合论与微积分？