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

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

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

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

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

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

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

是 2^n 个指派.事实上,每个命题变元有 0 和 1 共 2 个指派,n 个命题变元就有 2^n 个指派.

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

1.3.1命题演算的合式公式规定为:(1)单个命题变元本身是一个合式公式.(2)如果A是合式公式,那么┐A是合式公式.(3)如果A和B是合式公式,那么(A∨B)、(A∧B)、(A→B)、(ADB)、都是合式公式.(4)当且仅当有限次地应用(1)(2)(3)所得

在离散数学中:T的真值指派为1,F的真值指派为0.壹律:P∧T=P;P∨F=P .其本质上为任意命题合取真,析取假都还其本身.零律:P∧F=F;P∨T=T .其本质上为任意命题合取假为假,析取真为真,其本身已不存在.

重言式也就是 永真式你列出真值表就知道了

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