数学 › 必修第一册 › 1.5 › 常用逻辑用语
“存在一个”“至少有一个”等叫存在量词,用 ∃ 表示;含有存在量词的命题叫存在量词命题,记作 ∃x ∈ M,p(x)。
判断为真:找到一个 x 使 p(x) 成立即可;判断为假:要说明对所有 x 都不成立
关键词:存在量词、存在、至少有一个、∃、存在命题、有一个就行、找不到就不成立