※ 引述《paperbattle (?)》之铭言：
: 大学数学老师最爱的符号
: 大概就是∃ (there exists)
: 跟 ∀ (for all) 了吧
: 而且有些叙述写出来一开始是 ∀∃ ∀
: 换成∃∀∃意思又差很多
: 有没有为什么要倒过来写的八卦
这是 谓词逻辑符号,
从德国的数学、哲学、逻辑学家 弗雷格 那里来的.
因为他左脑想哲学,右脑解数学,所以他把哲学跟数学弄在一起,
将前人未完成的 符号逻辑于数学上的应用 给完成,成为 数理逻辑.
他的著作 Begriffsschrift 是西方逻辑学第二本圣经.
Begriffsschrift Und Andere
http://www.amazon.com/dp/3487006235
上面你所写的符号,是由他当初所画的符所简化而来.
不要在这发废文了,快去买一本回来供...啊,不是,是趁暑假好好闭门思过吧,
等暑假过完,书看完了,再上来发废文吧...