高照逻辑判断知识点总结.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)∧R≡P∧(Q∧R)，(P∨Q)∨R≡P∨(Q∨R)

-交换律：P∧Q≡Q∧P，P∨Q≡Q∨P

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

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

-零律：P∧?P≡F，P∨?P≡T

-同一律：P∧T≡P，P∨F