2,617
次編輯
「形式邏輯筆記/第二章」修訂間的差異
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 174： | 行 174： | ||
##句子字母 A, B, C,... , A<sub>1</sub>, A<sub>2</sub>, ... | ##句子字母 A, B, C,... , A<sub>1</sub>, A<sub>2</sub>, ... | ||
##運算子：¬、&、∨、→、↔ | ##運算子：¬、&、∨、→、↔ | ||
##括號：(、) | |||
# wff（well-formed formulae, 形式完備公式） | |||
## atomic sentence 是 wff | |||
## 若𝓐是wff，則¬𝓐是wff | |||
## 若𝓐和𝓑都是wff，則𝓐&𝓑、𝓐∨𝓑、𝓐→𝓑和𝓐↔𝓑都是wff。這裏使用遞迴定義。 | |||
#:這裏的𝓐、𝓑都是元變數 (meta-variable) | |||
#:只有上述規則才能組成wff的命題邏輯。 | |||
## 句子 | |||
##:SL中，定義句子，就是定義wff。 | |||
## 標記習慣（講這本書命題邏輯的標記方式） | |||
{{ForAllX}} | {{ForAllX}} | ||
[[category:邏輯學]] | [[category:邏輯學]] | ||