早教吧作业答案频道 -->数学-->
离散数学的一个证明题,证明：┐(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）
看了离散数学的一个证明题,证明：┐...的网友还看了以下：
已知a>0,设命题p:函数y=a^x为减函数,命题q:当x[1/2,2]时,y=x+1/x>1/a 2020-05-17 …
已知A是三角形ABC内角,命题p:sinA=1/2；命题q：cosA=√3/2已知A是三角形ABC 2020-07-09 …
已知命题p关于X的方程x^2-ax+4=0有实根,命题q关于X的函数y=2x^2+ax+4在[3, 2020-07-29 …
1：已知命题P：∃x∈R,cosx=4分之5,命题q:∀x∈R,x²-x+1＞0,则下列结论正确的 2020-08-01 …
已知实数a＞1，命题P：函数y=log12(x2+2x+a)的定义域为R，命题q：x2＜1是x＜a 2020-08-01 …
已知复合命题“p或q”为真命题，“p且q”为假命题，下列三个结论：(1)p与q均为假命题；(2)q 2020-08-01 …
一道高二数学命题的题（算了半天和答案对不上,求教!）命题p：函数F（X）=x³-ax²-1在区间[- 2020-11-25 …
已知命题p：x∈R，使；命题q：x∈R，都有x2+x+1＞0．给出下列结论：①命题“p∧q”是真命题 2020-12-23 …
如果命题“p且q”是假命题，那么（）A．命题“非p”与“非q”的真假不同B．命题“非p”与“非q”至 2021-01-01 …
命题p：若a、b∈R，则|a|+|b|＞1是|a+b|＞1的充分而不必要条件；命题q：函数y=|x− 2021-01-13 …