命题:可以判断真假的句子。
陈述句和反问句可以是命题,而感叹句、疑问句和祈使句不是命题。
悖论不是命题,因为不能判断真假。
概念:
1.内涵:属性
2.外延:实例
内涵和外延的关系是此消彼长。
概念之间的关系(外延):
1.全同:A和B完全相同
2.全异:A和B没有交集
3.包含:A完全包含B
4.交叉:A和B存在交集
联项:
1.肯定:是,为,有...
2.否定:不是,不为,没有...
量项:
1.全称:所有,全部,任意
2.特称:有些,有的,某些
1.所有S都是P,全称肯定命题,SAP,A判断
2.所有S都是P,全称否定命题,SEP,E判断
3.有些S是P,特称肯定命题,SIP,I判断
4.有些S不是P,特称否定命题,SOP,O判断
性质命题对当关系:
SAP————SEP
| |
| |
SIP————SOP
1.矛盾关系(对角线):不能全真,不能全假,只能一真一假。
2.上反对关系(SAP和SEP):不能全真,可以全假,可以一真一假。至少一假。
3.下反对关系(SIP和SOP):可以同真,不能同假,可以一真一假。至少一真。
4.从属关系(SAP和SIP、SEP和SOP):
若SAP为真,则SIP为真;若SAP为假,SIP不确定。
若SIP为真,则SAP不确定;若SIP为假,则SAP为假。
复合命题:
1.联言命题
2.选言命题
3.假言命题
假言命题:
p -> q为真
1.肯定p必然肯定q(有p必有q)
2.否定q必然否定p(无q必无p)
3.肯定q或者否定p,任何确定的结论也得不到
模态命题:含有模态词的命题。模态词有必然、可能。
注意:
1.模态命题只能事前说;
2.模态命题只和模态命题相比较;
否定内移:
1.找到否定词及其辖域;
2.变换
(1)必然<-->可能;(模态词)
(2)所有<-->有些;(量项)
(3)肯定<-->否定;(联项)
关系命题:
1.自反性:a R a
2.对称性:a R b => b R a
3.传递性:a R b且b R c,则a R c
简单命题:
1.直言命题
2.模态命题
3.关系命题
复合命题
1.联言命题
2.选言命题
3.假言命题