逻辑基础知识点总结.docVIP

逻辑基础知识点总结

一、命题逻辑

1.命题的定义与分类

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

-真命题：永远为真的陈述句。

-假命题：永远为假的陈述句。

-常见命题类型：简单命题、复合命题。

2.逻辑联结词

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

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

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

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

-双条件（?）：P?Q表示P和Q同时为真或同时为假。

3.命题公式与真值表

-命题公式：由命题变项和逻辑联结词构成的符号表达式。

-真值表：列出所有命题变项的真值组合及对应命题公式的真值。

4.命题逻辑等价式

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

-交换律：P∧Q?Q∧P，P∨Q?Q∨P。

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

-分配律：P∧(Q∨R)?(P∧Q)∨(P∧R)，P∨(Q∧R)?(P∨Q)∧(P∨R)。

-吸收律：P∧(P∨Q)?P，P∨(P∧Q)?P。

-德摩根律：?(P∧Q)??P∨?Q，?(P∨Q)??P∧?Q。

5.命题逻辑推理

-假言推理：P→Q，P，