版本1和2间的区别
⇤ ← 于2010-03-11 06:10:43修订的的版本1 →
大小: 374
编辑: 202
备注:
← 于2010-03-11 06:11:15修订的的版本2 → ⇥
大小: 411
编辑: 202
备注:
删除的内容标记成这样。 加入的内容标记成这样。
行号 3: 行号 3:
[[一阶谓词逻辑]]中的[[量词]]。 [[一阶谓词逻辑]]中的[[量词]]。另一个量词是[[全称量词]]。

存在量词

一阶谓词逻辑中的量词。另一个量词是全称量词。

定义:短语“有些”、“至少有一个”、“有一个”、“存在”等都有表示个别或一部分的含义，这样的词叫作存在量词。

含有存在量词的命题叫作特称命题。

特称命题“存在M中的一个x，使p（x）成立”。简记为：∃xP(x)，

存在量词 (2010-03-11 06:11:15由202编辑)