离散复习笔记——命题逻辑——命题公式

命题常元：表示确定的命题｛T，F｝。

命题变元：以真假为其变域之变元，

或没有指定真值的命题。

常用大写英文字母Ａ…Ｚ表示。

 

（1）定义：

由命题变元、常元、联结词、括号，以规定的格式联结起来的字符串。

命题公式可按下述法则来生成：
1）孤立的命题变元是一个命题公式。

2)若A是命题公式，¬Ａ也是命题公式。

3）若A、B是命题公式，则（AΛB）、（A∨B）、（A→B）、（A↔B）均为命题公式

4）当且仅当有限次使用

（１）（２）（３）所生成的公式才是命题公式。

例如：(¬(P ∨Q))，(P→(Q →R))，((PΛQ)↔R)，P都是命题公式。而(P→)，(P∨¬)都不是命题公式

 

（2）指派和真值表

指派定义：命题变元用特定的命题来取代，这一过程称为对该命题变元进行指派。

真值表定义：命题公式A在其所有可能的赋值下取得的值列成的表称为A的真值表。

例1：构造命题公式¬（（Ｐ∨Ｑ）ΛＰ）的真值表：

P

Q

P ∨Q

（Ｐ∨Ｑ）ΛＰ