命题公式分向类及等值演算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。 合式公式