存在量词
表示个别或一部分的含义
存在量词,短语有些、至少有一个、有一个、存在等都有表示个别或一部分含义的词。含有存在量词的命题叫作
特称命题
。其形式为有若干的S是P。
特称命题
使用存在量词,如有些、很少等,也可以用基本上、一般、只是有些等。
概念
定义:短语“有些”、“任何一个”、“至少有一个”、“有一个”、“存在”等都有表示个别或一部分的含义,这样的词叫作存在量词。
含有存在量词的命题叫作
特称命题
。
特称命题
:其形式为“有若干的S是P”。
特称命题使用存在量词,如“有些”、“很少”等,也可以用“基本上”、“一般”、“只是有些”等。含有存在性量词的命题也称存在性命题。
短语“存在一个”、“至少一个”在逻辑中通常叫做存在量词,用符号“∃”表示。
含有存在量词的命题,叫做
特称命题
(存在性命题)。
例如:
(1)只要三角形的任何一个
内角
是直角,那么该
三角形
就是
直角三角形
。
(2)有些
平行四边形
是菱形。
(3)有的
质数
不是奇数。
常见的存在量词还有“有些”、“有一个”、“对某个”、“部分”等。
特称命题
“存在M中的一个x,使p(x)成立”。简记为:∃x ∈ M,p(x)。
读作:存在一个x属于M,使p(x)成立。
主要区别
在语句中含有短语“所有”、“每一个”、“全部”、“一切”等都是在指定范围内,表示整体或全部的含义,这样的词叫作
全称量词
。
含有
全称量词
的命题叫作
全称命题
。
全称量词
的否定是存在量词。
参考资料
最新修订时间:2024-08-09 16:28
条目作者
小编
资深百科编辑
目录
概述
概念
参考资料
Copyright©2024
闽ICP备2024072939号-1