第一章 命题逻辑2.pptVIP

基本的等价公式 15/37 代入规则 在一个重言式中，某个命题变元出现的每一处均代以同一个公式后，所得到的新的公式仍是重言式，这条规则称之为带入规则。 25/37 代入规则 例 是重言式，那么用 代P得到的式 子 仍然是重言式。 16/37 公式的等价性 下面我们给出子公式，及关于公式等价的一个定理 定义： 设A是一个公式，A′是A的一部分，且A′也是一个命题公式，则称A′是A的子公式。 替换规则：设A?是公式A的子公式，B ?是一命题公式且A??B?，将A中的A?用B?来取代，则所得到的是一个新公式， 记为B，且A ?B。 E11： 例 应用代入规则和替换规则可以证明新的重言式 因此 公式的等价性 17/37 P??Q?Q Q?(P??Q) E1 (Q?P)?(Q??Q) E8 (Q?P)?T E19 Q?P E20 P?Q E1 证明： 公式的