资源描述：
《离散数学概念公式总结》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。
1、为了适应公司新战略的发展，保障停车场安保新项目的正常、顺利开展，特制定安保从业人员的业务技能及个人素质的培训计划离散数学概念公式总结 命题：称能判断真假的陈述句为命题。命题公式：若在复合命题中，p、q、r等不仅可以代表命题常项，还可以代表命题变项，这样的复合命题形式称为命题公式。命题的赋值：设A为一命题公式，p,p,…,p为出现在A中的所有命题变项。给p,p,…,p指定一组真值，称为对A的一个赋值或解释。若指定的一组值使A的值为真，则称成真赋值。真值表：含n个命题变项的命题公式，共有2^n组赋值。将命题公式A在所有赋值下的取值情况列成表，称为A的真值表。命题公
2、式的类型：若A在它的各种赋值下均取值为真，则称A为重言式或永真式。 若A在它的赋值下取值均为假，则称A为矛盾式或永假式。目的-通过该培训员工可对保安行业有初步了解，并感受到安保行业的发展的巨大潜力，可提升其的专业水平，并确保其在这个行业的安全感。为了适应公司新战略的发展，保障停车场安保新项目的正常、顺利开展，特制定安保从业人员的业务技能及个人素质的培训计划离散数学概念公式总结 命题：称能判断真假的陈述句为命题。命题公式：若在复合命题中，p、q、r等不仅可以代表命题常项，还可以代表命题变项，这样的复合命题形式称为命题公式。命题的赋值：设A为一命题公式，p,p,
3、…,p为出现在A中的所有命题变项。给p,p,…,p指定一组真值，称为对A的一个赋值或解释。若指定的一组值使A的值为真，则称成真赋值。真值表：含n个命题变项的命题公式，共有2^n组赋值。将命题公式A在所有赋值下的取值情况列成表，称为A的真值表。命题公式的类型：若A在它的各种赋值下均取值为真，则称A为重言式或永真式。 若A在它的赋值下取值均为假，则称A为矛盾式或永假式。目的-通过该培训员工可对保安行业有初步了解，并感受到安保行业的发展的巨大潜力，可提升其的专业水平，并确保其在这个行业的安全感。为了适应公司新战略的发展，保障停车场安保新项目的正常、顺利开展，特制定安
4、保从业人员的业务技能及个人素质的培训计划 若A至少存在一组赋值是成真赋值，则A是可满足式。主析取范式：设命题公式A中含n个命题变项，如果A得析取范式中的简单合取式全是极小项，则称该析取范式为A的主析取范式。主合取范式：设命题公式A中含n个命题变项，如果A得析取范式中的简单合析式全是极大项，则称该析取范式为A的主析取范式。命题的等值式：设A、B为两命题公式，若等价式A?B是重言式，则称A与B是等值的，记作AB。约束变元和自由变元：在合式公式?xA和?xA中，称x为指导变项，称A为相应量词的辖域，x称为约束变元，x的出现称为约束出现，A中其他出现称为自由出现。
5、一阶逻辑等值式：设A，B是一阶逻辑中任意的两公式，若A?B为逻辑有效式，则称A与B是等值的，记作AB，称AB为等值式。前束范式：设A为一谓词公式，若A具有如下形式Q1x1Q2x2Qk…xkB，称A为前束范式。集合的基本运算：并、交、差、相对补和对称差运算。笛卡尔积：设A和B为集合，用A中元素为第一元素，用B中元素为第二元素构成有序对组成的集合称为A和B的笛卡尔积，记为A×B。二元关系：如果一个集合R为空集或者它的元素都是有序对，则称集合R是一个二元关系。特殊关系：、空关系：Φ全域关系：EA={
6、x∈A∧y∈A}=A×A 恒等关系：IA={
7、x∈A} 小于等于
8、关系：LA={
9、x,y∈A∧x≤y∈A},A?R 整除关系：R?={
10、x，y∈ψ∧x?y},ψ是集合族二元关系的运算：设R是二元关系， R中所有有序对的第一元素构成的集合称为R的定义域domR={x
11、?y} R中所有有序对的第二元素构成的集合称为R的值域ranR={y
12、?x}目的-通过该培训员工可对保安行业有初步了解，并感受到安保行业的发展的巨大潜力，可提升其的专业水平，并确保其在这个行业的安全感。为了适应公司新战略的发展，保障停车场安保新项目的正常、顺利开展，特制定安保从业人员的业务技能及个人素质的培训计划 R的定义域和值域的并集称为R的域fldR=d
13、omR∪ranR二元关系的性质：自反性，反自反性，对称性，反对称性，传递性。等价关系：如果集合A上的二元关系R是自反的，对称的和传递的，那么称R是等价关系。设R是A上的等价关系，x,y是A的任意元素，记作x～y。 等价类：设R是A上的等价关系，对任意的?x∈A，令[x]R={y
14、y∈A∧xRy}，称[x]R为x关于R的等价类。偏序关系：设R是集合A上的二元关系，如果R是自反的，反对称的和传递的，那么称R为A上的偏序，记作≤；称序偶为偏序集合。函数的性质：设f:A?B， 若ranf=B，则称f是满射的。 若?y?ranf都存在唯一的x?A使得f(x)=y,则
15、称f是单射的。 若f既
