“重言式”是什么意思？ 重言式（Tautology）又称为永真式，它的汉语拼音为：[Chóng yán shì]，是逻辑学的名词。命题公式中有一类重言式。如果一个公式，对于它的任一解释下其真值都为真，就称为重言式（永真式）。数理逻辑旨在利用有限的公理推出尽可能多的重言式，除此之外，重言式在计算机词法分析领域也具有重要应用。1.定义给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为T（True），则称该命题公式为重言式或永真公式。设A为任一 命题公式，若A在它的各种 赋值下取值均为真，则称A是重言式。逻辑重言式是不管它的部件的真值而总是为真陈述。例如，陈述\"要么所有的乌鸦都是黑的，要么不都是黑的\"是重言式，因为不用管乌鸦是什么颜色都是真的。形式的表达为一个用 X 表示\"所有的乌鸦都是黑的\"的命题：X or not X，它同样为真，因为不管 X 是否为真，都有一个 离析项(disjunct)为真，而使整个命题为真。不管它的部件的真值而总是为假的陈述叫做矛盾。永真式与永假式互为 否定式2.相关定理定理1：任何两个重言式的合取或析取，仍然是一个重言式。定理2：一个重言式，对同一分量都用任何公式置换，其结果仍为一重言式。定理3：设A，B为两个命题公式，A和B逻辑等价当且仅。
重言式的可满足式和非重言式的可满足式的区别 可满足式的定义是2113：若A不是矛盾式5261，则称A为可满足式。简单来说，若真值4102表最后一列1653中，至少有一个1，则公式为可满足式。结合重言式的定义，就不难发现，其实可满足式的定义是包括重言式的。因此，“重言式的可满足式”（我也不太确定有没有这种说法）就是重言式；而非重言式的可满足式则是去掉了重言式那一部分的可满足式，在真值表上的体现就是最后一列既有0又有1，在说明公式类型时显得更严谨一些。
下列命题公式中哪个（些）为重言式？ Ⅰ．((p∨q)→r┌) →((p→r)∧(q 参考答案：B
命题逻辑中证明重言式的方法有哪些 真值表法，归谬赋值法，命题自然推理，在命题公理系统中构造证明，范式方法，归结法，真值树
