早教吧作业答案频道 -->其他-->
逻辑学的证明题……拜托了~证明：(a)p,¬p├q(b)¬¬p├q
题目详情
逻辑学的证明题……拜托了~
证明：
(a)p,¬p├ q
(b)¬¬p├ q
证明：
(a)p,¬p├ q
(b)¬¬p├ q
▼优质解答
答案和解析
(a)p,¬p├ q
1）p∧¬p P
2）p T1)合取消去
3）¬p T1)合取消去
4）p∨q T2)析取添加
5）q T3)4)析取消去
(b)¬¬p├ q
1) ¬¬p P
2) ¬¬q 1)q/p代入
3）q T2)¬¬消去
1）p∧¬p P
2）p T1)合取消去
3）¬p T1)合取消去
4）p∨q T2)析取添加
5）q T3)4)析取消去
(b)¬¬p├ q
1) ¬¬p P
2) ¬¬q 1)q/p代入
3）q T2)¬¬消去
看了 逻辑学的证明题……拜托了~证...的网友还看了以下：
极值证明题f(x)=x^p(1-x)^q,p和q都是整数,大于或等于2.1.)证明当q是偶数时,f的 2020-03-31 …
已知关于x得多项式P=3x^2-6x+7,Q=ax^2+bx+c,P+Q是二次三项是吗?若是,请说 2020-05-16 …
用数学归纳法证明(1+q)(1+q^2)(1+q^4)...[1+q^(2n)]=[1-q^(2n 2020-06-08 …
设某商品需求量Q是价格p的单调减函数：Q=Q（p），其需求弹性η=2p2192−p2＞0．（1）设 2020-06-12 …
逻辑证明题如何证明(p→q)↔(¬pVq)(（p→q）∩（r→s）∩（p∪q）)→(q∪s) 2020-06-12 …
整式的加减的一道题6.阅读下题的解法,完成填空：已知关于χ的的多项式P=3χ²-6χ+7,Q=aχ 2020-06-16 …
已知关于x的实数系数二次方程x2+ax+b=0有两个实数根q、p.证明：q的绝对值对不起，那个是2 2020-06-27 …
微观经济学的计算题,急呀,关于均衡产量和均衡价格的已知某完全垄断厂商面临的需求曲线为Q=70-P, 2020-07-01 …
关于充要条件的问题.由r推出q或p[比如（x+3)(x+2)=0推出x=-2或x=-3].（说明： 2020-07-15 …
已知关于x得多项式P=3x^2-6x+7,Q=ax^2+bx+c,P+Q是二次三项是吗?若是,请说 2020-07-31 …