形式邏輯筆記/第二章
於 2022年2月4日 (五) 15:01 由 Tankianting（討論 | 貢獻） 所做的修訂
第二章命題邏輯 (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 |