逻辑判断总结知识点.docVIP

逻辑判断总结知识点

模块一：命题逻辑

1.命题的定义

命题是能够判断真假的陈述句。

2.命题的分类

-简单命题：不包含其他命题的命题。

-复合命题：由简单命题通过逻辑联结词构成的命题。

3.逻辑联结词

-否定（?）：?P表示P的否定。

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

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

-蕴含（→）：P→Q表示如果P为真，则Q为真。

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

4.命题的真值表

真值表用于表示命题在不同真值组合下的真值情况。

5.命题逻辑的推理规则

-假言推理（ModusPonens）

-拒绝式推理（ModusTollens）

-前件附加（Addition）

-后件否定（Denial）

-双重否定（DoubleNegation）

模块二：谓词逻辑

1.谓词的定义

谓词是表示命题性质的符号，通常包含主语和谓语。

2.量词

-全称量词（?）：表示对所有个体都成立。

-存在量词（?）：表示存在至少一个个体成立。

3.谓词逻辑的公式

-量化公式：?xP(x)表示对所有x，P(x)成立；?xP(x)表示存在至少一个x，P(x)成立。

-联结词公