离散数学---2

1-3 命题公式与赋值

1-3-1 命题公式

命题常项：确定的简单命题。

命题变项：真值不确定的陈述句。（不是命题）

命题公式：将命题常项和命题变项用联结词和圆括号按一定的逻辑关系连接起来的符号串。

例：(q)r 这样的合式公式的层次有3层

1-3-2 公式的赋值

定义给公式A中的命题变项p1、p2.....pn指定一组真值称为对A的一个赋值和解释。

成真赋值：使公式为真的赋值。

成假赋值：使公式为假的赋值。

说明：含n个变式的公式有2^n个赋值。

1-3-3 真值表

定义：公式A在所有赋值下的情况列成的表。

步骤：

1、找出变式中所含的全部命题变项，列出所有可能的赋值。

2、按从低到高的顺序写出各个层次。

3、对应各赋值，计算公式各层次的值，直到最后算出公式的值。

例：

 1-3-4 公式的类型

定义 设A是一个命题公式

1、若A无成假赋值，则称A为重言式（也称永真式）

2、若A无成真赋值，则称A为矛盾式（也称永假式

3、若A不是矛盾式，则称A为可满足式

注意：重言式是可满足式，但反之不真。

1-4 等值演变

1-4-1 等值式

任意含2个命题变项的公式，可以产生2^2^2=16个不同的取值。

定义：若等价式AB是重言式，则称A与B等值，记作AB，并称这个式子为等值式。

例：用真值表来判断两个公式是否等值

 1-4-2 基本等值式

 

 

 1-4-3 等值演算与置换规则

等值演算：由已知的等值式推演出新的等值式的过程。

置换规则：将公式A的等值式与A进行等值替换。

等值演算的基础：基本的等值式和置换规则。