短语“存在一个”、“至少有一个”、“有些”、“有一个”、“对某个”、“有的”在逻辑中通常叫做存在量词。
特称命题“存在M中的一个x,使p(x)成立”可用符号简记为∃x∈M,p(x).
一.特称命题
1. 存在量词及表示:
定义:
用符号“∃”表示,
含有存在量词的命题,叫做特称命题.
表示:
2.特称命题及表示:
读作:“存在一个x属于M,使p(x)成立”.