离散x数学是研究离散数量关系和离散结构数学模型的数学.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * 命题变项与合式公式 命题常项：表示具体命题及表示常命题的统称 命题常项 命题变项（命题变元）：以“真、假”或“1，0”为取值范围的变元，它未指出符号所表示的具体命题 . 常项与变项均用 p, q, r, …, pi, qi, ri, …, 等表示. 定义1.6 合式公式（简称公式）的递归定义： (1) 单个命题变项和命题常项是合式公式, 称作原子命题公式 (2) 若A是合式公式，则 (?A)也是 (3) 若A, B是合式公式，则(A?B), (A?B), (A?B), (A?B)也是 (4) 只有有限次地应用(1)—(3) 形成的符号串才是合式公式 约定公式最外层和不影响运算次序的括号可省去. * 合式公式的层次 定义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