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

Question

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

∀α.α → α

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

Answer 1

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

Answer 2

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

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