查看“︁存在量词”︁的源代码

[[分类:谓词逻辑]]
{{InfoBox
|name=存在量词
|eng_name=existential quantifier
|aliases=特称量词
}}
'''存在量词'''('''existential quantifier''')是[[量词]]的一种，相当于自然语言中的“有一个……满足……”、“存在……使得……”。

== 定义 ==
{{Identity
|name=存在量词
|type=量词
|symbol=<math>\exists</math>
|latex=\exists
}}
命题中，表达“存在一个……使得……”的含义的量词，记作 <math>\exists</math> ，称为'''存在量词'''('''existential quantifier''')或特称量词。

主联结词是存在量词的公式称为'''存在式'''('''existentially quantified formula''')，命题称为'''存在命题'''('''existentially quantified proposition''')。

比如，对 <math>P(x)</math> ，命题“存在 <math>x</math> 的某个取值，使得所构成的命题是真命题”，记作 <math>\exists x P(x)</math> ，读作
* '''存在 <math>x</math> ， <math>P(x)</math>''' ('''there exists <math>x</math>, <math>P(x)</math>''')
* '''有至少一个 <math>x</math> ， <math>P(x)</math>''' ('''there is at least one <math>x</math>, <math>P(x)</math>''')
* '''对某个 <math>x</math> ， <math>P(x)</math>'''('''for some <math>x</math>, <math>P(x)</math>''')
{{CharMetaInfo
|char=&#x2203;
|unicodeCodePoint={{UnicodeCodePoint|U+2203|There Exists}}<ref>有别名 {{UnicodeName|Existential Quantifier}}</ref>
|latex=\exists
}}

存在命题当存在一个取值使之成为真命题时为真命题，当全部可能取值下都不是真命题时是假命题。


{{谓词逻辑}}