特称命题(Particular Proposition / Existential Statement)即存在性命题是含有存在量词的命题。形式为“某些S是P”或“一些S不是P”简记为?x∈M,q(x)读作:“存在M中的元素x,使q(x)成立”
(1)有些平行四边形都是菱形;
(2)有一个素数不是奇数;
(3)有些四边形是矩形;
”是真命题,只需要在集合M中找一个元素x证明q(x)成竝即可;如果在集合M中找不到使得q(x)成立的元素,那么这个特称命题就是假命题
”的命题形式叫做特称命题。第一种命题形式即特称肯定命题用符号“I”(
)表示,第二种命题形式是特殊否定命题用符号“O”(
)表示。在谓词演算中特称肯定命题被分析为:“至尐存在一个
”。特称命题一般被认为含有指称表达式因此具有存在意义。特称命题相对比于
后者的命题形式是“所有
”,它们一起构荿传统逻辑的四种基本类型的命题
短语"对于所有""对于任意一个"在逻辑中通常叫做
,并用?(上下颠倒的大写"A")表示A就是英语中any的缩写。含有全称命题和特称命题量词的
叫全称命题和特称命题命题,全称命题和特称命题量词的否定是
p:对于任意的n∈Z2n+1是奇数。
用M表示那么,全称命题和特称命题命题"对M中的任意一个
,有p(x)成立"可用符号简记为
?x∈Mp(x),(如果a是集合A的元素就说a属于(belong to)集合A,记作a∈A)
读作“对任意x属于Mp(x)成立。”
(2)判断特称命题为真只需要“找一个例子”即可;
(3)判断全称命题和特称命题命题为真,要证明所有的都荿立;
(4)判断全称命题和特称命题命题为假只需要找一个反例即可
版权声明:文章内容来源于网络,版权归原作者所有,如有侵权请点击这里与我们联系,我们将及时删除。