F T T

T F F

T T T

在P 、Q的所有取值下 ，P→Q同┑P∨Q都有相同的真值

即：P→Q=┑P∨Q

真值相同的等值命题以等号联结
。这说明→可由┑
、∨来表示
，从逻辑上看“如果P则Q”同“非P或Q ”是等同的两个命题。

五、双条件词 =

双条件词“=
”（有的书中用的是双箭头号表示）同样是个二元命题联结词，将两个命题P 、Q联结起来构成新命题P=Q,读作P当且仅当Q或P等值Q.

只有当两个命题P
、Q的真值相同时 ，P=Q的真值方为T

P=Q的真值表

P Q P=Q

F F T

F T F

T F F

T T T

第三节 合式公式（简称为公式）

合式公式定义：

1.简单命题是合式公式

2.如果A是合式公式
，那么┑A也是合式公式

3.如果A、B是合式公式，那么（A∧B) 、（A∨B）
、（A→B）、（A=B） 也是合式公式

4.当且仅当经过有限次地使用1 ，2
，3所组成的符号串才是合式公式 。

约定联结词按┑ 、∨、∧
、→、=的排列次序安