摘要：
本人的证明并不是非常严谨 证明1 感性理解 把这个问题翻译成人话：（如果 \(\alpha\) 是真的，那么 \(\beta\) 是真的）说明（如果 \(\beta\) 是假的，那么 \(\alpha\) 是假的） 其实是显然的，我们考虑 \(\alpha\) 和 \(\beta\) 的真假情况： 阅读全文
摘要：
命题逻辑公理系统 概念 从一些公理出发，根据演绎法，推导出一系列定理，形成的演绎体系叫做公理系统。 命题逻辑的重言式1可以组成一个公理系统 初始命题是重言式 从公理出发，利用推理规则，可以推导出定理，定理都是重言式 该系统推出的都是重言式，而且能推出所有重言式 初始符号 命题符号：\(\alpha, 阅读全文