数学逻辑的知识点.docVIP

数学逻辑的知识点

数学逻辑是研究推理和论证的学科，主要涉及命题逻辑、谓词逻辑、证明论和模型论等方面。以下是数学逻辑的主要知识点及其解析：

一、命题逻辑

1.命题及其符号化

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

-命题变元：用字母表示的命题，如p,q,r。

-命题常元：具体的命题，如“北京是中国的首都”。

2.负命题

-逻辑非：?p，表示命题p的否定。

3.合取命题

-逻辑与：p∧q，表示命题p和q同时为真。

4.析取命题

-逻辑或：p∨q，表示命题p和q至少有一个为真。

5.蕴含命题

-逻辑蕴涵：p→q，表示如果p为真，则q为真。

6.双条件命题

-逻辑双条件：p?q，表示p和q同时为真或同时为假。

7.命题公式

-合式公式：由命题变元、逻辑联结词和括号按一定规则组成的表达式。

8.真值表

-真值表：列出所有可能的真值组合，用于判断命题公式的真假。

9.重言式

-重言式：在任何真值赋值下都为真的命题公式。

10.等价式

-等价式：两个命题公式在所有真值赋值下具有相同的真值。

二、谓词逻辑

1.谓词和量词

-谓词：表示命题性质的符号，如P(x)表示x具有某种性质。

-量词：表示命题中变量的范围，如?（全称量词）、?（存在量词）。

2.个体和个体域

-个体：命题中的具体对象，如a,b,