离散数学_命题公式与等值推演

命题公式

命题常量表示一个具体的命题，真值唯一确定，可以看作命题。
命题变量可以表示任何一个命题，真值不确定，不能看作命题。
包含命题变量的复合命题就是一个关于命题变量的函数，叫做命题公式或真值函数。

命题公式，

如：

由命题公式的定义可以得到：

对运算符做以下约定：

对其取值有以下结论：

等值演算

对于这个有：


利用等价关系进行演算的过程叫做等值演算，

内否与对偶

有以下一些结论

联结词的完备集

如何用一些符号表示所有情况。

进一步讨论联结词的完备性：

命题公式的范式

主析取和主合取范式的关系：