逻辑量词符号“∀”是谁最先发明的？

    回顾历史，弗雷格最先精确定义了逻辑量词的概念，肯定了它是一个“思维符号”。可惜偶的是，弗雷格所用的思维符号不是我们今天习惯使用的符号。

查阅历史资发现：In 1935, Gentzen（根岑） introduced the ∀ symbol, by analogy（模仿） with Peano's ∃ symbol. 但是，∀ did not become canonical（典范符号） until the 1960s（上世纪60年代）.

实际上，Gerhard Gentzen给我们留下了宝贵的逻辑量词符号“∀”，而自己却在35岁的宝贵时光饿死在监牢之中。请看原文：

He died in 1945 after the Second World War, because he was deprived（缺乏） of food after being arrested （被逮捕）in Prague（布拉格）。

袁萌  3月28日