这个带有全称量词的表达式是啥意思？
Posted
技术标签:
【中文标题】这个带有全称量词的表达式是啥意思？【英文标题】：What does this expression with universal quantifier mean?这个带有全称量词的表达式是什么意思？ 【发布时间】：2016-07-07 03:40:08 【问题描述】：我只是遇到这个表达，因为我之前从未学过全称量词所以我不知道这是什么意思，谁能解释一下谢谢。
∀α.α → α
我知道它是一个通用量词，但我不知道它是如何工作的
【问题讨论】：
我投票结束这个问题，因为它是一个符号逻辑问题，应该迁移到 math.stackexchange.com 【参考方案1】：这不就是身份吗。请不要相信我的话，我已经有很多年没有考虑全称量词了
【讨论】：
【参考方案2】：WFF（格式良好的公式）表示，对于所有 a，如果 a，则 a。
这确实是同义反复：即使是同义反复也能看出来。
【讨论】：
谢谢，但对于所有的 a 是第一个 a 或第二个 a以上是关于这个带有全称量词的表达式是啥意思？的主要内容，如果未能解决你的问题，请参考以下文章