举报北大袁萌的博文：

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