重言式
维基百科，自由的百科全书
 |
本条目没有列出任何参考或来源。（2013年2月23日） |
逻辑重言式（tautology），又稱為永真式、恆真式，是無論其部件真假為何皆總是為真的論述。相對地，無論部件真假為何總是为假的論述是矛盾。
邏輯學、數學等領域常使用重言式建構知識體系，然而重言式並不適合建構用於解釋與預測真實世界的理論，如科學和歷史學。日常生活中，重言式也常用做紅鯡魚誤導他人接受毫無理據的結論；而有時重言式的前提尚未被證成，因而犯了乞題謬誤。
示例 [编辑]
- 「1+1=2」
- 「所有的三角形都有三個邊。」
- 「四足動物就是有四隻腳的動物。」
- 「所有的單身漢都沒有結婚。」（單身漢之定義即是：尚未結婚的男人）
- 「小明很受女孩子歡迎，因為他有女性緣。」（女性緣的意思即是受女生歡迎，因為小明受女生歡迎，才被人們認為有女性緣）
- 「西湖的水裡要嘛有魚要嘛沒有魚。」
- 「要發生的終究是要發生的。」
形式說明 [编辑]
重言式的符號為 
。當 R 為真時 S 必然為真，記為 
，這等價於 
。
在布尔代数中发现重言式的最简单的方法是使用真值表。但是，随着涉及到的变量的数目的增长，真值表的大小成 2 的幂增长，这使它不利于四个或更多变量的重言式，这时简化和代数变得更有用。
|
|||||||||||||||||||
）
）
）
）
）
）
）
）
）
）
）
）
）
|
||||||||||||||||||||||||||||||||||||||||||||||
