重言句意思

重言句（tautology）在邏輯學中是指一個陳述或語句，其內容在任何情況下都是真實的，因為它的含義在任何可能的情況下都被認為是真的。這種句子通常包含了一些同義反覆或是不需要證明的陳述。例如：

1. "The table is a table."
2. "All bachelors are unmarried."
3. "The statement is true."

這些句子之所以被認為是重言句，是因為它們的含義在任何情況下都不會改變，並且它們所表達的信息不需要進一步的證明或支持。在邏輯學中，重言句通常用來作為構建更複雜語句的基礎，或者是用來測試邏輯系統是否一致的。