xqzz.net
当前位置:首页 >> 离散数学中“指派”是什么意思 >>

离散数学中“指派”是什么意思

指派就是假设一个命题变元的真值啊,根据这个真值考察有关的复合命题等东西.

可满足式 设A为任一命题公式,若A在各种真值指派下至少存在一组成真指派,则A是可满足式,反之为矛盾式.换言之,对于命题公式A,若A不是矛盾式,则称A是可满足式.

下面是有关命题的定义及基本解释.自己好好理解一下 命题概念 学习本章首先要深刻理解命题的概念.理解原子命题与复合命题的关系,在了解复合命题的基础上,理解联结词的定义. 命题:具有唯一真值的陈述句称为命题,又简称语句.

可满足式吧,用真值表算的

我只能通俗的说一下 分量是把总体分成不同的量,比如说5个人,分成3跟2或4跟1,是分量 指派是把分的量给不同的组,不如这3个人跟王老师,那2个人李老师 不同的分量指派都会对结果造成影响

看看这个图,你懂了吗?

所谓的 “命题形式”,指的是由命题变元和联结词按规则组成的符号串.

指派就是赋值的意思, 成假指派,就是使得命题为假的赋值, 注意到 V 成假 意味着, (P ^ R) 为假,且 ~(P->Q)为假,即 P->Q 为真. 将A TTT 带入 P ^ R 为真. B TFT带入,P^R 为真. C TFF带入,p->Q为假.D TTF P^R为假,P->Q 为真, 符合条件.答案是D.

指派就是假设一个命题变元的真值啊,根据这个真值考察有关的复合命题等东西.

离散相对于连续而言,你应该学过高数吧,连续通俗来讲指平滑的过渡,比如1和2之间可以有无数的数,可以无限分割.而离散指数据的不连续性,比如1,2,3.这样画出的曲线是不连续的.计算机只能处理这样的离散数据.离散数学是数据结构的基础,其实是一切冯氏结构计算机的理论基础.比如离散数学中的树,在数据结构中广泛应用,尤其是二叉树,作为计算机存储数据的一种很重要的方法.图论是离散数学的一部分,现在更象一门独立的学科了,其研究领域很广泛.

相关文档
网站首页 | 网站地图
All rights reserved Powered by www.xqzz.net
copyright ©right 2010-2021。
内容来自网络,如有侵犯请联系客服。zhit325@qq.com