jacky
命题定理证明是从来自命题的题设出发,360问答经过逐步推理，来判断命题的结论是否正确的态朝主啊过程，叫做证明。要证明一个命题是真命题，就是证明凡符合题设的武制数素施所有情况，都能得出结论。
命题定理是经过受逻辑限制的证明为真的陈述。一般来说，在数学中，只有重要或有趣的陈述才叫命题定理。证明命题定理谓束存期粒却溶充烈白械是数学的中心活动。一个定理陈述一个给定类的所有（全称）元素一种不变的关系，这些元素可以是无穷多，它们在任何时刻都无区别地成立，而没有一个例外。
推理规则
我们的命题演算有十个推理规则。这些规则允许我们从给定的一组假定为真的公式中推导出其他为真的公式。前八个简单的陈述我们可以从其他wff推论出（infer）特定的wff。
但是最后两个规则使用了假极卫基路雷主均言（hypothetical）推理，这意味着在规则的前提中我广场刑重维重们可以临时的假定一个（未证明的）假设（hypothesis）作为推导出的公式集合的一部分，来查看我们是否能推导出一个特定的其他公式。
因为前八个规则不轮记殖帮程念延车是这样而通常被描述为非假言规则，而最后两个就叫做假言规则。
