离散数学-命题逻辑学习笔记-2

/***********************************************MATH******************************************************/

本贴接着上一篇帖子进行记录命题逻辑的笔记。跟上跟上！离散数学-命题逻辑学习笔记-1

一、命题逻辑

1.3.3特殊公式（记住吧，就这三个）

G1= ¬(P→Q) →P（这个式子的真值恒为真）

G2=(P→Q) ∧P      (这个式子可真可假）

G3= ¬(P∧ ¬ Q) ↔ ¬ (P→Q）（这个式子恒为假）

1.4、重言式（永真公式）

顾名思义，重言式（永真公式）就是所有解释下它都是true的。

1.5、永假式（矛盾式）

有真就有假，永假式即所有解释下它都是false的。

注意：重言式的否定是矛盾式，矛盾式的否定是重言式。简而言之，研究其一即可。

重言式的合取、析取、蕴含、等价等都是重言式

命题的永真和永假是可判定的，判定方法有真值表法和公式推演法

判定公式例题