离散数学04376.pptVIP

1.3 命题公式及其真值表 1.3.1 命题公式 1.3.2 真值表 1.3.3 命题公式的分类 1.3.4 翻译 1.3.1 命题公式 命题公式或命题演算的合式公式 (1)单个命题常量与命题变量是命题公式 (2)若P是命题公式，则┐P是命题公式 (3)若P与Q是命题公式，则(P∧Q)、(P∨Q)、 (P→Q)、(P?Q)等都是命题公式 (4)当且仅当能有限次地应用(1)－(3)所得的 包含命题常量或命题变量、联结词和圆括 号的符号串是命题公式 1.3.1 命题公式 例1.3.1 ┐(P∧Q) ((┐P∧Q)∨(P∧┐Q)) (P→(P?Q)) (P∧0) ┐P∧Q∨P∧┐Q P?(Q→) P∧QR 1.3.1 命题公式 注 意 命题公式是由圆括号、命题变量、命题常量、联结词组成且规定了运算级的字符串 约定命题公式最外层圆括号可以省略 在命题公式中，只要不特别说明，其字母均表示命题变量(1或T、0或F均表示命题常量) n元命题公式 1.3.2 真值表 命题公式的真值表(truth table) 构造命题公式(P→Q)∨(P∧┐Q)的真值表 P Q ┐Q P→Q P∧┐Q (P→Q)∨(P∧┐Q) 0 0 1 1 0 1 0 1 0