2,617
次編輯
「形式邏輯筆記/第五章」修訂間的差異
跳至導覽
跳至搜尋
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 10： | 行 10： | ||
* 目標語言：比如形式邏輯符號用法 | * 目標語言：比如形式邏輯符號用法 | ||
== | ==5.1命題邏輯的語義== | ||
v(X) = 1 指我們估值 X 為 1（真）或0（偽）。v 是 valuation 函數。 | v(X) = 1 指我們估值 X 為 1（真）或0（偽）。v 是 valuation 函數。 | ||