2,617
次編輯
「形式邏輯筆記/第二章」修訂間的差異
跳至導覽
跳至搜尋
→2.2連詞 (connectives)
Tankianting（討論 | 貢獻） （建立內容為「第二章命題邏輯 (sentential logic) == 2.1 命題字母 == 大寫字母（A, B, C...）代表命題 考慮下列三段式演繹推理： A: 有蘋果 B:…」的新頁面） |
Tankianting（討論 | 貢獻） |
||
| 行 46： | 行 46： | ||
| ∨ || 或 || or | | ∨ || 或 || or | ||
|- | |- | ||
| → || | | → || 充分條件 || if | ||
|- | |- | ||
| ↔ || | | ↔ || 充要條件 || if and only if | ||
|} | |} | ||