2,619
次編輯
Tankianting(討論 | 貢獻) (建立內容為「 {{Nav|程式語言、邏輯學|Translations from the Philosopical Writing of Gottlob Frege 筆記}} ==1== 註:這是講形式邏輯的知名作品,首次出…」的新頁面) |
Tankianting(討論 | 貢獻) |
||
行 212: | 行 212: | ||
函數形為ɸ(A),A是argument,ɸ(A,B)為2元函數,表達A和B之間有ɸ的關係,argument 順序不可顛倒。 | 函數形為ɸ(A),A是argument,ɸ(A,B)為2元函數,表達A和B之間有ɸ的關係,argument 順序不可顛倒。 | ||
[[category:邏輯學]] |