2,617
次編輯
「形式邏輯筆記/第二章」修訂間的差異
跳至導覽
跳至搜尋
→2.4 命題邏輯的命題
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 181： | 行 181： | ||
#:這裏的𝓐、𝓑都是元變數 (meta-variable) | #:這裏的𝓐、𝓑都是元變數 (meta-variable) | ||
#:只有上述規則才能組成wff的命題邏輯。 | #:只有上述規則才能組成wff的命題邏輯。 | ||
# 句子 | |||
##:SL中，定義句子，就是定義wff。 | ##:SL中，定義句子，就是定義wff。 | ||
# 標記習慣（講這本書命題邏輯的標記方式） | |||
{{ForAllX}} | {{ForAllX}} | ||
[[category:邏輯學]] | [[category:邏輯學]] | ||