离散数学(2)-2复习题一填空题1.集合X={abcd}上二元关系R={<ab><ac><ad><bc><bd><ed>}则R的自反闭包r(R)= _ 对称闭包s(R)= _2.已知G=<{l-1i-i}·>(其中i=是数的乘法)是群则-l的阶是_ _i的阶是_ _3.设<S>是群则<S>满足结合律和_ _若S>lS中不可能有_ _ 4.写出
离散数学(2)-1复习题一判断:1.任何两个重言式的合取或析取仍然是一个重言式T2.一个重言式对同一分量都用任何合式公式置换其结果仍为一重言式T3.在真值表中一个公式的真值为F的指派所对应的大项的合取即为此公式的主合取范式T4.在真值表中一个公式的真值为T的指派所对应的小项的析取即为此公式的主析取范式T5.任何一个谓词公式均和一个前束范式等价T6.每一个wff A都可转化为与其等价的前束合取范式T
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级离散数学授课人:李朔Email:chn.nj.lsgmail1命题公式的推广任意一个谓词公式是不确定的主要是存在三种类型的变元:自由个体变元命题变元及谓词变元特别注意约束变元在任一公式中由量词所限定的约束变元并不影响公式的确定性定义2-5.1 给定任何两个谓词公式wff A和wff B设它们有共同的个体域E若对A和B的
1.在一阶逻辑中将下列命题符号化???(1)对于任意的实数x均有x2-2=(x-)(x)????(2)存在实数x使得x5=7??其中个体域为:??? (a)实数集合R??? (b)全总个体域(1)(a)中:xG(x) 其中G(x):x2-2=(x-)(x) (b)中:x(F(x)→G(x))其中F(x):x是实数G(x)同(a)中(2)(a)中:H(x) 其中
2-1 基本概念令谓词S(x):x是大学生括号内填入不同的人名就得到不同的命题故谓词S(x)相当于一个函数称之为命题函数定义:n元谓词P(x1x2…xn)称之为简单命题函数规定:当命题函数P(x1x2…xn)中 n=0 时即0元谓词表示不含有客体变元的谓词它本身就是一个命题变元定义:将若干个简单命题函数用逻辑联结词联结起来构成的表达式称之为复合命题函数简单命题函数与复合命题函数统称为命题函数?y的
第五章特殊元素代数结构 第六章格
3?10解:设P(x):x是报考研究生的大学毕业生 Q(x):x参加研究生入学考试R(x):x被推荐为免试生S(x):x学习成绩优秀则原论断可符号化为:(?x)(P(x)→(Q(x)?R(x))(?x)(P(x)→(R(x)?S(x))) (?x)(P(x)∧S(x)) (?x)(P(x)→S(x))?(?x)(P(x)∧Q(x)) (?x)(S(x)∧(?y)(T(y)?L(xy))
#
单击以编辑母版标题样式单击以编辑母版文本样式第二级第三级第四级第五级 第二章 谓词逻辑问题的提出:(即命题逻辑的局限性) 在第一章 一个原子命题只用一个字母表示而不再对命题中的句子成分细分这样有一些逻辑问题无法解决请看下面的例子例1.令P:小张是大学生 Q:小李是大学生从符号PQ中不能归纳出他们都是大学生的共性我们希望从所使用的符号那里带给我们更多的信息比如可以看出他们的共性这
2007年6月楚雄师范学院计科系离 散 数 学推 理 理 论2007年6月楚雄师范学院计科系§3.7推理理论例:如果今天是周一则要进行离散数学或C语言程序设计两门课中的一门的考试 如果C语言程序设计老师有会则不考C语言程序设计 今天是周一 C语言程序设计老师有会 结论:今天要进行离散数学考试推理是从一些判断推出另个判断的思维过程推出的判断称为
违法有害信息,请在下方选择原因提交举报