《离散数学》证明题：证明从前提P→Q,┐(Q∨R)可演绎出┐P.
人气：356 ℃ 时间：2020-02-03 05:51:13
解答
1 P→Q P
2 ﹁Q→﹁P T1 E
3 ﹁(Q∨R) P
4 ﹁Q∧﹁R T3 E
5 ﹁Q T4 I
6 ﹁P T2,5 I
推荐
- 在离散数学中 前提是p蕴含q 结论是p蕴含(p且q) 的推理证明
- 构造推理证明:前提p→q,非r→p,非q,结论r
- 推理证明,前提,p-＞s.q-＞r.非r.p∨q结论s
- 《离散数学》证明题 证明P→(Q→S),┐RVP,Q┝R→S
- 离散数学证明：(P→Q)→R=>(P→Q)→(P→R)
- Learn to be independent When I was a child,I promised to try to remember as much as I could about my childhood.Because f
- 甲,乙两堆煤的重量比是4比5从甲堆中运出260吨到乙堆,现在比是3比5求乙煤
- 悲伤感受得到情感的优美的句子!或者,直接性的表达作者情感的语句!悲喜交加
猜你喜欢
- 一个一分钟滴水23毫升的水龙头,十分钟、一天、一个月、一年滴水多少毫升?
- 一个工程,甲单独做12天完成,乙单独做18天完成,现在甲做了若干天后,再由乙接着单独做完余下的部分,这样前后共用了16天.甲先做了几天?
- 已知圆c：x^2+y^2+2x-4y+1=0外一点p向圆c引切线,切点为a,b.o是原点.
- 手性碳原子的旋光性是什么回事~
- 已知正数A=2x的平方-3xy+2y的平方,B=2x的平方+xy-3y的平方.如果A+B+C=0,求整式C.
- 1、唐代中枢机构中书省尚书省门下省的精细分工体现了
- 已知四棱锥P-ABCD的底面为直角梯形,AB‖DC,∠DAB=90°,PA⊥底面ABCD,PA=AD=DC=1/2AB=1,M是PB的中点
- 如图，延长线段AB到C，使BC=3AB，点D是线段BC的中点，如果CD=3cm，那么线段AC的长度是多少？
