一、真值表法
真值表法是判断重言式的最基本方法，其思路是将自变量所有可能的取值都列举出来，然后逐一的计算在每种取值下复合命题的真值。如果在自变量的所有取值情况下，复合命题都是取真，那么它就是重言式。
（一）基本真值表
第二节介绍了五个常见的连接词，我们可以把这五个连接词所表达的对应关系总结在下表中，为了方便，我们用T表示真，用F表示假：
表3基本真值表
表3就列举出了常见连接词所表达的真值对应关系。排列组合的知识告诉我们，表3并没有穷尽所有可能的对应关系，所有可能的对应关系如下表所示：
表4扩展的真值表
当连接词的自变量有两个时，所有的真值对应关系有16种，如同表4中所列举的。但是这16个连接词可以被简化，因为我们观察一下就会发现，F9—F16分别是F1—F8的否定。而在F1—F8中，F2是选言连接词，F8是联言连接词，F3、F5、F7是三个假言连接词，F4、F6就是自变量p、q。
（二）用真值表判断重言式
用真值表判断重言式分三步：（1）制作表头：找出所有命题变元，列举出它们可能的取值组合。（2）根据复合命题的形成过程，列举复合命题的各个组成部分，将这些组成部分分别写在真值表的第一行。（3）根据所涉真值连接词的逻辑特性，分别计算出每一行中各构成部分的真值，最后算出该复合命题的真值。
例5用真值表法判断（（p∧q）→r）→（p→（q→r））是否为重言式。
解：按步骤写出真值表，如下：(https://www.daowen.com)
真值表法的本质就是列举法，比如在例5中，有三个命题变元（p、q、r），这三个变元都可能取真假二值中的一个，所以总共就有八种取值组合，这就是第一步表头的来源。然后根据判断对象（（p∧q）→r）→（p→（q→r））的计算过程，逐步算出p∧q、（p∧q）→r、（q→r）、p→（q→r）的值，最后计算出（（p∧q）→r）→（p→（q→r））的取值情况。
那么，一个公示的计算顺序是怎么确定的呢？我们约定，连接词的结合力从强到弱的顺序是：¬、∧、∨、→、↔；公示的计算顺序就是从结合力由强到弱的顺序计算，有括号先算括号。比如，在（（r→¬p）∧（¬q→¬r）∧p）→¬q中，计算顺序就是：先计算所有的否定连接词，然后计算（r→¬p）和（¬q→¬r），因为它们有括号的约束；再计算（r→¬p）∧（¬q→¬r）∧p，因为“∧”的结合力比“→¬q”中“→”的强；最后计算（（r→¬p）∧（¬q→¬r）∧p）→¬q。
有的时候，我们遇到需要判定重言式的不是一个公示，而是一段话，那么我们首先就要将之符号化为公示，比如下面这个例子。
例6用真值表判定下述推理是否有效：或者逻辑学难学，或者没有多少学生喜欢它。如果数学容易学，那么逻辑不难学。因此，如果许多学生喜欢逻辑，那么数学不容易学。
分析：这是一个推理，“因此”之前是前提，“因此”之后是结论。从前提到结论的推理可被看作一个假言命题；也就是，推理的本质就是“如果前提成立，那么结论成立。”如果这个假言命题是一个重言式，那么就说明不管前提和结论中的简单命题取什么值，都能保证“如果前提成立，那么结论成立”为真，也就是这个推理总是有效。
解：首先将原命题符号化。
前提：（1）p∨¬q；（2）r→¬p
结论：q→¬r
推理：（p∨¬q）∧（r→¬p）→（q→¬r）
然后，写出真值表：
