https://kianting.info/wiki/w/Translations_from_the_Philosopical_Writing_of_Gottlob_Frege_%E7%AD%86%E8%A8%98-%E6%A6%82%E5%BF%B5%E6%96%87%E5%AD%97_%E7%AC%AC%E4%B8%80%E7%AB%A0#12

#弗雷格 #Frege #概念文字 #Begriffsschrift 第一章讀了。

看到 #概念文字，發現弗雷格只用 not (¬), imply (->)以及全稱量詞，還有等價（≡）與變數就能構成他的形式語言體系，交集、聯集等等都可以表示，

但是少掉括號的方便性，要用複雜的網路圖當代價

#begriffsschrift #Frege