同义反复是指必然为真的命题。它在所有可能的世界中都为真，不可能为假。例如，要么下雨，要么不下雨，这就是一个同义反复。无论天气如何，它都为真。这个命题本身并没有告诉你任何关于世界的信息，它只是逻辑形式上的正确。

重言式在逻辑学中很常见。它们是指在任何解释下都为真的陈述。它们与矛盾式相反，矛盾式在任何解释下都为假。在日常语言中，重言式是冗余的陈述。“免费礼物”就是一个重言式。礼物是免费的，这是定义使然。这个陈述为真，但没有提供任何信息。

重言式示例

• 要么下雨，要么不下雨。
• 所有单身汉都是未婚人士。
• 三角形有三条边。
• 如果这是真的，那就是真的。
• 男孩就是男孩。

同义反复并非总是无用。在逻辑学中，它们至关重要。它们是思维的法则，是论证的基础。在修辞学中，同义反复可以用来强调。战争就是战争，它就是战争。这句话本身是正确的，但它传达了一种态度，表明局势不可改变。在哲学中，同义反复是分析命题。它们的意义本身就是正确的，但它们并不增加知识。这就是对同义反复的批评。同义反复是一个闭环，它告诉你你已经知道的事情。但有时这很有用，它可以澄清事实，提醒你，强调你。同义反复并非谬误，它是一个必然为真的陈述。它不提供信息，但它是确定的。