用等值演算或真值表证明公式（p→q)∧(p→r)＜＝＞p→(q∧r)

相关推荐

• 离散数学-用等值演算法求下列命题公式的主析取范式,并由此指出该公式的类型（1）﹃（p→q）∧ q （2）（（p→q）∧ p）→q （3）（p→q）∧ q 以上是计算题,如果有数学专家或者老师麻烦解答下计算过程.如果这里输入符号不方便,可以解答完截图上来,
• 离散数学如何用等值演算法求(p∧q)∨r的主析联范式?
• 等值演算法化简：(p并q)->(p交r)
• 某工厂今年一月,二月,三月生产某种产品分别为一万件,1.2万件,1.3万件,为了以后估计每个月的产量,以这三个月的产品数据为依据.用一个函数模拟产品的月产量y与月份数x的关系,模拟函数可选用二次函数发（x）=px的平方+qx+r（其中p,q,r为常数,且p不等于0）或指数函数g（x）=a·b的x次方+c（其中a,b,c为常数）,已知四月份该产品的产量为1.37万件,请问用上述哪个函数作为模拟函数较好?并说明理由.
• 一、填空题.1.除非你陪伴我或代我雇辆车子,否则我不去.2.前提：1.如果明天天晴,我们准备外出旅游.2 ．明天的确天晴.结论：我们外出旅游.3.他唱歌的充分必要条件是心情愉快.4.雪是白的当且仅当太阳从东方升起.5.所有的人都是要死的；苏格拉底是人.所以苏格拉底是要死的.6.爱美之心人皆有之.7.有人爱发脾气.8.说所有人都爱吃面包是不对的.9.并不是所有的汽车比所有的火车快.二、求命题公式A=┐P∧(Q→R)的主合取范式.三、侦查员在调查了某珠宝店的珠宝失窃案现场以及询问了人证后,得到以下事实：（1）\x05是营业员甲或营业员乙做的案；（2）\x05若是甲做的案,则案发在非营业时间；（3）\x05若乙提供的证词可信,则案发时货柜未上锁；（4）\x05若乙提供的证词不可信,则案发在营业时间；（5）\x05货柜在案发时的确上锁了.侦查员推断是营业员乙做的案,请用命题逻辑判断该推断是否正确.
• 附加前提引入时有的加否定谓词演算的推理中,附加前提引入有什么规则?为什么在推理过程中用到附加前提,有的前提要加否定,有的不加呢?例：前提：w→(˥(r∧s)→˥q),w,˥s结论：˥q˥(˥q) P（附加前提）为什么要加否定?证明：A→(B→C),˥D∨A,B˫D→CD P(附加前提)这个D是哪个D?是˫之前的D还是之后D→C中的D?3.证明：(∀x)(G(x)∨Q(x)) ˫ (∀x)G(x)∨(∃x)Q(x)：(1) ˥((∀x)G(x)∨(∃x)Q(x)) P(附加前提)(2) .....这个附加前提，是 ˫ 符号后面的结论吗？为什么要加否定？4.证明：(∀x)(G(x) ∨Q(x)) ˫ ˥(∀x)G(x) →(∃x)Q(x)（1）˥(∀x)G(x) P（附加前提）（2）......这个（1）步中的附加前提是 ˫ 符号后的结论中的˥(∀x)G(x)还是前提(∀x)(G(x) ∨Q(x))演化过来的？如果是˫ 符号后的结论中的前提为什么这个没有加否定呢？
• 用高斯公式计算曲面积分∫∫(zdxdy+xdydz+ydzdx)/(x^2+y^2+z^2)∑是半球面x^2+y^2+z^2=a^2(a>0,z>=0)的上侧是要把P、Q、R分别求偏导吗?但是那样会更麻烦啊……拜托了
• 用等值演算证明此式为重言式（（￢p∨q）∧（q→r））→（￢p∨r）在线等
• 如果对于某整数p和q,有r=p/q,实数r就称为有理数,否则称为无理数.0.25,1.3333333…是有理数,而π和√p（p是任意素数）就是无理数,用反证法证明√7是无理数.
• 离散数学如何用等值演算法求(p∧q)∨r的主析联范式?
• 记叙文的三种写作顺序
• 谁知道判断纯合子或杂合子用什么方法?