逻辑规则知识点.docVIP

逻辑规则知识点

模块一：命题逻辑

1.命题的定义

命题是指能够判断真假的陈述句。

2.命题的分类

(1)简单命题：不包含其他命题的命题。

(2)复合命题：由简单命题通过逻辑联结词构成的命题。

3.逻辑联结词

(1)否定：?，表示命题的真假相反。

(2)合取：∧，表示命题同时为真。

(3)析取：∨，表示命题至少一个为真。

(4)蕴含：→，表示前命题真后命题必真。

(5)双条件：?，表示命题真假相同。

4.命题的真值表

真值表用于表示命题在不同真值组合下的结果。

5.命题逻辑的等价式

(1)双重否定律：?(?P)≡P。

(2)交换律：P∧Q≡Q∧P，P∨Q≡Q∨P。

(3)结合律：(P∧Q)∧R≡P∧(Q∧R)，(P∨Q)∨R≡P∨(Q∨R)。

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

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

(6)零律：P∧?P≡F，P∨?P≡T。

(7)同一律：P∧T≡P，P∨F≡P。

(8)排中律：P∨?P≡T。

6.命题逻辑的推理规则

(1)假言推理：从P→Q和P，可以推出Q。