永真式（Tautology）是逻辑学中的一个概念，指的是一个逻辑公式在所有解释下都为真。换句话说，无论命题变元如何取值，逻辑公式的真值总是1（真）。判断一个逻辑公式是否为永真式，可以采用以下方法：

真值表法：

列出所有可能的命题变元组合，然后计算每种组合下公式的真值。如果所有组合下真值都为1，则该公式是永真式。

逻辑等价法：

使用逻辑等价变换，将公式简化为更简单的形式。如果简化后的公式是永真式，则原公式也是永真式。

自然演绎法：

使用逻辑推理规则，从前提推导出结论。如果结论是永真式，则原公式也是永真式。

模型检验法：

构建一个逻辑模型，将命题变元的可能取值代入模型中。如果模型中所有取值下公式的真值都为1，则该公式是永真式。

等价变换法：

使用等价变换规则，如交换律、结合律、分配律等，将公式转换为等价的永真式。

举例来说，如果有一个逻辑公式 （ A rightarrow B ）（如果A则B），要判断它是否为永真式，可以构建一个真值表：

| A | B | A → B |

|---|---|-------|

| 0 | 0 |1 |

| 0 | 1 |1 |

| 1 | 0 |0 |

| 1 | 1 |1 |

在上面的真值表中，无论A和B取何值，（ A rightarrow B ） 的真值总是1，因此 （ A rightarrow B ） 是一个永真式。

需要注意的是，永真式在逻辑学和计算机科学中都有重要应用，例如在程序验证、形式语言理论、自动推理等领域。