这个带有全称量词的表达式是什么意思？

Question

我只是遇到这个表达，因为我之前从未学过全称量词所以我不知道这是什么意思，谁能解释一下谢谢。

∀α.α → α

我知道它是一个通用量词，但我不知道它是如何工作的

Answer 1

这不就是身份吗。请不要相信我的话，我已经有很多年没有考虑全称量词了

Answer 2

WFF（格式良好的公式）表示，对于所有 a，如果 a，则 a。

这确实是同义反复：即使是同义反复也能看出来。