离散数学 课程导论

        由于大学课程上网课，本来应该考试的离散数学，改为了写作课程报告，但因为书本和老师上课的内容缺少对知识归纳性的概括和总结，因此，这里归纳了书本第一部分，数理逻辑和第三部分，代数系统的主要内容和理解，第三部分会接下来发出。
        本文适合尚未开始学习离散数学的人浏览，也适合学习过后对于知识无法融会贯通的人拿来梳理逻辑。
第一部分 数理逻辑
        可以通过具体实例来概括第一章的主要内容，就拿最简单的苏格拉底三段论来说。①苏格拉底是人。②人都是会死的。③苏格拉底会死。其中①和②是条件，③是结论。根据日常的生活可知，这句话是肯定正确的，但是显然成立并不能用来证明一个命题，因此，为了说明这个证明是正确的，需要用到数字逻辑。
        首先，需要引入的概念是命题，命题是非真即假的陈述句，也就是说，生活中可以判断真假的陈述句都可以称为命题，并且根据这句话的真假分为真命题和假命题，苏格拉底三段论也都是真命题。之后需要引入的概念是推理，根据书中的定义是从前提出发推出结论的思维过程，很显然，在此处需要用①②两个条件证明③这个结论。当得出③在①②的条件下是永远正确的时候，就可以说明这个推理是正确的，或者说是有效的。但是这个证明过程要如何展开呢？我们要借助数学的方法证明，但是在证明之前，必须先用数学的语言来描述这些自然语言，这个过程叫做命题符号化。
        先看条件①，苏格拉底是人。从语文的角度来理解，这句话由一个主语（苏格拉底）和一个谓语（是人）构成，在命题符号化的时候，也有相应的词语来替代，分别为个体词和谓词。个体词，其定义为所研究对象中可以独立存在的具体的或抽象的客体。可以理解为对于名词来说，在符号化后应该转变为个体词，除此之外，还需要有一个符号来表示某个个体词，这里按照惯例选用字母a代指苏格拉底，此时苏格拉底也可以叫做对a的解释。谓词是用来刻画个体词性质及个体词之间相互关系的词，可以方便的理解为是语文中的谓语，它同样需要一个字母来表示，通常按照惯例选用F，谓词可以作用于多个个体词，这里的谓词作用于一个个体词，即$a：苏格拉底$，所以它是一元谓词，我们可以写作$F(x)$，它的解释为$F(x):x是人$。所以条件①可以命题符号化为$F(a)$，其解释$为a：苏格拉底$; $F(x):x$是人。
        再看条件②，人都是会死的，这句话从语文的角度来理解，同样存在一个主语（人）和一个谓语（是会死的），在命题符号化的时候，需要定义谓词 G ( x ) : x G(x):x