离散数学是计算机科学中重要的基础理论之一，同时也是培养学生缜密的思维、提高学生素质的核心课程.在离散数学的教学中，解题方法起着特殊而重要的作用.通过解题方法的训练，理论联系实际，可以培养学生综合分析问题的能力.
命题符号化是离散数学的一个重要分支——数理逻辑的基础内容.命题符号化的正确与否，会直接影响到逻辑推理的可行性和正确性.对给定命题进行符号化就是要把该命题表达成合乎规定的命题表达式，因此在具体表达时，首先要列出原子命题，然后根据给定命题的含义，把所设的原子命题用适当的联结词连接起来.在教学过程中发现，学生在确定原子命题和选用联结词这两个关键步骤上往往容易出错，常见的错误包括：把简单命题符号化为复合命题、混淆联结词，，的使用场合，以及在使用联结词→时颠倒了前件和后件等.这些错误类型在学生中相当普遍，几乎每届学生都会出现，甚至离散数学经典教材的配套习题解答书在该类问题上也犯了以上错误.由此可见，探索如何有效解决这一教学问题显得很有必要.
根据多年的教学发现，对具体题目的简单批改和纠正效果并不明显，因为这样做只是让学生“知其然”，未能从本质上认识错误，在遇到变化过的题目时学生还会困惑.只有从本质上剖析错误原因，找出避免错误的技巧和方法，让学生“知其所以然”，才能从根本上帮助学生杜绝错误的发生.在教学过程中总结了三种方法：真值表法、类比法和平衡主谓法.下面结合具体的例子来进行阐述.
1、真值表法
在命题符号化时，如果不能确定用哪个联结词，可以采用真值表法：首先列出所有可能的命题公式的真值表，然后比较原命题的含义与这些命题公式的真值情况，最后根据比较结果来确定联结词.
常用的联结词有：，，，→，，，，↑，↓等.其中，学生在使用过程中最容易混淆的是，，.
左孝凌等编写的《离散数学》在国内颇具影响，许多高校将它用作本科生和研究生的教材.对于该书的第1章第3节习题(7)中的命题(a)的符号化，配套的习题解答书，也犯了这类错误：命题(a)为“假如上午不下雨，我去看电影，否则就在家里读书或看报.”其给出的解答是“设P：上午下雨.Q：我去看电影.R：我在家里读书.S：我在家里看报.则该命题可符号化为
以上三种解答代表了的三种不同理解.为了判断究竟哪种解法正确，可以采用如下真值表法.
首先，列出命题公式(1)、(2)、(3)的真值表(为了简化表格，不妨令W=RS)，如表1所示.
对照命题(a)的原意不难发现，当以下两种情况发生时，命题(a)为假.
1)上午没下雨，但我没去看电影(即P=F，Q=F)；2)上午下雨，但我没在家里读书或看报(即P=T，W=F).
情况1)对应于表1的7、8两列，情况2)对应于表1的2、4两列，在这四列中，命题公式(1)、(3)的真值为T，命题公式(2)的真值为F，所以，命题公式(2)符合要求.
2、类比法
在使用条件联结词→符号化命题时，若不确定将哪部分作为前件、哪部分作为后件，可以采用类比法：把原命题与自己熟悉的句式作比较，先“翻译”成熟悉的句式，再确定前后件.
条件命题P→Q表示“如果命题P成立，那么命题Q成立.”其中，P称为前件，Q称为后件，P是Q的充分条件，Q是P的必要条件.可以用条件命题表示的句式很多，除了“如果…，那么…”外，还有“若…，则…”，“只要…，就…”，“只有…，才…”，“因为…，所以…”，“…，仅当…”，“除非…，才…”，“除非…，否则非…”，“…，除非…”等.学生在解题过程中经常出现的主要错误是颠倒了前件和后件.
为了避免这样的错误，首先把(a“)只要P，就Q”，(b“)只有P，才Q”，作为两个典型句式重点讲解，让学生理解：在句式(a)中，P是Q的充分条件，应符号化为P→Q；在句式(b)中，P是Q的必要条件，应符号化为Q→P.然后要求学生在处理其它句式时，先将该句式“翻译”成句式(a)或(b)，再进行符号化.
例如，设P：我有空.Q：我将上街.则命题“除非我有空，我才会上街.”可以“翻译”成“只有我有空，我才会上街.”因而可以符号化为Q→P.而命题“我将上街，除非我没空.”可以“翻译”成“只要我有空，我就会上街.”，因而原命题可以符号化为P→Q.
事实上，上文提到的一些句式都能“翻译”成句式(a)或(b)，其“翻译”和符号化结果如表2所示.
3、平衡主谓法
在对命题进行符号化时，如果遇到主语是“A和B”或“A与B”等表示多人(或物)的形式时，若不确定该命题是简单命题还是复合命题，可以采用平衡主谓法.分析谓语的性质，如果谓语也是多人(或物)间的关系或者需要多人(或物)共同完成的一件事情，则该命题是一个简单命题；否则该命题就是复合命题，应被分解成多个简单命题并用联结词连接.
例如，在命题“小王和小李是同学”中，同学是一种关系，所以该命题是一个简单命题.而另一个命题“小王和小李是三好生”中，三好生就不是关系，因此该命题应符号化为PQ(其中，P：小王是三好生,Q：小李是三好生).
4、结论
对于数理逻辑这个学科分支来说，命题符号化是基础也是难点，初次接触的学生不容易完全掌握.以上提出的三种方法，希望能对学生有所帮助，给同仁有所借鉴.当然，命题符号化的题目形式千变万化，在教学过程中还应该注重培养学生的灵活性以及归纳和创新的能力.
参考文献：
[1]左孝凌，李为鑑，刘永才.离散数学[M].上海：上海科学技术文献出版社，2007：1-12.
[2]左孝凌，李为鑑，刘永才.离散数学——理论分析题解[M].上海：上海科学技术文献出版社，2005：19-64.
[3]于晶晶，张爱琴，彭程.离散数学——全程导学及习题全解[M].北京：中国时代经济出版社，2007：12-15..
[4]何锋.离散数学教学中的命题符号化难点讨论[J].计算机教育，2007(S)：38-40.
[5]陈敬华，胡松林.关于命题逻辑中两个问题的思考[J].湖北师范学院学报：自然科学版，2011，31(4)：103-106.
[6]唐金文.解析命题符号化[J].曲靖师范学院学报，2002，21(6)：71-73.
