快速总结逻辑知识点.docVIP

快速总结逻辑知识点

逻辑学是研究思维规律和推理规则的学科，主要涵盖命题逻辑、谓词逻辑、逻辑推理等内容。以下是逻辑知识点的快速总结：

一、命题逻辑

1.命题的定义

命题是能够判断真假的陈述句。例如，“今天是晴天”是一个命题，而“今天天气如何”则不是命题。

2.逻辑联结词

-否定（?）：?P表示P的否定，若P为真，则?P为假。

-合取（∧）：P∧Q表示P和Q同时为真时为真，否则为假。

-析取（∨）：P∨Q表示P或Q至少有一个为真时为真，否则为假。

-蕴涵（→）：P→Q表示若P为真则Q为真，否则为真。

-等价（?）：P?Q表示P和Q同时为真或同时为假时为真。

3.真值表

真值表用于描述命题在不同真值组合下的结果。例如，合取命题P∧Q的真值表如下：

-P|Q|P∧Q

-—|—|——

-T|T|T

-T|F|F

-F|T|F

-F|F|F

4.对偶式与范式

-对偶式：通过将合取换成析取，析取换成合取，真换成假，假换成真得到原命题的对偶式。

-合取范式（CNF）：命题的所有合取子句的析取。

-析取范式（DNF）：命题的所有