离散数学课件15命题公式及命题符号.ppt

1-3命题公式及命题符号化;二.合式公式(wff)(wellformedformulas)

1.定义：

⑴单个命题变元是个合式公式。

⑵若A是合式公式，则?A是合式公式。

⑶若A和B是合式公式，则(A∧B)，(A∨B)，(A?B)和(A?B)都是合式公式.

⑷当且仅当有限次地应用⑴，⑵，⑶所得到的含有命题变元、联结词和括号的符号串是合式公式。

注意这个定义是递归的。(1)是递归的基础，由(1)开始，使用(2)(3)规则，可以得到任意的合式公式。;这里所谓的合式公式可以解释为合法的命题公式之意，也称之为命题公式，有时也简称公式。

下面的式子不是合式公式：

P∧Q，P??R，P∨Q∧R

下面的式子才是合式公式：

(P∧Q)，(?P?R)，((P∨Q)∧R)

按照合式公式定义最外层括号必须写。

约定：为方便，最外层括号可以不写，上面的合式公式可以写成：

P∧Q，?P?R，(P∨Q)∧R;2.命题公式的真值表

一个命题公式不是命题，所以它没有真值，但是给其中的所有命题变元作指派以后它就有了真值。可以以表的形式反应它的真值情况，例如命题公式(?P?Q)∨Q的真值表如下所示：

PQ?P?P?Q(?P?Q)∨Q

FF