用等值演算法证明下面等值式┐（pq）((pvq)^┐(p^q))
我知道很麻烦,会做的你也未必会耐心地将过程写下来,但是希望我一刻的求知,可以得到你的支持,谢谢
人气：179 ℃ 时间：2020-06-28 04:19:51
解答
我们已知：p->q ┐pvq左边 ┐（pq）┐( (p->q ) ^ (q->p) )┐( (┐pvq ) ^ (┐qvp) ) ┐ (┐pvq ) v ┐ (┐qvp) (p ^ ┐q ) v (q ^ ┐p) 右边 (p v q ) ^ (┐p v ┐ q)(p ^ (┐p v ┐q)) v (q ^ (┐p v ┐ q))(p ^ ...
推荐
- 用等值演算法证明：p->(q->p)非p->(p->非q)
- 已知p,q属于R,且p^2+q^2=2,求证p+q≤2 反证法证明
- 用反证法证明不等式,若p>0,q>0,p^3+q^3=2,求证：p+q≤2
- 离散数学P∨Q→R=>P∧Q→R用反证法和直接法证明
- p/q（p为整数,q为自然数）一定为无限循环小数,有没有证明的方法?
- 矩形ABCD的两条对角线相交于点M（1,0）,AB边所在直线的方程为x-3y-6=0,点T（-1,1）在AD边所在直线上.
- 写出有关黄河的成语和古诗词句.(各写2个)
- What do you like doing?写出它的扩展句
猜你喜欢
