离散数学蕴含公式蕴含公式表中有：┒P,P∨Q→Q为永真式.请问┒P与P∨Q有什么关系,也就是其中的逗号是什么关系?我自学离散数学时遇到不少问题，例如等值公式和蕴含公式如此之多，容易

　　离散数学蕴含公式

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

　　我自学离散数学时遇到不少问题，例如等值公式和蕴含公式如此之多，容易混淆，难以记忆，请问应该如何把握呢？另外在发帖时那些数学符号很难表示，但是又不能发送图片，怎样才能提高问问题的效率呢？