p V (p->q)
p V (非p V q)
1
P->(Q->P)
非p V (q->p)
非p V (非q V p)
1
非p->(p->q)p->(q->p)
有关离散数学P->(Q->P)原题是这样的非P->(P->Q)P->(Q->P)请问是怎么样证明的?
1个回答
相关问题
-
离散数学问题P→(P∧(Q→P))
-
证明：(p→q)∧(q→p)＜＝＞(p∨q)→(q∧p),其中p,q都是命题公式.
-
离散数学命题证明题 前提:p→s,q→r,p∨q,┘r 结论:r
-
用“p→q=~p∨q”证明：（p→q）∧（q→r）=> p→r
-
离散数学中合式公式的判定、、（P->Q）->(^Q),(P->Q,(P^Q)->Q)为什么不是合式公式.
-
离散数学的：证明：((Q∧R)→S)∧(R→(P∨S)⇔(R∧(P→Q))→S,其中P,Q,R,S为命题公式
-
设P、Q是两个非空集合,定义P-Q=｛x|x∈P,且x不属于Q｝,求P-(P-Q),并猜测P-(P-Q)与Q-(Q-P)
-
高一数学p或q、p且q、非p的含义
-
证明：p→（q→p）等价于 非p→（p→非q）.希望能将过程写的详细一点,
-
一个科学（9）问题!P Q!P Q!P Q!P Q!P Q!P Q!P Q!