命题公式分类及等值演算2.pptVIP

命题公式及分类 等值演算 福建师范大学数学与计算机科学学院 1.2 命题公式及其赋值 ? 简单命题是真值唯一确定的命题逻辑中最基本的研 究单位，所以也称简单命题为 命题常项 或 命题常元 。 用 p,q,r,… 等小写字母表示命题常项。 ? 称真值可以变化的陈述句为 命题变项 或 命题变元 。 也用 p,q,r,… 表示命题变项。 ? 当 p,q,r,… 表示命题变项时，它们就成了取值 0 或 1 的 变项，因而 命题变项已不是命题 。 ? 这样一来， p,q,r,… 既可以表示命题常项，也可以表 示命题变项。在使用中，需要由上下文确定它们表 示的是常项还是变项。 ? 将命题变项用联结词和圆括号按一定的逻辑关系联 结起来的符号串称为 合式公式 或 命题公式 。 定义 1.6 合式公式的递推定义 (1) 单个命题变项是合式公式，并称为 原子命题公 式 。 (2) 若 A 是合式公式，则 (┐A) 也是合式公式。 (3) 若 A ， B 是合式公式，则 (A ∧ B) ， (A ∨ B) ， (A→B) ， (A ? B) 也是合式公式。 (4) 只有有限次地应用 (1) ～ (3) 形式的符号串才是合 式公式。 ? 合式公式也称为 命题公式 或 命题形式 ，并简称 为 公式 。 ? 设 A 为合式公式， B 为 A 中一部分，若 B 也是合 式公式，则称 B 为 A 的 子公式 。 关于合式公式的说明 ? (┐A) 、 (A ∧ B) 等公式单独出现时，外层括号可以省 去，写成 ┐ A 、 A ∧ B 等。 ? 公式中不影响运算次序的括号可以省去， 如公式 (p ∨ q) ∨ (┐r) 可以写成 p ∨ q ∨ ┐r 。 ? 合式公式的例子： (p→q) ∧ (q ? r) (p ∧ q) ∧ ┐r p ∧ (q ∧ ┐r) ? 不是合式公式的例子 pq→r (p→(r→q) 定义 1.7 公式层次 (1) 若公式 A 是单个的命题变项，则称 A 为 0 层合式 。 (2) 称 A 是 n+1(n≥0) 层公式 是指下面情况之一： (a) A ＝ ┐ B ， B 是 n 层公式； (b) A ＝ B ∧ C ，其中 B,C 分别为 i 层和 j 层公式，且 n=max(i,j) ； (c) A ＝ B ∨ C ，其中 B,C 的层次及 n 同 (b) ； (d) A ＝ B→C ，其中 B,C 的层次及 n 同 (b) ； (e) A ＝ B ? C ，其中 B,C 的层次及 n 同 (b) 。 (3) 若公式 A 的层次为 k ，则称 A 是 k 层公式 。 例如： (┐p ∧ q)→r ， (┐(p→┐q)) ∧ ((r ∨ s) ? ┐p) 分别为 3 层和 4 层公式 公式的解释 ? 在命题公式中，由于有命题符号的出现，因而真值 是不确定的。当将公式中出现的全部命题符号都解 释成具体的命题 ( 真值唯一确定 ) 之后，公式就成了 真值确定的命题了。 ? 例如： (p ∨ q)→r ? 若 p ： 2 是素数， q ： 3 是偶数， r ： π 是无理数，则 p 、 r 被解释成真命题， q 被解释成假命题，此时公式 (p ∨ q)→r 被解释成：若 2 是素数或 3 是偶数，则 π 是 无理数。（真命题） ? r 被解释为： π 是有理数，则 (p ∨ q)→r 被解释成：若 2 是素数或 3 是偶数，则 π 是有理数。（假命题） 定义 1.8 赋值或解释 ? 设 p 1 ,p 2, …,p n 是出现在公式 A 中的全部命题变项，给 p 1 ,p 2, …,p n 各指定一个真值，称为对 A 的一个 赋值 或 解 释 。若指定的一组值使 A 的真值为 1 ，则称这组值为 A 的 成真赋值 ；若使 A 的真值为 0 ，则称这组值为 A 的 成假赋 值 。 ? 对含 n 个命题变项的公式 A 的赋值情况做如下规定： (1) 若 A 中出现的命题符号为 p 1 ,p 2, …,p n ， 给定 A 的赋值 α 1 α 2, …,α n 是指 p 1 ＝ α 1 ， p 2 ＝ α 2 ,… ， p n ＝ α n 。 (2) 若 A 中出现的命题符号为 p,q,r..., 给定 A 的赋值 α 1, α 2, …,α n 是指 p ＝ α 1 ， q ＝ α 2 ,… ，最后一个字母赋值 α n 。 上述 α i 取值为 0 或 1 ， i ＝ 1,2,…,n 。 赋值举例 ? 在公式 (┐p 1 ∧ ┐p 2 ∧ ┐p 3 ) ∨ (p 1 ∧ p 2 ) 中， 000(p 1 ＝ 0 ， p 2 ＝ 0 ， p 3 ＝ 0) ， 110(p 1 ＝ 1 ， p 2 ＝ 1 ， p 3 ＝ 0) 都是成真赋值，