高中逻辑学知识点.docVIP

高中逻辑学知识点

高中逻辑学主要涵盖命题逻辑和谓词逻辑的基础知识，以下是详细的知识点解析：

一、命题逻辑

1.命题及其联结词

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

-简单命题：不可再分解的命题。

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

-联结词：

-否定（?）：?P表示P的否定，真值相反。

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

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

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

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

2.真值表

-真值表：通过列出所有可能真值组合，展示命题真值关系的工具。

-构建真值表：

-首列列出所有简单命题的真值组合。

-依次列出各联结词的命题表达式真值。

3.命题公式及其分类

-命题公式：由简单命题和联结词构成的符号表达式。

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

-矛盾式：在任何真值赋值下都为假的命题公式。

-可满足式：至少存在一种真值赋值使其为真的命题公式。

4.命题逻辑等价式

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

-基本等价式：

-双重否定律：?(?P)?P

-结合律：(P∧Q)∧R?P∧(Q∧