作业帮 > 数学 > 作业

什么是特称否定命题

来源:学生作业帮 编辑:搜狗做题网作业帮 分类:数学作业 时间:2024/06/24 17:58:24
什么是特称否定命题
什么是特称否定命题
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.