匿名使用者 1級 2013-04-15 回答

【重言式】的意思（定義）：

給定一命題公式，若無論對分量作怎樣的指派，其對應的真值永為T（True），則稱該命題公式為重言式或永真公式。

【重言式】（Tautology ）又稱為永真式，是邏輯學的名詞。

【重言式】例子：

設A為任一命題公式，若A在它的各種賦值下取值均為真，則稱A是重言式。

“1+1=2”

“所有的三角形都有三個邊。”

“四足動物就是有四隻腳的動物。”

“所有的單身漢都沒有結婚。”（單身漢之定義即是：尚未結婚的男人）

“小明很受女孩子歡迎，因為他有女性緣。”（女性緣的意思即是受女生歡迎，因為小明受女生歡迎，才被人們認為有女性緣）

“西湖的水裡要嘛有魚要嘛沒有魚。”

“要發生的終究是要發生的。”

Sanji 1級 2016-08-30 回答

和小推大，大推小沒關係。

p→q是一個重言式的意思就是：p→q是真的。

也就是說，

如果p→q這個公式是真的，

那麼p蘊涵q。

例如：“如果天下雨（p），那麼地溼（q）”這句話是真的的話，

我們說“天下雨”蘊含“地溼”。

因為命題邏輯喜歡用一些術語，重言式是永真的式子，不用管它，拿個例子就好理解了。

備註：該例子其實不準確，因為命題邏輯只考慮符號，不考慮語義