※ 引述《paperbattle (?)》之銘言：
: 大學數學老師最愛的符號
: 大概就是∃ (there exists)
: 跟 ∀ (for all) 了吧
: 而且有些敘述寫出來一開始是 ∀∃ ∀
: 換成∃∀∃意思又差很多
: 有沒有為什麼要倒過來寫的八卦
這是 謂詞邏輯符號,
從德國的數學、哲學、邏輯學家 弗雷格 那裡來的.
因為他左腦想哲學,右腦解數學,所以他把哲學跟數學弄在一起,
將前人未完成的 符號邏輯於數學上的應用 給完成,成為 數理邏輯.
他的著作 Begriffsschrift 是西方邏輯學第二本聖經.
Begriffsschrift Und Andere
http://www.amazon.com/dp/3487006235
上面你所寫的符號,是由他當初所畫的符所簡化而來.
不要在這發廢文了,快去買一本回來供...啊,不是,是趁暑假好好閉門思過吧,
等暑假過完,書看完了,再上來發廢文吧...