2,617
次編輯
「形式邏輯筆記/第二章」修訂間的差異
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 1： | 行 1： | ||
{{Nav|程式語言、邏輯學|形式邏輯筆記}} | {{Nav|程式語言、邏輯學|形式邏輯筆記}} | ||
第二章命題邏輯 (sentential logic) | 第二章命題邏輯 (sentential logic, SL) | ||
== 2.1 命題字母 == | == 2.1 命題字母 == | ||
| 行 156： | 行 156： | ||
|} | |} | ||
==2.3其他符號化== | |||
除非 A 否則 B，可寫為¬A→B或是¬B→A。 | |||
也可推論為「A∨B」 | |||
==2.4 命題邏輯的命題== | |||
# 目標語言之於元語言： | |||
## 目標語言 (object language)：命題邏輯等。 | |||
## 元語言 (meta language)：邏輯學用的英語等。 | |||
# 表達式 (expression)： | |||
##句子字母 A, B, C,... , A<sub>1</sub>, A<sub>2</sub>, ... | |||
##運算子：¬、&、∨、→、↔ | |||
{{ForAllX}} | {{ForAllX}} | ||
[[category:邏輯學]] | [[category:邏輯學]] | ||