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