如何记住离散数学中的推理定律

⑴ 离散数学推理理论

- -！ 一看就知道你没看书

E 就是基本等价关系
I 就是推理定律
P 是你引入的前提
T 是你根据哪段 推出的 就T（n）
主要是你要记住 E I 这些公式 好像有 40条左右吧 化简化简 其实也没多少条 要记的
看点书就行了 看上去复杂 其实很简单的

⑵ 怎样学好离散数学

如何学好离散数学
离散数学是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。离散数学以研究离散量的结构和相互间的关系为主要目标，其研究对象一般地是有限个或可数个元素，因此他充分描述了计算机科学离散性的特点。由于离散数学在计算机科学中的重要性，因此，许多大学都把它作为研究生入学考试的专业课程中的一门，或者是一门中的一部分。
作为计算机系的一门课程，离散数学有与其它课程相通相似的部分，当然也有它自身的特点，现在我们就它作为考试内容时具有的特点作一个简要的分析。
1、定义和定理多。
离散数学是建立在大量定义上面的逻辑推理学科。因而对概念的理解是我们学习这门学科的核心。在这些概念的基础上，特别要注意概念之间的联系，而描述这些联系的实体则是大量的定理和性质。
在考试中的一部分内容就是考察大家对定义和定理的识记、理解和运用。如2002年上海交通大学的试题，问什么是相容关系。如果知道的话，很容易得分；如果不清楚，那么无论如何也得不到分数的。这类型题目往往因其难度低而在复习中被忽视。实际上这是一种相当错误的认识，在研究生入学考试的专业课试题中，经常出现直接考查对某知识点的识记的题目。对于这种题目，考生应该能够准确、全面、完整地再现此知识点。任何的模糊和遗漏，都会造成极为可惜的失分。我们建议读者，在复习的时候，对重要知识的记忆，务必以上面提到的“准确、全面、完整”为标准来要求自己，不能达到，就说明还不过关，还要下工夫。关于这一点，在后续章节中我们仍然会强调，使之贯穿于整个离散数学的复习过程中。
离散数学的定义主要分布在集合论的关系和函数部分，还有代数系统的群、环、域、格和布尔代数中。一定要很好地识记和理解。
2、方法性强。
离散数学的证明题中，方法性是非常强的，如果知道一道题用怎样的方法证明，很轻易就可以证出来，反之则事倍功半。所以在平常复习中，要善于总结，那么遇到比较陌生的题也可以游刃有余了。在本书中，我们为读者总结了不少解题方法。读者首先应该熟悉并且会用这些方法。同时我们还鼓励读者勤于思考，对于一道题，尽可能地多探讨几种解法。
3、有穷性。
由于离散数学较为“呆板”，出新题比较困难，不管什么考试，许多题目是陈题，或者稍作变化的来的。“熟读唐诗三百首，不会做诗也会吟。”如果拿到一本习题集，从头到尾做过，甚至背会的话。那么，在考场上就会发现绝大多数题见过或似曾相识。这时，要取得较好的成绩也就不是太难的事情了。
本书是专门针对研究生入学考试而编写的，适合于读者对研究生入学考试的复习。如果还有时间的话，我们可以推荐两本习题集。一本是左孝凌老师等编写的《离散数学理论、分析、题解》，另一套有三本，是耿素云老师等编写的《离散数学习题集》。这两套书大多数题都是相同的，只是由于某些符号和定义的不同，使得题目的设定和解法有些不同而已。
现在我们就分析一下研究生入学考试有哪些题型，以及我们应如何应付。
1、基础题
基础题就是考察对定义的识记，以及简单的证明和推理。题目主要集中在数理逻辑部分和集合论部分。这些题目不需要思考，很容易上手。
这一部分的题目主要问题是要防止粗心大意和对定义记忆似是而非而丢的分数。不重视这一点的人将会在考试中吃大亏。如在主合取范式中，极大项编码对应的指派与真值表对应的指派相反，这一点在许多的参考书里也会犯错误；还有是要防止没有按照一定的方法而引起的错误，如我们在数理逻辑或者集合论里作等价推演，可以省略若干不重要的步骤，只要老师和考生都清楚就可以了，而在推理理论里则不能省略任何步骤，否则被认为是逻辑错误。
我们在学习中，还要注意融会贯通，例如，数理逻辑和集合论是相通的，因此记忆或者总结方法的时候可以综合起来，这样便于比较和理解。
2、定理应用题
本部分是最“死”的一部分，它主要体现了离散数学的方法性强的特点。并且这一部分占了考试内容的大部分，我们必须在这一部分下功夫，记住了各种方法，也就拿到了离散数学的大部分分数。
下面我们就列出常用的几种应用：
●证明等价关系：即要证明关系有自反、对称、传递的性质。
●证明偏序关系：即要证明关系有自反、反对称、传递的性质。（特殊关系的证明就列出来两种，要证明剩下的几种只需要结合定义来进行）。
●证明满射：函数f：XY，即要证明对于任意的yY，都有xX，使得f(x)=y。
●证明入射：函数f：XY，即要证明对于任意的x1、x2X，且x1≠x2，则f(x1) ≠f(x2)；或者对于任意的f(x1)=f(x2)，则有x1=x2。
●证明集合等势：即证明两个集合中存在双射。有三种情况：第一、证明两个具体的集合等势，用构造法，或者直接构造一个双射，或者构造两个集合相互间的入射；第二、已知某个集合的基数，如果为א，就设它和R之间存在双射f，然后通过f的性质推出另外的双射，因此等势；如果为א0，则设和N之间存在双射；第三、已知两个集合等势，然后再证明另外的两个集合等势，这时，先设已知的两个集合存在双射，然后根据剩下题设条件证明要证的两个集合存在双射。
●证明群：即要证明代数系统封闭、可结合、有幺元和逆元。（同样，这一部分能够作为证明题的概念更多，要结合定义把它们全部搞透彻）。
●证明子群：虽然子群的证明定理有两个，但如果考证明子群的话，通常是第二个定理，即设<G,*>是群，S是G的非空子集，如果对于S中的任意元素a和b有a*b-1S,则<S,*>是<G,*>的子群。对于有限子群，则可考虑第一个定理。
●证明正规子群：若<G,*>是一个子群，H是G的一个子集，即要证明对于任意的aG，有aH=Ha，或者对于任意的hH，有a-1 *h*aH。这是最常见的题目中所使用的方法。
●证明格和子格：子格没有条件，因此和证明格一样，证明集合中任意两个元素的最大元和最小元都在集合中。
图论虽然方法性没有前几部分的强，但是也有一定的方法，如最长路径法、构造法等等。
3、难题
难题就是考试中比较难以下手，大多考生作不出来，用来拉开分数档次的题。那么，遇到难题我们怎么下手分析呢？
难题主要有以下四种，我们来逐一进行分析：
①综合题
综合题就是内容涵盖若干章的问题，这样的题大多数是在群论里面的陪集、拉格朗日定理、正规子群、商群这一部分中。这一部分结合的内容很多，而且既复杂又难理解，是整个离散数学中的难点。
首先拉格朗日定理把群和等价关系、划分结合在一起，又与群的阶数相挂钩（在子群中有一部分阶方面的题是比较难的题，它的解法依据就在此处）；然后商群将两个群结合在一起，因为两个群的元素是不同的，因此必须时刻概念清楚才不至于混乱；接着同余关系把群和关系相结合，定义了一种新的关系；自然同态把正规子群和商群相联系，也成为某些证明题的着眼处；核的定义和群同态定理给出了正规子群的另一种证明方法，因为核就是正规子群……
当然，综合题不仅此一处，离散数学是一个融会贯通的学科，像集合论，图论等都可能成为综合题的命题点。
对于综合题，我们可以从两方面下手，首先不管题设如何，看所要证明的问题，按照定理应用的题型着眼，设出所需要的格式，然后进行进一步推演；其次可以先看题设，应用已知条件的性质定理向前推几步，看看哪一个性质更能够接近所问，题目也就迎刃而解了。
②例外题
例外题有两个含义，首先是对于定理应用题而言的，对于一个概念的判定定理和性质定理不是唯一的，而定理应用题是给出的是最常出题的定理，因此有的考题可能考出一个不常用的定理。
其次例外题还有一种题型是与我们平常思维相悖的问题，如：有一些题目给出一个结论，说如果它正确的话请指出来，错误的话则请证明，凭做题经验通常是要选择证明的那条思路。其实也不妨用一些时间看看能不能指出来，从而不用证明。请看下面的例子：
③ 偏题
常常有的参考书会说某某章是非重点，不会考到之类的话，这是非常错误和有害的。其结果是令这些章成为读者复习中的盲点，成为难题的又一种。这些章通常概念少，定理不多，因此题目本身不难。但由于没有好好复习或者根本没有复习，考试中又出了题目，故此拿不到分数则是非常令人懊丧的。所以我们建议读者进行全面复习，除非是所报考院校明确说明不考的部分，其余内容一律要认真复习。即使是复习时间比较少，也必须做到至少是了解了基本概念和定义。对于离散数学而言，函数一章中的基数部分和格和布尔代数一章是人们容易忽略的问题。
我们平时复习的时候，不管是什么课程，一定不能留死角，而这些地方出的题目由于它的本身内容的局限性，又往往是非常简单的。丢了十分可惜。
④ 错题
专业课的题目是由较少老师出的，并不像基础课那样经过多方面的论证，因此出错题也不奇怪（虽然非常非常之少），如果我们遇到了一道题目，经过我们判断和推演得到相悖的答案，不要过分迷信题目的权威性，因为它可能是错题。

下面讲一下离散证明题的证明方法：
1、直接证明法
直接证明法是最常见的一种证明的方法，它通常用作证明某一类东西具有相同的性质，或者符合某一些性质必定是某一类东西。
直接证明法有两种思路，第一种是从已知的条件来推出结论，即看到条件的时候，并不知道它怎么可以推出结论，则可以先从已知条件按照定理推出一些中间的条件（这一步可能是没有目的的，要看看从已知的条件中能够推出些什么），接着，选择可以推出结论的那个条件继续往下推演；另外一种是从结论反推回条件，即看到结论的时候，首先要反推一下，看看从哪些条件可以得出这个结论（这一步也可能是没有目的的，因为并不知道要用到哪个条件），以此类推一直到已知的条件。通常这两种思路是同时进行的。
2、反证法
反证法是证明那些“存在某一个例子或性质”，“不具有某一种的性质”，“仅存在唯一”等的题目。
它的方法是首先假设出所求命题的否命题，接着根据这个否命题和已知条件进行推演，直至推出与已知条件或定理相矛盾，则认为假设是不成立的，因此，命题得证。
3、构造法
证明“存在某一个例子或性质”的题目，我们可以用反证法，假设不存在这样的例子和性质，然后推出矛盾，也可以直接构造出这么一个例子就可以了。这就是构造法，通常这样的题目在图论中多见。值得注意的是，有一些题目其实也是本类型的题目，只不过比较隐蔽罢了，像证明两个集合等势，实际上就是证明“两个集合中存在一个双射”，我们即可以假设不存在，用反证法，也可以直接构造出这个双射。
4、数学归纳法
数学归纳法是证明与自然数有关的题目，而且这一类型的题目可以递推。作这一类型题目的时候，要注意一点就是所要归纳内容的选择。

⑶ 离散数学知识点有哪些

离散数学知识点介绍如下：

1、→，前键为真，后键为假才为假；＜—＞，相同为真，不同为假。

2、主析取范式：极小项（m)之和；主合取范式：极大项（M)之积。

3、求极小项时，命题变元的肯定为1，否定为0，求极大项时相反。

4、求极大极小项时，每个变元或变元的否定只能出现一次，求极小项时变元不够合取真，求极大项时变元不够析取假。

5、求范式时，为保证编码不错，命题变元最好按P，Q，R的顺序依次写。

6、真值表中值为1的项为极小项，值为0的项为极大项。

7、n个变元共有个极小项或极大项，这为（0~-1)刚好为化简完后的主析取加主合取。

8、永真式没有主合取范式，永假式没有主析取范式。

9、推证蕴含式的方法（=>)：真值表法；分析法（假定前键为真推出后键为真，假定前键为假推出后键也为假）。

10、命题逻辑的推理演算方法：P规则，T规则。

⑷ 用离散数学的推理规则怎么证明，P→Q,(￢Q∨R) ∧￢R,￢(￢P∧S)=>￢S

综述：因为￢Q∨R = Q→R,并且￢（￢P∧S) = P∨￢S =￢S∨P = S→P,所以这儿看上去给定4个前提S→P, P→Q, Q→R和￢R要去证￢S.前3个前提蕴含S→R.又根据第4个前提，所以￢S。

离散数学（Discrete mathematics）是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素，主要是研究基于离散量的结构和相互间的关系，其对象一般是有限个或可数个元素。离散数学在各学科领域，特别在计算机科学与技术领域有着广泛的应用。

发展

随着信息时代的到来，工业革命时代以微积分为代表的连续数学占主流的地位已经发生了变化，离散数学的重要性逐渐被人们认识。离散数学课程所传授的思想和方法，广泛地体现在计算机科学技术及相关专业的诸领域，从科学计算到信息处理，从理论计算机科学到计算机应用技术，从计算机软件到计算机硬件，从人工智能到认知系统，无不与离散数学密切相关。

⑸ 离散数学基本知识

总结 离散数学知识点 命题逻辑
→，前键为真，后键为假才为假；<—>，相同为真，不同为假；
主析取范式：极小项(m)之和；主合取范式：极大项(M)之积；
求极小项时，命题变元的肯定为1，否定为0，求极大项时相反；
求极大极小项时，每个变元或变元的否定只能出现一次，求极小项时变元不够合取真，求极大项时变元不够析取假；
求范式时，为保证编码不错，命题变元最好按P,Q,R的顺序依次写；
真值表中值为1的项为极小项，值为0的项为极大项；
n个变元共有个极小项或极大项，这为(0~-1)刚好为化简完后的主析取加主合取；
永真式没有主合取范式，永假式没有主析取范式；
推证蕴含式的方法(=>)：真值表法；分析法(假定前键为真推出后键为真，假定前键为假推出后键也为假)
10.命题逻辑的推理演算方法：P规则，T规则 ①真值表法；②直接证法；③归谬法；④附加前提法； 谓词逻辑
一元谓词：谓词只有一个个体，一元谓词描述命题的性质； 多元谓词：谓词有n个个体，多元谓词描述个体之间的关系；
全称量词用蕴含→，存在量词用合取^;
既有存在又有全称量词时，先消存在量词，再消全称量词； 集合
N，表示自然数集，1,2,3……，不包括0；
基：集合A中不同元素的个数，|A|；
幂集：给定集合A，以集合A的所有子集为元素组成的集合，P(A)；
若集合A有n个元素，幂集P(A)有个元素，|P(A)|==；
集合的分划：(等价关系) ①每一个分划都是由集合A的几个子集构成的集合； ②这几个子集相交为空，相并为全(A)；
集合的分划与覆盖的比较： 分划：每个元素均应出现且仅出现一次在子集中； 覆盖：只要求每个元素都出现，没有要求只出现一次； 关系
若集合A有m个元素，集合B有n个元素，则笛卡尔A×B的基数为mn，A到B上可以定义种不同的关系；
若集合A有n个元素，则|A×A|=，A上有个不同的关系；

⑹ 离散数学课本的推理理论

如果我上街，我必去新华书店 p→q

我没有上街，所以我没有去新华书店。放在语境里,
前提是:我没有上街，推理是:p→q 充分条件推理 于是有 :p→q)∧┒p
结论:所以我没有去新华书店。 ┒p
即((p→q)∧┒p)→┒q

你的第三个问题 在于 两句用的是分号,不是独立成立,是联系成立.
答毕

⑺ 学习计算机数学基础的离散数学要记住哪些公式啊

三、离散数学

1、数理逻辑：

（1）命题及其符号化。 （2）命题公式及其分类。 （3）命题逻辑等值演算。 （4）范式。 （5）命题逻辑推理理论。 （6）谓词与量词。 （7）谓词公式与解释。 （8）谓词公式的分类。 （9）谓词逻辑等值演算与前束范式。 （10）谓词逻辑推理理论。

2、集合论：

（1）集合及其表示。 （2）集合的运算。 （3）有序对与笛卡尔积。 （4）关系及其表示法。 （5）关系的运算。 （6）关系的性质。 （7）关系的闭包。 （8）复合关系与逆关系。 （9）等价关系与偏序关系。 （10）函数及其性质。 （11）反函数与复合函数。

3、代数系统：

（1）代数运算及其性质。 （2）同态与同构。 （3）半群与群。 （4）子集与陪集。 （5）正规子群与商群。 （6）循环群与置换群。 （7）环与域。 （8）格与布尔代数。

4、图论：

（1）无向图与有向图。 （2）路、回路与图的连通性。 （3）图的矩阵表示。 （4）最短路径与关键路径。 （5）二部图。 （6）欧拉图与哈密尔顿图。 （7）平面图。 （8）树与生成树。 （9）根树及其应用。

⑻ 离散数学中常用的命题定律需要熟记吗

命题公式很重要，到后面谓词公式，集合公式等，都与此相似，原理相仿，建议你打好基础

⑼ 怎么学好离散数学

如何学好离散数学
离散数学是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。离散数学以研究离散量的结构和相互间的关系为主要目标，其研究对象一般地是有限个或可数个元素，因此他充分描述了计算机科学离散性的特点。由于离散数学在计算机科学中的重要性，因此，许多大学都把它作为研究生入学考试的专业课程中的一门，或者是一门中的一部分。
作为计算机系的一门课程，离散数学有与其它课程相通相似的部分，当然也有它自身的特点，现在我们就它作为考试内容时具有的特点作一个简要的分析。
1、定义和定理多。
离散数学是建立在大量定义上面的逻辑推理学科。因而对概念的理解是我们学习这门学科的核心。在这些概念的基础上，特别要注意概念之间的联系，而描述这些联系的实体则是大量的定理和性质。
在考试中的一部分内容就是考察大家对定义和定理的识记、理解和运用。如2002年上海交通大学的试题，问什么是相容关系。如果知道的话，很容易得分；如果不清楚，那么无论如何也得不到分数的。这类型题目往往因其难度低而在复习中被忽视。实际上这是一种相当错误的认识，在研究生入学考试的专业课试题中，经常出现直接考查对某知识点的识记的题目。对于这种题目，考生应该能够准确、全面、完整地再现此知识点。任何的模糊和遗漏，都会造成极为可惜的失分。我们建议读者，在复习的时候，对重要知识的记忆，务必以上面提到的“准确、全面、完整”为标准来要求自己，不能达到，就说明还不过关，还要下工夫。关于这一点，在后续章节中我们仍然会强调，使之贯穿于整个离散数学的复习过程中。
离散数学的定义主要分布在集合论的关系和函数部分，还有代数系统的群、环、域、格和布尔代数中。一定要很好地识记和理解。
2、方法性强。
离散数学的证明题中，方法性是非常强的，如果知道一道题用怎样的方法证明，很轻易就可以证出来，反之则事倍功半。所以在平常复习中，要善于总结，那么遇到比较陌生的题也可以游刃有余了。在本书中，我们为读者总结了不少解题方法。读者首先应该熟悉并且会用这些方法。同时我们还鼓励读者勤于思考，对于一道题，尽可能地多探讨几种解法。
3、有穷性。
由于离散数学较为“呆板”，出新题比较困难，不管什么考试，许多题目是陈题，或者稍作变化的来的。“熟读唐诗三百首，不会做诗也会吟。”如果拿到一本习题集，从头到尾做过，甚至背会的话。那么，在考场上就会发现绝大多数题见过或似曾相识。这时，要取得较好的成绩也就不是太难的事情了。
本书是专门针对研究生入学考试而编写的，适合于读者对研究生入学考试的复习。如果还有时间的话，我们可以推荐两本习题集。一本是左孝凌老师等编写的《离散数学理论、分析、题解》，另一套有三本，是耿素云老师等编写的《离散数学习题集》。这两套书大多数题都是相同的，只是由于某些符号和定义的不同，使得题目的设定和解法有些不同而已。
现在我们就分析一下研究生入学考试有哪些题型，以及我们应如何应付。
1、基础题
基础题就是考察对定义的识记，以及简单的证明和推理。题目主要集中在数理逻辑部分和集合论部分。这些题目不需要思考，很容易上手。
这一部分的题目主要问题是要防止粗心大意和对定义记忆似是而非而丢的分数。不重视这一点的人将会在考试中吃大亏。如在主合取范式中，极大项编码对应的指派与真值表对应的指派相反，这一点在许多的参考书里也会犯错误；还有是要防止没有按照一定的方法而引起的错误，如我们在数理逻辑或者集合论里作等价推演，可以省略若干不重要的步骤，只要老师和考生都清楚就可以了，而在推理理论里则不能省略任何步骤，否则被认为是逻辑错误。
我们在学习中，还要注意融会贯通，例如，数理逻辑和集合论是相通的，因此记忆或者总结方法的时候可以综合起来，这样便于比较和理解。
2、定理应用题
本部分是最“死”的一部分，它主要体现了离散数学的方法性强的特点。并且这一部分占了考试内容的大部分，我们必须在这一部分下功夫，记住了各种方法，也就拿到了离散数学的大部分分数。
下面我们就列出常用的几种应用：
●证明等价关系：即要证明关系有自反、对称、传递的性质。
●证明偏序关系：即要证明关系有自反、反对称、传递的性质。（特殊关系的证明就列出来两种，要证明剩下的几种只需要结合定义来进行）。
●证明满射：函数f：X??Y，即要证明对于任意的y??Y，都有x??X，使得f(x)=y。
●证明入射：函数f：X??Y，即要证明对于任意的x1、x2??X，且x1≠x2，则f(x1) ≠f(x2)；或者对于任意的f(x1)=f(x2)，则有x1=x2。
●证明集合等势：即证明两个集合中存在双射。有三种情况：第一、证明两个具体的集合等势，用构造法，或者直接构造一个双射，或者构造两个集合相互间的入射；第二、已知某个集合的基数，如果为??，就设它和R之间存在双射f，然后通过f的性质推出另外的双射，因此等势；如果为??0，则设和N之间存在双射；第三、已知两个集合等势，然后再证明另外的两个集合等势，这时，先设已知的两个集合存在双射，然后根据剩下题设条件证明要证的两个集合存在双射。
●证明群：即要证明代数系统封闭、可结合、有幺元和逆元。（同样，这一部分能够作为证明题的概念更多，要结合定义把它们全部搞透彻）。
●证明子群：虽然子群的证明定理有两个，但如果考证明子群的话，通常是第二个定理，即设<G,*>是群，S是G的非空子集，如果对于S中的任意元素a和b有a*b-1??S,则<S,*>是<G,*>的子群。对于有限子群，则可考虑第一个定理。
●证明正规子群：若<G,*>是一个子群，H是G的一个子集，即要证明对于任意的a??G，有aH=Ha，或者对于任意的h??H，有a-1 *h*a??H。这是最常见的题目中所使用的方法。
●证明格和子格：子格没有条件，因此和证明格一样，证明集合中任意两个元素的最大元和最小元都在集合中。
图论虽然方法性没有前几部分的强，但是也有一定的方法，如最长路径法、构造法等等。
3、难题
难题就是考试中比较难以下手，大多考生作不出来，用来拉开分数档次的题。那么，遇到难题我们怎么下手分析呢？
难题主要有以下四种，我们来逐一进行分析：
①综合题
综合题就是内容涵盖若干章的问题，这样的题大多数是在群论里面的陪集、拉格朗日定理、正规子群、商群这一部分中。这一部分结合的内容很多，而且既复杂又难理解，是整个离散数学中的难点。

⑽ 离散数学这些推理定律是怎么来的

P 是指 前提（Premise），即前提引入，引入的题设前提一定是永真的。
T 是指 重言(永真)式（Tautology），T(1)(2)就是说 (1)(2)是永真的。
I 是指 蕴涵式（Implication），即推理定律，比如假言三段论、构造性二难等，有 9 条，标注为 I1～I9。上面的 I3、I4 分别表示 假言推理和拒取式。