共找到2條詞條名為重言式的結果 展開
- 邏輯學的名詞
- 詞語
重言式
邏輯學的名詞
給定一命題公式，若無論對分量作怎樣的指派，其對應的真值永為T（True），則稱該命題公式為重言式或永真公式。
設A為任一 命題公式，若A在它的各種 賦值下取值均為真，則稱A是重言式。
邏輯重言式是不管它的部件的真值而總是為真陳述。例如，陳述 "要麼所有的烏鴉都是黑的，要麼不都是黑的" 是重言式，因為不用管烏鴉是什麼顏色都是真的。形式的表達為一個用 X 表示 "所有的烏鴉都是黑的" 的命題：X or not X，它同樣為真，因為不管 X 是否為真，都有一個 離析項(disjunct)為真，而使整個命題為真。
不管它的部件的真值而總是為假的陳述叫做矛盾。
永真式與永假式互為 否定式
“1+1=2”
“所有的三角形都有三個邊。”
“四足動物就是有四隻腳的動物。”
“所有的單身漢都沒有結婚。”（單身漢之定義即是：尚未結婚的男人）
“小明很受女孩子歡迎，因為他有女性緣。”（女性緣的意思即是受女生歡迎，因為小明受女生歡迎，才被人們認為有女性緣）
“西湖的水裡要嘛有魚要嘛沒有魚。”
“要發生的終究是要發生的。”
(p^(p->q))->q
| p | q | p->q | p^(p->q) | (p^(p->q))->q |
| 1 | 1 | |||
| 1 | 1 | 1 | ||
| 1 | 1 | |||
| 1 | 1 | 1 | 1 | 1 |