2,737
次編輯
Tankianting(討論 | 貢獻) |
Tankianting(討論 | 貢獻) |
||
行 7: | 行 7: | ||
1966年刷,無ISBN。 | 1966年刷,無ISBN。 | ||
==概念文字 Begriffsschrift== | ==概念文字 Begriffsschrift 第一章:符號的解釋== | ||
註:這是講形式邏輯的知名作品,首次出版於1879年。LaTeX有frege套件,打出其文字。 | |||
分成兩個部分: | 分成兩個部分: | ||
行 16: | 行 16: | ||
§1:判斷judgement | §1:判斷judgement | ||
|-- A 判斷(類似十字傳送門 turnsile ⊢) | |||
-- A 不表示命題 | |||
[[category:邏輯學]] | [[category:邏輯學]] | ||
[[category:數學]] | [[category:數學]] |