划分离散数学定义_离散数学重点概念与公式总结

命题：称能判断真假的陈述句为命题。

命题公式：若在复合命题中，p、q、r等不仅可以代表命题常项，还可以代表命题变项，这样的复合命题形式称为命题公式。

命题的赋值：设A为一命题公式，p ,p ,…,p 为出现在A中的所有命题变项。给p ,p ,…,p 指定一组真值，称为对A的一个赋值或解释。若指定的一组值使A的值为真，则称成真赋值。

真值表：含n(n≥1)个命题变项的命题公式，共有2^n组赋值。将命题公式A在所有赋值下的取值情况列成表，称为A的真值表。

命题公式的类型：(1)若A在它的各种赋值下均取值为真，则称A为重言式或永真式。

(2)若A在它的赋值下取值均为假，则称A为矛盾式或永假式。

(3)若A至少存在一组赋值是成真赋值，则A是可满足式。

主析取范式：设命题公式A中含n个命题变项，如果A得析取范式中的简单合取式全是极小项，则称该析取范式为A的主析取范式。

主合取范式：设命题公式A中含n个命题变项，如果A得析取范式中的简单合析式全是极大项，则称该析取范式为A的主析取范式。

命题的等值式：设A、B为两命题公式，若等价式A↔B是重言式，则称A与B是等值的，记作A<=>B。

约束变元和自由变元：在合式公式"xA和 $xA中，称x为指导变项，称A为相应量词的辖域，x称为约束变元，x的出现称为约束出现，A中其他出现称为自由出现(自由变元)。

一阶逻辑等值式：设A，B是一阶逻辑中任意的两公式，若A↔B为逻辑有效式，则称A与B是等值的，记作A<=>B，称A<=>B为等值式。

前束范式：设A为一谓词公式，若A具有如下形式Q1x1Q2x2Qk…xkB，称A为前束范式。

集合的基本运算：并、 交、差、相对补和对称差运算。

笛卡尔积：设A和B为集合，用A中元素为第一元素，用B中元素为第二元素构成有序对组成的集合称为A和B的笛卡尔积，记为A×B。

二元关系：如果一个集合R为空集或者它的元素都是有序对，则称集合R是一个二元关系。

特殊关系：(1)、空关系：Φ(2)全域关系：EA={ | x∈A ∧ y∈A }= A×A

(3)恒等关系：IA={ | x∈A}

(4)小于等于关系：LA={| x, y∈A∧x≤y∈A },A Í R

(5)整除关系： RÍ ={| x，y∈ψ ∧ x Í y} ,ψ是集合族

二元关系的运算：设R是二元关系，

(1)R中所有有序对的第一元素构成的集合称为R的定义域domR= { x |$y(∈R)}

(2)R中所有有序对的第二元素构成的集合称为R的值域ranR = {y|$x(∈R)}</