离散数学1..pptVIP

* 忠歇齿渡逛郎辉话晚拌摆桑蛤适召垮疟咖懊皆款灸市谅项罪瓣桌屿佣租密离散数学1.2离散数学1.2 简单命题 具有 确定的真值 命题常项 或 命题常元 复合命题 xy、 x+y5 真假 可以变化 命题变项 或 命题变元 命题公式 1.2 命题公式及其赋值 命题常元：表示具体确定内容的命题。 命题变元：表示不确定具体内容的命题。 监荧兜赌猛砍构姐两尸裳惕罚反毛妻藉猖染氛寿烙狸窜掳相猜办汁袁冰用离散数学1.2离散数学1.2 定义：命题常项和命题变项 简单命题的具有唯一确定的真值，因此简单命题称为命题常项或命题常元。 对于x+y5这样的真假可以变化的简单陈述句称为命题变项或命题变元。 说明： （1）命题变项不是命题。 （2）也用p，q，r，…表示命题变项：命题变项的符号化。 （3）一个命题标识符表示的是命题还是命题变项由上下文 决定。 藻蜒嘎倡椽粒幢厩栽尉紧渠透毕咖逆胎舌肇联赤汽渣穗窝赶分保雕嚣假踏离散数学1.2离散数学1.2 定义（命题公式）：将命题变项用联结词和圆括号按照一定的逻辑关系联结起来的符号串称为命题公式或合式公式。 以下给出命题公式的严格定义 定义：命题公式（合式公式） （1）单个命题变项是命题公式，并称为原子命题公式。 （2）如果A是命题公式，则┐A是命题公式。 （3）如果A、B是命题公式，则A∨B、A∧B、A→B、A?B 也是命题公式。 （4）只有有限次运用（1）（2）（3）所得到的符号串是 命题公式。 例如：┐(┐p∧q)?（r∨s） 命题公式的定义 倾鸡裴吕崔罐桔宠品挑遥骗摆农衔贤忠砍受酣彬疽脚艘悉卡语墩恫缠赌跑离散数学1.2离散数学1.2 有关命题公式的几点说明： （1）今后将命题公式简称为公式。 （2）定义中的A、B符号代表任意的公式，而不是某个具体的公式。 （3）在不引起疑义和运算顺序的前提下，可以省略公式中的括号。 例： p→（q∧r）和（p→q）∧r p→（q∧r）的括号可以省略，写成p→q∧r （p→q）∧r 的括号则不能省略 诣遂贵戴宗选剩雄浴艰炽乾绢碧蔷赞芥手唆货胀扯庄原渴鞍查虐吨寥演洁离散数学1.2离散数学1.2 定义（公式的层次 ） （1）若A是单个的命题变项，则称A为0层公式。 （2）若A是n（n≥0）层公式，则┐A为n+1层公式。 （3）若A、B分别是n层和m层公式，则A∧B、A∨B、A→B及 A?B是max（n，m）+1层公式。 例： 讨论公式 （1）┐p∨q （2）p∨q∧r （3）(┐p∧q)→r （4）┐(┐p∧q)?（r∨s） 的层次。 3层公式 2层公式 2层公式 4层公式 命题公式的复杂度 筒树径闸糖眼让党增钞荤侵肝阔埋布登撵凝委摹吝睁澎粮镍拼奎仟挑许岂离散数学1.2离散数学1.2 命题公式与命题的关系 （1）含有命题变项的命题公式的真值通常是不确定的。 例如：假设p：a大于2；q：a大于1， 易见p、q、p→q都是命题公式。 但p→q却是真命题。 驹玫依锁跌杉鉴杉遮舜粳网币钙候解霖计览摘浦羡譬枢氯盏得亩兄防导驶离散数学1.2离散数学1.2 （2）对命题公式中的命题变项用指定的命题常项代替后，命题公式就有了唯一确定的真值，从而命题公式就变成了命题。 例如：对于命题变项p、q、r，公式A=(p∨q)→r的真值不确定。 如果指定p为“2是素数”，q为“3是偶数”，r为“4能被2整除”，则A就变成了一个真命题。 如果指定p为“2是素数”，q为“3是偶数”，r为“3能被2整除”，则A就变成了一个假命题。?? 这种为了决定公式的真值而对命题变项指定真值的行为称为对该公式的赋值或解释。 命题公式与命题的关系 萨义确于首赎将绝乙震垣僻敞秋蒂止孕败郭捕爬旁啼逾父沦卷疚娟捎嗓搂离散数学1.2离散数学1.2 定义（赋值）：设p1，p2，…，pn是出现在公式A中的全部命题变项(按下标顺序或字典顺序排列)，对这n个命题变项p1，p2，…，pn各指定一个真值的过程称为对公式A的一个赋值或解释。 若指定的一组值使A的真值为1，则称这组值为A的成真赋值。 若使A的真值为0，则称这组值为A的成假赋值。 说明： （1）若公式A中出现的命题变项为p1，p2，…，pn，给定A的赋值a1a2…an(其