离散数学蕴含公式蕴含公式表中有：┒P,P∨Q → Q为永真式.请问┒P与P∨Q有什么关系,也就是其中的逗号是什么关系?我

来源：学生作业帮编辑：搜搜做题作业网作业帮分类：语文作业时间：2024/08/06 19:16:03

离散数学蕴含公式
蕴含公式表中有：┒P,P∨Q → Q为永真式.请问┒P与P∨Q有什么关系,也就是其中的逗号是什么关系?
我自学离散数学时遇到不少问题，例如等值公式和蕴含公式如此之多，容易混淆，难以记忆，请问应该如何把握呢？另外在发帖时那些数学符号很难表示，但是又不能发送图片，怎样才能提高问问题的效率呢？

是合取
具体意思就是┒P成立并且P∨Q成立（p成立或者q成立）则一定能推出q成立
原因是p或q有一个成立,现在p不成立,则一定能推出q成立

离散数学蕴含公式蕴含公式表中有：┒P,P∨Q → Q为永真式.请问┒P与P∨Q有什么关系,也就是其中的逗号是什么关系?我除非p,否则非q 这句话的逻辑关系是：p蕴含q还是q蕴含p 为什么? 离散数学中过于“P蕴含Q”的真假问题在离散数学中前提是p蕴含q 结论是p蕴含(p且q) 的推理证明离散数学中合式公式的判定、、（P->Q）->(^Q),(P->Q,(P^Q)->Q)为什么不是合式公式. 离散数学的：证明：((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)∨(┐P∧Q),其中PQ为命题公式证明┐（P----Q）(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式证明：P∨Q→R 蕴含（两横的箭头）P∧Q→R 离散数学的等价公式中吸收律P∧(P∨Q)=P的证明?不用真值表, 离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式急