问题标题：
离散数学蕴含公式蕴含公式表中有：┒P,P∨Q→Q为永真式.请问┒P与P∨Q有什么关系,也就是其中的逗号是什么关系?我自学离散数学时遇到不少问题，例如等值公式和蕴含公式如此之多，容易
问题描述：
离散数学蕴含公式
蕴含公式表中有：┒P,P∨Q→Q为永真式.请问┒P与P∨Q有什么关系,也就是其中的逗号是什么关系?
我自学离散数学时遇到不少问题，例如等值公式和蕴含公式如此之多，容易混淆，难以记忆，请问应该如何把握呢？另外在发帖时那些数学符号很难表示，但是又不能发送图片，怎样才能提高问问题的效率呢？
刘家松回答：
是合取
具体意思就是┒P成立并且P∨Q成立（p成立或者q成立）则一定能推出q成立
原因是p或q有一个成立,现在p不成立,则一定能推出q成立
点击显示
数学推荐
热门数学推荐