《离散数学》证明题：证明从前提P→Q,┐(Q∨R)可演绎出┐P.
人气：336 ℃ 时间：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
推荐
猜你喜欢
- 太阳系中,与太阳距离最远的类地(地球）行星是什么?
- 设函数fx=x ln(e^x+1)-1/2x^2+3,x属于[-t,t],(t>0),若函数的最大值是M,最小值是m,则M+N=?
- 六年级同学收集废旧报纸,一班收集了90千克,二班收集的是一班的九分之五,三班收集的是二班的五分之六,
- 一根铁丝长10米,用去一部分后,还剩8分之5,用去多少米
- 已知f(x)是偶函数且在（0,∞）是增函数.如果f(ax+1)≤f(x-2).在x∈[0.5,1]恒成立,求实数a的取值范围
- 将下列现象进行分类,说明分类依据
- 我们应当怎样保护地球的生态环境呢
- 叉有什么读音
