是合取
具体意思就是┒P成立并且P∨Q成立（p成立或者q成立）则一定能推出q成立
原因是p或q有一个成立,现在p不成立,则一定能推出q成立
离散数学蕴含公式蕴含公式表中有：┒P,P∨Q → Q为永真式.请问┒P与P∨Q有什么关系,也就是其中的逗号是什么关系?我
1个回答
相关问题
-
离散数学中合式公式的判定、、（P->Q）->(^Q),(P->Q,(P^Q)->Q)为什么不是合式公式.
-
除非p,否则非q 这句话的逻辑关系是：p蕴含q还是q蕴含p 为什么?
-
离散数学的：证明：((Q∧R)→S)∧(R→(P∨S)⇔(R∧(P→Q))→S,其中P,Q,R,S为命题公式
-
证明：(p→q)∧(q→p)＜＝＞(p∨q)→(q∧p),其中p,q都是命题公式.
-
P为任意合式公式,Q：为矛盾式.则P ∧ Q是（ ） A．矛盾式 B．可满足式 C．蕴含式 D．重言式
-
有关离散数学P->(Q->P)原题是这样的非P->(P->Q)P->(Q->P)请问是怎么样证明的?
-
离散数学小知识((非P→Q)→(Q→P))不是合式公式,它说括弧不配对,为什么?怎么判断合式公式?
-
表解题:用真值表确定 p∨q和（p∨q）之间的关系.
-
离散数学 求公式-(-Q∧(P->Q)) 的合取主范式. 求教
-
离散数学问题P→(P∧(Q→P))