离散数学教学中关于命题符号化问题的讨论

离散数学是计算机专业的一门重要专业基础课程,数理逻辑是其最复杂内容之一,而将命题符号化是数理逻辑部分的教学重点和难点,本文旨在讨论如何进行准确的命题符号化。