「形式邏輯筆記/第二章」修訂間的差異
跳至導覽
跳至搜尋
Tankianting（討論 | 貢獻） （建立內容為「第二章命題邏輯 (sentential logic) == 2.1 命題字母 == 大寫字母（A, B, C...）代表命題 考慮下列三段式演繹推理： A: 有蘋果 B:…」的新頁面） |
Tankianting（討論 | 貢獻） |
||
| 行 46： | 行 46： | ||
| ∨ || 或 || or | | ∨ || 或 || or | ||
|- | |- | ||
| → || | | → || 充分條件 || if | ||
|- | |- | ||
| ↔ || | | ↔ || 充要條件 || if and only if | ||
|} | |} | ||
於 2022年2月4日 (五) 14:50 的修訂
第二章命題邏輯 (sentential logic)
2.1 命題字母
大寫字母（A, B, C...）代表命題
考慮下列三段式演繹推理：
A: 有蘋果
B: 有蘋果，小明就拿到板上
C: （所以）小明拿到班上
但若是把這樣的論述，寫成下方的話：
A
B
∴C
我們會以爲B和A與B和C沒有任何關聯性，但其實這不對，因為B的命題（有蘋果，小明就拿到板上）裏面，包含A（有蘋果）和B（小明拿到班上）。
因此，應該要這樣寫：
A
A→C
∴C
這裏就用到連詞(connective)了。
2.2連詞 (connectives)
| 符號 | 華語 | 英文 |
|---|---|---|
| ¬ | 非 | not |
| & | 與 | and |
| ∨ | 或 | or |
| → | 充分條件 | if |
| ↔ | 充要條件 | if and only if |