2014GCT逻辑考试笔记

命题：可以判断真假的句子。

陈述句和反问句可以是命题，而感叹句、疑问句和祈使句不是命题。

悖论不是命题，因为不能判断真假。

概念：

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.假言命题