命题公式 命题常量表示一个具体的命题,真值唯一确定,可以看作命题。 命题变量可以表示任何一个命题,真值不确定,不能看作命题。 包含命题变量的复合命题就是一个关于命题变量的函数,叫做命题公式或真值函数。 命题公式, 如: 由命题公式的定义可以得到: 对运算符做以下约定: 对其取值有以下结论: 等值演算 对于这个有: 利用等价关系进行演算的过程叫做等值演算, 内否与对偶 有以下一些结论 联结词的完备集 如何用一些符号表示所有情况。 进一步讨论联结词的完备性: 命题公式的范式 主析取和主合取范式的关系: