1-3-aolm-离散数学.pptVIP

1.3 命题公式与翻译 1.3.1 命题公式的定义 定义1.6 命题演算的合式公式 Wff(Well formed formula)，又称命题公式（简称公式），是如下递归定义的： 1. 命题变元和命题常元是命题公式； 2. 如果 A 是命题公式，那么 ﹁A 也是命题公式 ; 3. 如果A, B都是命题公式，那么(A∧B ), (A∨B ), (A ?B ), (A ? B ) 都是命题公式 ; 4. 当且仅当有限次地应用 (1), (2), (3) 所得到的包含命题变元、联结词和括号的符号串是命题公式。 命题公式: P, (﹁P ), (P ? (P∨Q )), ((﹁P∧Q )∧P ), ((P ? Q ) ?R ) 不是命题公式: (∨P ), (P ?Q, (P ∨Q ) ? R ) 定义1.7 如果一个命题公式中总共包含有 n 个不同的命题变元，则称其为 n 元命题公式。 我们作如下约定： (1) 省去最外层括号，如(﹁P ), (P ?Q)可以分别写为﹁P和P ?Q； (2) 规定5个联结词运算的优先级顺序为：﹁, ∧, ∨, ?, ?； (3) 同级的联结词，按其出现的先后次序（从左到右）。 1.3.2 真值表 定义1.8 设 P 是一个命题公式，P1, P2, … , Pn 是出现在 P 中的所有命