重言式是什么?

重言式是逻辑学里一种总是真的句子，比如“下雨天地面湿”这种，不管实际情况怎样，它都不会错。这种句子结构上就保证结果成立，像“单身汉就是未婚男人”，拆开看还是同一个意思。

生活中也有类似说法，比如“明天要么下雨要么不下雨”，听着废话，但逻辑上没毛病。重言式不提供新信息，能帮理清思路，避免矛盾。数学里“1+1=2”也算，数字摆在那儿，结果固定不变。简单说，就是“必然正确”的废话，但有用。