离散数学(第1.2-1.3)陈瑜.ppt

计算机科学与工程学院 陈瑜 Email：chenyu.inbox@ * 主要内容 命题合适公式与真值表 1）命题常项与命题变项 2）命题公式与赋值 3）永真式 4）矛盾式 命题公式的等价 1）基本等价式 2）等价式的判断 1.2 命题合适公式与真值表 一个特定的命题是一个常值命题，它不是具有值“T”(“1”)，就是具有值“F”(“0”)。 而一个任意的没有赋予具体内容的原子命题是一个变量命题，常称它为命题变量(或命题变元)，该命题变量无具体的真值，它的值域是集合{T，F}(或{0，1})。 当原子命题是命题变元时，其复合命题也即为命题变元的“函数”，且该“函数”的值仍为“真”或“假”值，这样的函数可形象地称为“真值函数”,或称为命题公式,此命题公式没有确切真值。 1.2 命题合适公式与真值表 一个特定的命题是一个常值命题，它不是具有值“T”(“1”)，就是具有值“F”(“0”)。 而一个任意的没有赋予具体内容的原子命题是一个变量命题，常称它为命题变量(或命题变元)，该命题变量无具体的真值，它的值域是集合{T，F}(或{0，1})。 当原子命题是命题变元时，其复合命题也即为命题变元的“函数”，且该“函数”的值仍为“真”或“假”值，这样的函数可形象地称为“真值函数”,或称为命题公式,此命题公式没有确切真值。 1.2 命题合适公式与真值表 一个特