倒代換是什麼意思

"倒代換"（Tautology）在邏輯學中是指一個永遠為真的陳述或命題，因為它包含了多餘的資訊，或者陳述了顯然的真理。在形式邏輯中，倒代換通常是指那些無論其前提為何，結論總是為真的論證。

例如，考慮這個陳述："如果所有的鳥都是哺乳動物，那麼所有的哺乳動物都是鳥。" 這個陳述是邏輯上正確的，但它是一個倒代換，因為它只是重複了前提中的資訊。無論實際上是否所有的鳥都是哺乳動物，這個陳述都是正確的，因為它只是將前提中的資訊重新排列了一下。

在日常生活中，我們也使用倒代換來表達顯然的真理。例如，說 "如果他是一個好學生，那麼他是一個學生" 就是一個倒代換，因為所有的好學生都是學生，所以這個陳述總是正確的，但它並沒有提供任何新的資訊。

在邏輯和哲學中，倒代換通常被用來作為比較或對比真實陳述的標準，或者作為論證中的支持性陳述，但它們本身並不提供任何新的知識或資訊。