离散数学(第2版)840.pptxVIP

1.1命题和联结词

1.2命题公式

1.3逻辑等价与蕴含

1.4联结词的完备集

1.5对偶式

1.6范式

1.7命题逻辑的推理理论;1.1.1命题

命题逻辑主要研究前提(premises)和结论(conclusion)之间的逻辑关系。例如，由前提“如果我平时不努力学习离散数学，那么我的期末成绩就会不及格”和“期末成绩出来，我的离散数学及格了”可以推出“我平时努力学习了”的结论。这里前提和结论都是断言(陈述句)，具有确定的真假值，它们是推理的基本单位，在数理逻辑中称为命题(proposition)。本节首先给出命题的定义并引入命题的逻辑运算。;定义1.1.1一个具有真或假但不能两者都是的断言称为命题。

如果一个命题所表达的判断为真，则称其真值(truthvalue)为“真”，用大写字母T或数字1表示；如果一个命题所表达的判断为假，则称其真值为“假”，用大写字母F或数字0表示。为简便起见，本书在构建真值表时一般用0表示“假”，用1表示“真”。

由命题的定义可知，命题必须满足以下两个条件：

(1)命题是表达判断的陈述句。疑问句、祈使句和感叹句等都不是命题。

(2)命题有确定的真假值，它的真值或者为真，或者为假，两者必居其一。;1.1.2联结词