早教吧作业答案频道 -->数学-->
离散数学的一个证明题,证明：┐(P←→Q)(P∧┐Q)∨(┐P∧Q),其中P、Q为命题公式.
题目详情
离散数学的一个证明题,
证明：┐(P←→Q)(P∧┐Q)∨(┐P∧Q) ,其中P、Q为命题公式.
证明：┐(P←→Q)(P∧┐Q)∨(┐P∧Q) ,其中P、Q为命题公式.
▼优质解答
答案和解析
这个命题等价于证明(P←→Q)(P∨┐Q)∧(┐P∨Q)；
P←→Q（P→Q）∧（Q→P); （1）
而P→Q┐P∨Q； （2）
P←→Q（P→Q）∧（Q→P); （1）
而P→Q┐P∨Q； （2）
看了离散数学的一个证明题,证明：┐...的网友还看了以下：
VBA中公式中的变量=SUMPRODUCT((明细!R2C1:R100C1=RC1)*(明细!R2C 2020-03-30 …
复合函数求导证明中的一些疑问在证明中链式法则dy/du*du/dx,当后者等于零时,从公式上看是有 2020-06-05 …
曲面积分问题利用球面坐标系计算第一型曲面积分的公式,举例说明公式在计算第一型曲面积分的应用,特别需 2020-06-10 …
怎样用拉格朗目日中公式证明不等式|arctanx-arctany|≤|x-y|利用拉格朗日中值公式 2020-06-13 …
如图是一个小数的除法算式，其中算式中所注明的两个字母要求：A＜B，那么满足这个竖式的除数与商的和是 2020-06-20 …
根据上下文,在下面文字的横线处补写出相应内容.要求语意连贯,表达明确,每处不超过15个字.（6分）“ 2020-11-10 …
如图为《“中国式”过马路》．生活中我们经常会看到类似这样的现象，如不文明旅游、加塞、骂人、遛狗不清理 2020-11-21 …
C语言中调用printf进行输出时需要注意,在格式控制串中,格式说明与输出项的个数必须相同,如果格式 2020-12-14 …
下列各句中，加点词语使用不正确的一句是（）A.最近，卢克索神庙“遭遇”中国游客“到此一游”，这事将“ 2020-12-20 …
2015年“五一”期间，有记者拍到这样的镜头：乱扔垃圾，为抢座位吵架，“中国式过马路”“中国式跨栏” 2020-12-23 …