重言式是指无论变量取什么值，都不会改变整个公式的真值。因此，重言式的类型可以根据其所使用的逻辑运算符来判断。
1. 重言式的逻辑运算符为“与”（且）时，其类型为“永真式”（Tautology）。
例如，公式“A ∧ ¬A”表示“A 与 ¬A”，无论A取什么值，该公式都为真，因此是一个永真式。
2. 重言式的逻辑运算符为“或”（或）时，其类型为“矛盾式”（Contradiction）。
例如，公式“A ∨ ¬A”表示“A 或 ¬A”，当A为真，B为假时，该公式为假；当A为假，B为真时，该公式为真。因此，该公式是一个矛盾式。
3. 重言式的逻辑运算符为“蕴含”（if-then）时，其类型为“矛盾式”（Contradiction）。
例如，公式“A → ¬A”表示“如果A为真，则A为假”，这显然是一个矛盾的命题，因此是一个矛盾式。
需要注意的是，重言式的类型与其变量取值无关，而是由逻辑运算符和公式本身的结构决定的。
