离散数学

一.命题：命题是一个陈述语句，即陈述事实的语句，它或真或假

二.命题变元：我们用字母来表示命题变元，它是代表命题的变量，就像用字母表示数值变量那样。习惯上用字母p，q, r, s，.表示命题。如果一个命题是真命题，它的真值为真，用T表示;如果它是假命题其真值为假，用F表示

三：涉及命题的逻辑领域称为命题演算或命题逻辑。

四：复合命题的新命题是由已知命题用逻辑运算符组合而来

五：令P做为一命题，P的否定指不是P所指的情形

 六.逻辑运算符的优先级：

　　1：否定运算符优先于其他运算符

　　2：合取运算符优先于析取运算符

　　3：双条件运算符低于合取和析取运算符

七.布尔变量：一个变量的值为真或为假

八.布尔搜索：搜索采用命题逻辑的技术

九.逻辑谜题：可以用逻辑推理解决的谜题

十：处理谓词和量词的逻辑领域称为谓词演算