存在用 ∃ 表示,任意用 ∀ 表示。
任意号(全称量词)∀ 来源于英语中的Arbitrary一词,因为小写和大写均容易造成混淆,故将其单词首字母大写后倒置。同样,存在号(存在量词)∃ 来源于Exist一词中E的反写。
存在 ∃ 是只要一个集合中有一个满足就行,任意 ∀ 是一个元素在随便集合中有。
全称量词:短语“对所有的”,“对任意的”在陈述中表示整体或全部的含义,逻辑中通常叫做全称量词,并用符号“”表示。
存在量词:短语“存在一个”,“至少有一个”在陈述中表示个别或者一部分的含义,在逻辑中通常叫做存在量词,并用符号“”表示。
常见的存在量词还有“有些”、“有一个”、“对某个”、“部分”等。
特称命题“存在M中的一个x,使p(x)成立”。简记为:∃x ∈ M,p(x)。
读作:存在一个x属于M,使p(x)成立。
文章来源网络整理或者用户投稿,不代表本站立场,版权归原作者所有,如果侵犯你的权益,请联系管理员删除:闪电 博客,转转请注明出处:https://www.xiaoyuerqingfen.cn/n/26765