离散数学第二次周记(数理逻辑).docVIP

数理逻辑 一、重要概念及公式： 断言是一句陈述句； 否定词： 合取词: 析取词: 蕴含词: 等值词：； 运算符结合力的强弱顺序为：； ； ； ； ； 若、，则； 若、，则； 若、，则； 一个有基本积之和组成的公式，如果与给定的命题公式A等价，则称它是A的析取范式，记为： 其中运算符最少的称为最简析取范式。 在n个变元的基本积中，若每一个变元与其否定不同时存在，而两者之一必出现一次且仅出现一次，则这种基本积叫极小项。（n个变元可构成 个不同的极小项） 一个由极小项之和组成的公式，如果与给定的命题给定的命题公式A等价，则称它是A的主析取范式。（n个变元可构成 个不同的主析取范式） 在n个变元的基本和中，若每一个变元与其否定不同时存在，而两者之一必出现一次且仅出现一次，则这种基本和叫极大项。（n个变元可构成 个不同的极大项） 二、典型例题： 例1. 证明 方法 1：设是真，则、是真。 所以，Q是假，P是假。 因而是真。 故。 方法 2.设是假，则P是真。以下分情况讨论。 （ i）若Q为真，则是假，所以是假； （ii）若Q是假，则是假，所以是假； 故。 例2.列出的真值表。 真值表如下： P Q 0 0 0 1 1 0 1 1 0 1 1 1 0 0 1 1 1 1 0 0 例3.证明是前提，的有效结论。 证： 步 骤 断 言 根 据 1 P 2 T,1,E14,E1 3 P 4 T,2,3,I6 5 P 6 T,5，E24 7 T,4,6,I6 8 T,7,E1,E14 例 4.证明 证： 在的合取范式中，每一个基本和都是永真式，所以它是永真式。 例 5.求 解： 记 所以 学习总结： 进过一段时间对离散数学的学习，让我们对离散数学了初步的认识。离散数学是我们计算机必修课，离散数学的思想对于计算机网络原理的了解及如何更好的掌握网络技术十分有用。 但要想学好离散数学却又并非一件易事，离散离散的确很离很散，公式及知识点繁多。死记硬背不是十分有效的方法，要将它与生活与自己的专业相联系，就目前所学的内容来看离散的逻辑性很强，稍不注意就容易绕糊涂，所以我们认为学习离散数学需要足够的细心与专心，以及恒心。 刚接触离散感觉挺难得，没有头绪，公式是一边一边忘，感觉很苦恼，但我没有放弃，万事开头难。这个周末在图书馆我静静的看了几个小时的课本，这次我是从书上的例题开始的，不在机械的记忆公式，在做题的过程中理解公式，突然感觉，公式也没有那么难记，重在理解。只有熟练的掌握了公式才能更高效的做题，也只有通过做题才能更好的理解公式。 3