【重言式】的意思（定义）：
给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为T（True），则称该命题公式为重言式或永真公式。
【重言式】（Tautology ）又称为永真式，是
逻辑学的名词。
【重言式】例子：
设A为任一命题公式，若A在它的各种赋值下取值均为真，则称A是重言式。
“1+1=2”
“所有的
三角形都有三个边。”
“四足动物就是有四只脚的动物。”
“所有的单身汉都没有结婚。”（单身汉之定义即是：尚未结婚的男人）
“小明很受女孩子欢迎，因为他有女性缘。”（女性缘的意思即是受女生欢迎，因为小明受女生欢迎，才被人们认为有女性缘）
“西湖的水里要嘛有鱼要嘛没有鱼。”
“要发生的终究是要发生的。”