⑴ 求离散数学大神 给我详细解释下下面定理 ,什么意思啊
1.3.1命题演算的合式公式规定为:
(1)单个命题变元本身是一个合式公式。
(2)如果A是合式公式,那么┐A是合式公式。
(3)如果A和B是合式公式,那么(A∨B)、(A∧B)、(A→B)、(ADB)、都是合式公式。
(4)当且仅当有限次地应用(1)(2)(3)所得到的包含命题变元,连接词和圆括号的符号串是合式公式。
1.3.2 设Ai是公式A的一部分,且Ai是一个合式公式,称Ai是A的子公式。
1.3.3 设P为一命题公式,P1,P2,……,Pn为出现在P中的所有命题变元,对P1,P2,……,Pn指定一组真值称为对P的一种指派。若指定的一种指派,使P的值为真,则称这组指派为成真指派。若指定的一种指派,使P的值为假,则称这种指派为成假指派。
含n个命题变元的命题公式,共有2n个指派。
1.3.4 给定两个命题公式A和B,设P1,P2,……,Pn为所有出现于A和B中的原子变元,若给P1,P2,……,Pn任一组真值指派,A和B的真值都相同,称A和B是等价的,记做A <=>B。
1.3.5 设A为一命题公式,若A在它的各种指派情况下,其取值均为真,则称A为重言式或永真式。
1.3.6 设A为一命题公式,若A在它的各种指派情况下,其取值均为假,则称A为矛盾式或永假式。
1.3.7设A为一命题公式,若A在它的各种指派情况下至少存在一组成真指派,则称A为可满足式。
1.4.1 设X式合式公式A的子公式,若有Y也是一个合式公式,且X<=>Y,如果将A中的X用Y置换,得到公式B,则A<=>B。
1.4.2 设A,B为两个命题公式,A<=>B,当且仅当A ←→B为一个重言式。
P=>Q称做P蕴含Q或蕴含式,又称永真条件式。
蕴含式有下列性质:
(1)对任意公式A,又A=>A;
(2)对任意公式A,B和C,若A=>B,B=>C,则A=>C;
(3)对任意公式A,B和C,若A=>B,A=>C,则A=>(B∧C);
(4)对任意公式A,B和C,若A=>C,B=>C,则A∨B=>C.
1.4.3设P,Q为任意两个命题公式,P<=>Q的充分必要条件式P=>Q,,Q=>P
⑵ 离散数学!第二张图的第一个小项性质!实在不理解真值指派与编码相同时什么意思!能通俗点照着图给我说下
看枝粗友姿看这个图,猛告镇你懂了吗?
⑶ 简述真值指派的作用
真值指瞎核派就是p q的四种情况,编码就是 假设p q 都为真时,p合取q的四种情游敬况磨磨掘 假为零 真为1
⑷ 在离散数学中什么叫真值
真值雹梁数:一个命题总是有一个值渣困 这个源首值叫真值
真值 只有真和假两种情况
分别用T(TRUE)和F(FALSE)表示
⑸ 离散数学命题
下面是有关命题的定义及基本解释。自己好好理解一下命题概念学习本章首先要深刻理解命题的概念。理解原子命题与复合命题的关系,在了解复合命题的基础上,理解联结词的定义。
命题:具有唯一真值的陈述句称为命题,又简称语句。注意,这里有两个条件,首先它是一个陈述句,其次,它具有唯一的一个真值。
真值:就是语句为真或假的性质。一个语句的真值可以为真也可以为假。真值不是说该语句的值必为真。
任一命题必有其真值,也称这个命题的值。既然是命题了,那它必有一个确定的真值,不管这个真值为真还是为假。当一个陈述句能够分辩其值的真假时(也就是说,总可以肯定是其中的某一个),它就是命题,即使我们不知道它是真还是假。
另外要理解命题常量、命题变元及指派的含义。
复合命题就是一些原子命题经过一些联结词复合而成的命题。常用的联结词有:(1)否定纯宴世、(2)合取、(3)析取、(4)条件、(5)双条件
复合命题与联系词是密切相关的,不包含联结词的命题就是原子命题,至少包含一个联结词的命题才是复合命题。
复合命题的真值只取决于构成它们的各原子命题的真值,而与它们的内容含义无关。对联结词所联结的两原子命题之间有无关系无关。(这一条很重要,因为一个命题用自然语言表达时,我们往往会受到自然逻辑的影响,比如"我如果不上班,那么天下雨"这种命题,在自然的逻辑里,是不成立的,一个人不上班怎么会导致天下雨呢? 但是在这里,这个复合命题的值实际上是由两个原子命题的真值决定的,与它的含义无关,这个复合命题是|P->Q ,前一个原子命题的真值为假,后一命题值为真,根据条件的定义,这个复合命题值为真)
∧、∨、←→具有对称性,|、→无对称性,(教材提示,也可用iff表示双向箭头←→,由于字符集的限制,本网页在表示否定关联词时用"|",请在书写时注意规范写法。对称性是指真值表中复合命题的真值与原子命题的真值之间的关系。)
命题公式与命题不同,在一个由命题标识符组成的式子中,如果标识符表示确定的命题,则该式就是命题。如果标识符只表示命题的位置,可由任何命题代替,则该式子就为命题公式。命题变元P用特定命题替代时,称为对P的指派。
不是所有由命题变元、联结词及有关括号组成的字符串都能成为命题公式。要成为一个命题公式(合式做肢公式),应当符合规定。这个规定是:
(1)单个命题变元本身是一个合式公式。
(2)如果A是合式公式,那么|A是合式公式。
(3)如果A和B是合式公式,那么(A∧B)、(A∨B)、(A→B)和(A←→B)都是合式公式。
(4)当且仅当有限次地应用(1)(2)(3)所得到的包含命题变元、联结词和圆括号的符号串是合式公式。
总的理解就是说,单个命题变元是合式公式,由合式公式作为命题变元,有限次地运用联结词及括号组成的符串才能是合式公式。即命题公式,简称公式。
命题变元只有进行指派后才可能确定其所在命题公祥虚式的真值。当一个命公式中的所有命题变元用一组真值指定后,就称为对命题公式的指派。想一想,什么是真指派、什么是假指派? 这个比较简单。
一个命题的真值表应该列出其所有指派的取值情况。一般来说,由n个命题变元组成的命题公式共有2n种真值情况。
联结词的简化,按照两个等价的命题公式,可以看到一个有较多联结词的公式可以简化为含有一个联结词的公式。这里有两个等值公式应当记一下:
(|P∨Q)(P→Q)
我们要弄清什么是"重言式(永真式)"、什么是"矛盾式(永假式)"以及"可满足式"。这其中涉及到指派及命题公式的取值,容易理解。
⑹ 离散数学问题
真值:
通过测量仪表测量某种物理量,仪表所示值(测量值)与实际值之间存在的差别即是误差:Δ=|测量值-真值|。
真值即真实值,是指在一定条件下,被测量客观存在的实际值。真值在不同场合有不同的含义。
理论真值:也称绝对真值,如平面三角形三内角之和恒为18O0。
规定真值:国际上公认的某些基准量值,如1982年国际计量局召开的米定义咨询委员会提出新的米定义为“米等于光在真空中1/299792458 秒时间间隔内所经路径的长度”。这个米基准就当作计量长度的规定真值。
相对真值:计量器具按精度不同分为若干等级,上一等级的指示值即为下一等级的真值,此真值称为相对真值)例如,在力值的传递标准中;用二等标准测力机校准三等标准测力计,此时二等标准测力机的指示值即为三等标准测力计的相对真值。
对于被测物理量,真值通常是个未知量,由于误差的客观存在,真值一般是无法测得的。
测量次数无限多时,根据正负误差出现的概率相等的误差分布定律,在不存在系统误差的情况下,它们的平均值极为接近真值。故在实验科学中真值的定义为无限多次观测值的平均值。
但实际测定的次数总是有限的,由有限次数求出的平均值,只能近似地接近于真值,可称此平均值为最佳值(或可靠值)。