全称肯定命题和特称肯定命题
单称肯定判断概念?
单称肯定判断概念?
一、性质判断
性质判断就是断定对象具有或不具有某种性质的判断,也称为直言判断或直言命题。
性质判断可以分为以下六类:
(1)单称肯定判断:断定一个具体的对象具有某种性质的判断。逻辑形式:某个S是P。
(2)单称否定判断:断定一个具体的对象不具有某种性质的判断。逻辑形式:某个S不是P。
(3)全称肯定判断:断定一类对象的全部都具有某种性质的判断。逻辑形式:所有S都是P。
(4)全称否定判断:断定一类对象的全部都不具有某种性质的判断。逻辑形式:所有S都不是P。
(5)特称肯定判断:断定一类对象中有对象具有某种性质的判断。逻辑形式:有的S是P。
(6)特称否定判断:断定一类对象中有对象不具有某种性质的判断。逻辑形式:有的S不是P。
二、关系判断
关系判断就是断定对象与对象之间具有某种关系的判断。
1.关系的对称性
(1)对称关系:A与B之间具有某种关系时,B与A也必然具有这种关系。
(2)非对称关系:A与B之间具有某种关系时,B与A可能具有这种关系也可能不具有这种关系。
(3)反对称关系:A与B之间具有某种关系时,B与A必然不具有这种关系。
2.关系的传递性
(1)传递关系:A与B之间具有某种关系,B与C之间也具有这种关系时,A与C之间就必然具有这种关系。
(2)非传递关系:A与B之间具有某种关系,B与C之间也具有这种关系时,A与C之间可能具有这种关系也可能不具有这种关系。
(3)反传递关系:A与B之间具有某种关系,B与C之间也具有这种关系时,A与C之间必然不具有这种关系。
三、复合判断
1.负判断
负判断就是否定某个判断的判断。一般由一个判断加上“并非”构成。逻辑形式:—p。
2.联言判断
联言判断就是断定几种事物情况同时存在的判断。逻辑形式:p且q。
3.选言判断
选言判断就是断定几种事物情况至少有一种事物情况存在的判断。
选言判断可以分为相容选言和不相容选言。
相容选言判断就是断定几种事物情况至少有一种存在,并且允许多种情况同时存在的判断。逻辑形式:p或q。
不相容选言判断就是断定几种事物情况中有一种且只有一种事物情况存在的判断。逻辑形式:要么p,要么q。
4.假言判断
假言判断就是断定两种事物情况之间存在某种条件关系的判断。
假言判断根据条件关系的不同可以分为不同的种类:
充分条件假言判断就是断定事物情况之间存在充分条件关系的判断。充分条件假言判断逻辑形式:p→q。
必要条件假言判断就是断定事物情况之间存在必要条件关系的判断。必要条件假言判断逻辑形式:—p→—q。
充分必要条件假言判断就是断定事物情况之间存在充分必要条件关系的判断。充分必要条件假言判断逻辑形式:p当且仅当q。
什么是全称定命题?
全称命题,英文为 Universal Statement,一种高级数学命题,属于性质命题按量划分的一种。断定某类中的每一个对象都具有或不具有某种性质的命题。
短语#34对于所有#34#34对于任意一个#34在逻辑中通常叫做全称判断,并用?(上下颠倒的大写#34A#34)表示。A就是英语中any的缩写。含有全称判断的命题,叫全称命题,全称判断的否定是特称判断。