名词解释 什么是特称否定命题

2、逻辑学中，直言命题的四种形式
1）全称肯定命题。全称肯定命题是表达全称肯定判断的语句。全称肯定命题的形式结构是：所有S是P。符号形式规范为：SAP，简称A命题。如：
所有的人都是有生命的。
任一员工都是有商业价值的。
飞机都要使用燃料。
都是全称肯定A命题。文中可见，“飞机”的量项被省略了，但根据上下文可以断定其表达的意义是全称的。

2）全称否定命题。全称否定命题是表达全称否定判断的语句。全称否定命题的形式结构是：所有S不是P。符号形式是：SEP，简称E命题。如：
所有的企业都不是行阵机 构。
任何决策都不是轻率地。
都是全称否定E命题。

3）特称肯定命题。特称肯定命题是表达特称肯定判断的语句。特称肯定命题的形式结构是：有些S是P。符号形式规范为：SIP，简称I命题。如：
有些企业是民营的。
有些产品是出口的。
存在员工年薪超过100万元的现象。
都是特称肯定I命题。

4）特称否定命题。特称否定命题是表达否定判断的语句。特称否定命题的形式结构是：有些S不是P。符号形式规范为：SOP，简称O命题。如：
有些企业不是民营的。
有些产品不是出口的。
存在员工年薪并非超过100万元的现象。
都是特称否定O命题。

判断按其性质来分有肯定判断和否定判断，按判断中的主词外延是宾词外延的全部或是部分来分，有全称判断和特称判断，如果将两种分类结合起来就可以形成下面四种判断：
(1)全称肯定判断，记作A。其逻辑形式是“所有S都是P”，简记为SAP。
(2)全称否定判断，记作E。其逻辑形式是“所有S都不是P”，简记为SEP。
(3)特称肯定判断，记作I。其逻辑形式是“有些S是P”，简记为SIP。
(4)特称否定判断，记作O。其逻辑形式是“有些S不是P”，简记为SOP。

但是发生的