存在量词
(数理逻辑)
短语有些、至少有一个、有一个、存在等都有表示个别或一部分的含义,这样的词叫作存在量词。含有存在量词的命题叫作特称命题。其形式为有若干的S是P。特称命题使用存在量词,如有些、很少等,也可以用基本上、一般、只是有些等。含有存在性量词的命题也称存在性命题。短语存在一个、至少一个在逻辑中通常叫做存在量词,用符号?表示。含有存在量词的命题,叫做特称命题(存在性命题)。定义:短语"有些"、"任何一个"、"至少有一个"、"有一个"、"存在"等都有表示个别或一部分的含义,这样的词叫作存在量词。
加载更多
领域
提 交
信息通讯
数理逻辑
电气
数学
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》