逻辑春考知识点.docVIP

逻辑春考知识点

模块一：逻辑基本概念

1.1逻辑学定义

逻辑学是研究思维规律和推理规则的学科，主要关注命题的真假关系和推理的有效性。

1.2命题及其类型

命题是能够判断真假的陈述句。命题类型包括简单命题和复合命题。

1.3简单命题

简单命题是不可再分解的命题，包括肯定命题和否定命题。

1.4复合命题

复合命题由简单命题通过逻辑联结词构成，包括联言命题、选言命题、假言命题和负命题。

1.5逻辑联结词

逻辑联结词用于连接简单命题形成复合命题，包括“并且”（∧）、“或者”（∨）、“如果...那么...”（→）、“非”（?）。

1.6联言命题

联言命题是同时陈述多个简单命题的命题，形式为“p并且q”，只有当p和q都为真时，联言命题才为真。

1.7选言命题

选言命题是陈述至少一个简单命题为真的命题，形式为“p或者q”，只要p和q中有一个为真，选言命题就为真。

1.8假言命题

假言命题是陈述一个条件与其结果之间关系的命题，形式为“如果p那么q”，只有当p为真而q为假时，假言命题才为假。

1.9负命题

负命题是对命题的否定，形式为“非p”，当p为真时，负命题为假；当p为假时，负命题为真。

模块二：逻辑推理规则

2.1直言推理

直言推理是基于直言命题的推理，包括肯定前件式、否定后件式、肯定后件式和否定前件式。

2.2关系推理

关系推理是基于关系命题的推理，包括对称关系、传