逻辑第三四单元知识点.docVIP

逻辑第三四单元知识点

第三单元：命题逻辑

一、命题逻辑的基本概念

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

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

3.命题公式：通过命题变元和逻辑联结词构成的符号串。

4.逻辑联结词：?（非），∧（与），∨（或），→（蕴涵），?（等价）。

二、命题公式及其分类

1.合式公式：按照规定规则构造的命题公式。

2.真值表：列出所有命题变元真值组合下，命题公式的真值。

3.重言式：在所有真值指派下都为真的命题公式。

4.可满足式：至少存在一个真值指派使命题公式为真的公式。

5.矛盾式：在所有真值指派下都为假的命题公式。

三、等值演算

1.基本等值式：如?(?p)≡p,p∧q≡q∧p等。

2.等值演算规则：通过基本等值式进行推理和变换。

3.等值演算的应用：判断命题公式是否为重言式，简化命题公式。

四、联结词的完备性

1.联结词完备集：任意命题公式都可以用某个联结词完备集中的联结词表示。

2.常见的完备联结词集：{?,∧},{?,∨},{?,→}等。

五、对偶式与对偶原理

1.对偶式：将命题公式中的∧换成∨，∨换成∧，?保持不变得到的公式。

2.对偶原理：命题公式为重言式当且仅当其对偶式也为重言式。

第四单元：谓词逻辑

一、谓词逻辑的基本概念

1.个体：讨论的对象，如a,b,c等。

2.个体变元：