离散数学几条简单问题判定下列符号串是否为公式,若是,请给出它的真值表.(1)(p∨q)→p(2)p∧(p→q)→q用等值演算法,证明下列等值式(1)p→(q→r)q→(p→r)(2)p→(q→r)(p→q)→(p

来源:学生作业帮助网 编辑:作业帮 时间:2024/11/14 11:09:43

离散数学几条简单问题判定下列符号串是否为公式,若是,请给出它的真值表.(1)(p∨q)→p(2)p∧(p→q)→q用等值演算法,证明下列等值式(1)p→(q→r)q→(p→r)(2)p→(q→r)(p→q)→(p
离散数学几条简单问题
判定下列符号串是否为公式,若是,请给出它的真值表.
(1)(p∨q)→p
(2)p∧(p→q)→q
用等值演算法,证明下列等值式
(1)p→(q→r)q→(p→r)
(2)p→(q→r)(p→q)→(p→r)

离散数学几条简单问题判定下列符号串是否为公式,若是,请给出它的真值表.(1)(p∨q)→p(2)p∧(p→q)→q用等值演算法,证明下列等值式(1)p→(q→r)q→(p→r)(2)p→(q→r)(p→q)→(p
亮剑和 不要误导别人
第一个问题的两个符号串都是公式.可以从公式的定义来看:
1.P ,Q等原子命题是公式;
2.p∨q,p^q,p->q,(P),pq,!p 是公式;
3.由有限步2组成的符号串是公式;
由此可知 (1)(2)都是公式; 他们的真值表 用“亮剑和”的贴图就不难看出.
第二个问题 只要将等式两边的公式的真值表列出,就可以发现他们是等值的,这就是等值演算法.

离散数学几条简单问题判定下列符号串是否为公式,若是,请给出它的真值表.(1)(p∨q)→p(2)p∧(p→q)→q用等值演算法,证明下列等值式(1)p→(q→r)q→(p→r)(2)p→(q→r)(p→q)→(p 离散数学—证明下列式子为永真式 判定下列二次型是否为正定二次型f(x1,x2,...,xn)= 微积分问题,判定下列级数的收敛性, 离散数学中的回路问题.回路一定要走遍给定图中所有点和边吗?如图所示,请问途中存在简单回路或初级回路或者复杂回路吗?V3到V9是长度为6的初级回路吗?用符号怎么表示? 离散数学中关于循环群的问题Z*7={1,2,3,4,5,6},X7为模7的乘法,是否为循环群?生成元是什么? 如何判定是否为酸碱氧化物? 如何判定某一食品添加剂是否为致癌物 判定是否为匀速直线运动?今天之内. 如何判定一个湖泊是否为咸水湖? 离散数学的问题 关于点线面位置关系的问题!1.怎样证明四条桌子腿的下端是否在同一平面?2,用集合符号表示下列语句:平面A与平面B相交于过a点的直线l 几道化学题、、特别简单写出下列化学方程式的3个含义1、镁条燃烧2、甲烷燃烧3、乙炔燃烧二、写出上述3个反应的共同点3条写出下列的化学符号1、2个氢分子 3个氦分子 4个镁离子 二氧化 帮分析法律逻辑学的问题三、写出下列推理形式,指出推理种类,并判定是否有效.(每小题2分,共14分)法律系的几位同学在讨论犯罪动机与犯罪行为的关系问题时,分析推理如下:A、一个人犯 试证明PQ,Q逻辑蕴含P(为离散数学中的逻辑联结符号:双条件) 离散数学二元关系的传递性该怎么去判定 100分 问一个离散数学中的“图论”的简单问题设无向简单图有11条边,图中有2个4度点,3个3度点,如果此图是连通图,问:此图最少有几个顶点?并画出最少顶点的图和最多顶点的图各一个.这个是 离散数学集合的证明问题(很简单):证明:若集合A-B=B-A,那么A=B