1、前言：想要学会离散数学中的命题符号化问题，我们需要顺序渐进，切勿操之过急，学习需要由易到难，我们这次的学习将按照下面的步骤进行：
（1） 了解什么是命题；
（2） 了解命题和真值得符号化；
（3） 了解形式化语言和联结词；
（4） 通过例子解决命题符号化问题；
2、首先让我们了解一下什么是命题，如下图：
3、了解了命题的含义之后，让我们通过几道例题来熟悉一下概念，如下图：
4、在上图中，有几道题，我们需要更加严谨的分析一下：
• (4)一个句子本身是否能分辨真假与我们是否知道它的真假是两回事，也就是说，对于一个句子，有时我们可能无法判断它的真假，但这个句子本身却是有真假的。
• (5)严格地说，这种含有可变时间的语句不是命题，除非假定了一个确定的时间。同样，除非假定了确定的地点，否则含有可变地点的语句不是命题，除非假定了确定的人，否则含有可变代词的语句不是命题。 在限定讨论范围的前提下，可以把这类陈述句看作是命题。
• 广而言之，凡似是而非或似非而是的论点，与通常见解相对立的论证，思维中出现的各种各样的疑难，乃至普通的自相矛盾的话语，都曾被人们称为悖论。 严格地说，悖论就是一种从某些公认正确的背景知识中逻辑地推导出来的两个相互矛盾的命题的等价式。
5、学习命题和真值的符号化，知识点如下图所示：
6、形式化语言和联结词一览，知识点如下图所示：
7、看合取联结词例题，检验成果：
8、看析取联结词，检验成果：
9、看蕴含联结词，检验成果：
10、看等价联结词，检验成果：
11、通过学习命题符号化，您的灵魂经受了洗礼，您的精神得到了充实，到此您又掌握了新知识，赶紧去活动一下紧绷的身体吧，期待，知识的海洋，你我重逢！
