今天装修百科网给各位分享数理逻辑起什么作用教案的知识，其中也会对离散数学在那些专业中有应用，具体是什么？(离散数学在那些专业中有应用,具体是什么)进行解释，如果能碰巧解决你现在面临的问题，别忘了关注本站，现在我们开始吧！

离散数学在那些专业中有应用，具体是什么？

离散数学简介 离散数学是现代数学的一个重要分支，也是计算机科学与技术的理论基础。离散数学是计算机专业课程的基础，是数据结构、编译原理、程序设计语言、数据库原理、操作系统、人工智能、算法分析与设计等课程必不可少的前行课程。通过对离散数学的学习，不仅使学生掌握进一步学习其他课程所必需的离散量的结构及其相互关系的数学知识，同时还培养了学生的抽象思维能力和严密的逻辑推理能力，另外还增强了学生使用学过的离散数学知识进行分析和解决问题的能力。 离散数学包括数理逻辑、集合论、代数结构、图论、形式语言、自动机和计算几何等。本课程主要介绍其中的数理逻辑和集合论部分。 数理逻辑是研究推理逻辑规则的一个数学分支，它采用数学符号化的方法，给出推理规则来建立推理体系。进而讨论推理体系的一致性、可靠性和完备（全）性等。数理逻辑的研究内容是两个演算加四论，具体为命题演算、谓词演算、集合论、模型论、递归论和证明论。数理逻辑是形式逻辑与数学相结合的产物。但数理逻辑研究的是各学科（包括数学）共同遵从的一般性的逻辑规律，而各门学科只研究自身的具体规律。 集合论可看作数理逻辑的一个分支，也是现代数学的一个**分支，它是各个数学分支的共同语言和基础。集合论是关于无穷集和超穷集的数学理论。古代数学家就已接触到无穷概念，但对无穷的本质缺乏认识。为微积分寻求严密的基础促使实数集结构的研究，早期的工作都与数集或函数集相关联。集合论已在计算机科学、人工智能学科、逻辑学、经济学、语言学和心理学等方面起着重要的应用。

数理逻辑是啥？

数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。

所谓数学方法就是指数学采用的一般方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法。

用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨，他认为经典的传统逻辑必须改造和发展，是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。

简而言之，数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代，而数理逻辑在其中将会起到很关键的作用。

逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。

数理逻辑包括:“命题演算”和“谓词演算”。

如果我们把命题看作运算的对象，如同代数中的数字、字母或代数式，而把逻辑连接词看作运算符号，就象代数中的“加、减、乘、除”那样，那么由简单命题组成复和命题的过程，就可以当作逻辑运算的过程，也就是命题的演算。

这样的逻辑运算也同代数运算一样具有一定的性质，满足一定的运算规律。例如满**换律、结合律、分配律，同时也满足逻辑上的同一律、吸收律、双否定律、狄摩根定律、三段论定律等等。利用这些定律，我们可以进行逻辑推理，可以简化复和命题，可以推证两个复合命题是不是等价，也就是它们的真值表是不是完全相同等等。

命题演算的一个具体模型就是逻辑代数。逻辑代数也叫做开关代数，它的基本运算是逻辑加、逻辑乘和逻辑费，也就是命题演算中的“或”、“与”、“非”，运算对象只有两个数 0和 1，相当于命题演算中的“真”和“假”。

逻辑代数的运算特点如同电路分析中的开和关、高电位和低电位、导电和截至等现象完全一样，都只有两种不同的状态，因此，它在电路分析中得到广泛的应用。

利用电子元件可以组成相当于逻辑加、逻辑成和逻辑非的门电路，就是逻辑元件。还能把简单的逻辑元件组成各种逻辑网络，这样任何复杂的逻辑关系都可以有逻辑元件经过适当的组合来实现，从而使电子元件具有逻辑判断的功能。因此，在自动控制方面有重要的应用。

谓词演算也叫做命题涵项演算。在谓词演算里，把命题的内部结构分析成具有主词和谓词的逻辑形式，由命题涵项、逻辑连接词和量词构成命题，然后研究这样的命题之间的逻辑推理关系。

命题涵项就是指除了含有常项以外还含有变项的逻辑公式。常项是指一些确定的对象或者确定的属性和关系；变项是指一定范围内的任何一个，这个范围叫做变项的变域。命题涵项和命题演算不同，它无所谓真和假。如果以一定的对象概念代替变项，那么命题涵项就成为真的或假的命题了。

命题涵项加上全程量词或者存在量词，那么它就成为全称命题或者特称命题了。

这么说你能理解吗?希望对你有帮助 ^_^

什么是数理逻辑？

数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。

孩子学习逻辑思维有哪些好处

《咕力学数学之逻辑思维启蒙动画片全集》百度网盘免费下载

链接：https://pan.baidu.com/s/1znmI8mJTas01m1m03zCRfQ

?pwd=1234

提取码：1234

发帖内容：美根据6Q法则，循序渐进通过生动有趣地动画，不断启发孩子的思维，培养孩子的逻辑能力，是一部励志向上，积极引导幼儿成长、融入数理逻辑学习、寓教于乐的系列动画片。整部动画色彩鲜明，情节引人入胜，能让宝宝在愉快的环境下，轻轻松松打好数学基础，深受小朋友和家长们的喜爱。这部动画片，耗时一年精心打造，通过一系列针对幼儿园小朋友的生活观察，策划出的寓教于乐的动画片。

课程名称：咕力学数学之逻辑思维启蒙动画片全集

资源目录:第1集 探险家的工具箱第2集 小小驯狗师第3集 采蘑菇第4集 哈哈变高啦第5集 摘草莓喽第6集 海岛奇遇记第7集 超级魔术师第8集 游乐园的彩灯第9集 忙碌的厨师数学游戏第10集 鱼儿舞蹈队第11集 滑雪训练第12集 生日蛋糕第13集 农场的围栏数学游戏第14集 小鸡去哪儿了数学游戏第15集 咕力超市第16集 农场大丰收啦第17集 谁是大胃王第18集 巧克力好心情第19集 三色木桥第20集 乱糟糟的游乐室第21集 运货记第22集 一起玩拼图第23集 星球历险记第24集 寻找三色花第25集 神奇变变变第26集 咕力们的愿望

数学思维很重要，数学思维课程讲的是什么？

数学思维课程，主要是通过引导学生对于课本上类似游戏活动的习题进行思考，之后再进行纠正总结。在教学过程中教师运用数学语言，逐渐引导学生明白理解数学语言的意义以及数学语言与普通说话用词之间的不同

数学思维的重要性

现代教育观点认为，数学教学是数学活动的教学，即思维活动的教学。如何在数学教学中培养学生的思维能力，养成良好思维品质是教学改革的一个重要课题。培养兴趣，促进思维。兴趣是最好的老师，也是每个学生自觉求知的内动力。教师要精心设计每节课，要使每节课形象、生动，有意创造动人的情境，设置诱人的悬念，激发学生思维的火花和求知的**，并使同学们认识到数学在四化建设中的重要地位和作用。经常指导学生运用已学的数学知识和方法解释自己所熟悉的实际问题。拓宽思维的广度和深度，对开发学生的智力有着极其重要的意义。数学思维的重要性主要是体现思维的敏捷性、深刻性、灵活性、批判性、概括性、广阔性以及独创性等。

一、数学思维敏捷性

数学思维的敏捷性表现在一个“快”字上。这种快的主要体现在两个方面： 其一， 多方开辟思维点， 加快思维启动速度； 其二， 力求缩短思维过程， 迅速获得思维产品。我们经常遇到很多的数学问题，解法的多元性能使学生的思维具有多起点， 使其由数见形，由形见数， 巧换方法思考与判断。这无疑简缩了加工思维产品的过程。数学思维的敏捷性给我们一个启示：当你遇到很难解决的问题是，不妨从多方面去思考问题找到问题解决的最优答案。

二、数学思维的深刻性

数学思维的深刻性就是在分析数学问题和解决数学问题的过程中， 能探索所研究数学问题的实质及与现实之间的相互联系。而数学思维正告诉我们沟通了各种数学问题之间的内在联系，与及在现实的运用。如数学中形数结合思维， 透过形的外表，揭示代数问题的内在数量特征， 探讨数与形的本质联系与规律， 这是由表及里的过程。这个正告诉我们一个哲理：透过现象看本质。只有你能够真正掌握了事物的实际，你才能够说真正的了解了事物的属性等。避免里只是看现象而看而毫无收获。

三、数学思维的灵活性

灵活性表现在能从已知因素中发现新的因素， 并能够随条件的变动决定思考方向。灵活性具体体现在两个方面： 一是数学思维的起点与方向灵活， 既能从不同的角度， 不同的方面， 用多种方法来思考问题；二是思维过程灵活， 即能自觉运用多种法则和规律。在数学思维中，思考问题经常多种模式化和已知、预知、未知三方面相互联系。数学思维提供了解决数学问题的各种不同的方法。一题多解，多题一解，不论思维起点还是思维过程均表现出极大的灵活性。

四、数学思维的批判性

批判性主要体现在数学方法的检验，通过检验可以发现推理的矛盾及运算错误， 并予以纠正。数学方法是人们根据解决数学问题的成功实践总结出的一般模式规律或方法。在数学解决问题的思维中，可用已知的数学模式规律或方法去检验类似情境的新问题的解决过程的正确性。正是数学思维的批判性使我们对未知的大胆探索，解决更多的未知的问题，推动好了社会的的不断向前发展。

五、数学思维的概括性

数学是一个很庞大的系统，只有对解决具体数学问题的过程的概括和提炼，才能学好数学，发展数学。数学思维就给我们展示很好的概括性， 而且这种概括是多层次的。

六、数学思维的广阔性

数学思维的敏捷性、灵活性决定了数学思维的广阔性，不依常规，寻求变异， 一题多解，从多角度、多方向思考问题以寻求解决问题的答案。数**系着各个学科的知识，同时数学思维也服务于各个学科。数学思维的广阔性不光体现在解决问题的方法的多样性，还有它应用广泛性。

七、数学思维的独创性

独创性与概括性并不是相互矛盾。独创性意义在于主动地、独创地发现新问题、提出新见解、解决新问题。使学生在思维方式上摆脱“框题型、对套路”的僵化模式，从而有效激发学生创造性火花。批判性正是独创性的有力保证。

如能把这些良好的思维品质与思维的规律里应外合，使得学生们的思维逻辑更紧密，记忆更深刻，对学习各个学科更有信心。

现代思维、科学思维正是形象思维和抽象思维并存、相互渗透、紧密结合，和合二为一的高级抽象形态，即抽象形象思维。所以说，数学思维是现代科学思维的标准模式。我认为，培养学生的数学思维能力就首先要让学生走进充满创造性活跃思维的境界，点燃青年学生心中的火把，激发起他们强烈的求知**，发挥出他们无限的想象力和创造力，才能真正培养出新世纪，新时代社会所需要的高新标准的人才。从思维的敏捷性、深刻性、灵活性、批判性、概括性、广阔性以及独创性等去发展学生的思维，去解决实际的问题。

逻辑题 为什么

因为x＜c，而c＜b

中班逻辑关系分类教案

（一）教材分析
教材分析部分的写作要求：三个操作要求：（1）分析《课程标准》的要求.（2）分析每课教材内容在整个课程标准中和每个模块（每本教材）中的地位和作用.（3）分析高中每课教材内容与初中教材相关内容的区别和联系.
（二）学生分析
学生分析部分的写作要求：三个操作要求：（1）分析学生已有的认知水平和能力状况.（2）分析学生存在的学习问题.（3）分析学生的学习需要和学习行为.
（三）教学目标
教学目标部分的写作要求：三个操作要求：（1）确定知识目标.（2）确定能力、方法培养目标及其教学实施策略.（3）确定引导学生情感、态度、价值观目标的教学选点及其教学实施策略.

如何在数学教学中培养学生的逻辑推理能力

数学具有严谨逻辑性的特点,逻辑推理能力应该是学生必须具有的基本数学能力之一。数学中的逻辑推理能力是指正确地运用思维规律和形式对数学对象的属性或数学问题进行分析综合、推理证明的能力。那教学中如何培养学生数学逻辑推理能力呢?一、重视基本概念和基本原理的教学数数学具有严谨逻辑性的特点,逻辑推理能力应该是学生必须具有的基本数学能力之一。数学中的逻辑推理能力是指正确地运用思维规律和形式对数学对象的属性或数学问题进行分析综合、推理证明的能力。那教学中如何培养学生数学逻辑推理能力呢?一、重视基本概念和基本原理的教学数学知识中的基本概念、基本原理和基本方法是数学教学中的核心内容。基本概念、基本原理一旦为学生所掌握,就成为进一步认识新对象,解决新问题的逻辑思维工具。如果没有系统的科学概念和原理的掌握作为前提,要进行分析、判断、推理等思维活动是困难的。二、结合具体数学内容讲授一些必要的逻辑知识在数学教学中,结合具体数学内容讲授一些必要的逻辑知识,是学生能运用它们来进行推理和证明。培养学生的推理能力,必须掌握逻辑的同一律、矛盾律、排中律和充足理由律等基本规律。教师应该结合数学的具体教学帮助学生掌握这些基本规律,使他们明了不能偷换概念和论题。要使学生懂得论断不能自相矛盾,在同一关系下对同一对象的互相矛盾的判断至少有一个是错误的;论断不得含糊其词,模棱两可,在同一关系下,对同一对象的判断或者肯定或者否定,不能有第三种情况成立.引导学生把这些已有的知识和资料进行分析、逻辑、推理，也就培养了学生的推理能力。
　　总之，在科学课教学中，培养和发展学生的逻辑推理能力，是科学教学要求的一个重要方面。我们要深挖教材内涵，采用多种有效的教学手段，激发和培养学生的学习兴趣。在培养学生的观察实验能力同时，逐步培养学生的分析、综合、归纳、逻辑、推理等方面的能力。.

据说逻辑分很多种,有传统逻辑.现代逻辑.形式逻辑.数理逻辑.辨证逻辑...请问哪一种才是最高级的.!!!!!!!!

什么是逻辑？
[编辑本段]

逻辑成为一门科学，那是从亚里士多德开始的，这恐怕怀疑的人很少。我们知道亚氏并没有把他的研究叫做“逻辑”，但他明确指出他的研究对象是“三段论”，而这是关于从一个真的前提“必然地”推出一些结论的科学。他的三段论有两种，一是蕴涵三段论，二是归纳三段论。前者我们不必说，后者实际上是一种完全归纳，因而也是演绎性的。因此，亚里士多德意义上的“逻辑”，就是关于“必然推理规则”，或“必然证明或论证规则”的科学。他尽管提到过简单枚举归纳，但并不是从“逻辑”意义上来说的，只是为了和“逻辑”进行对比而从论辩的意义上而言的。
从词源来说：赫拉克利特最早使用logos也是指语言中体现的“客观次序”，也是在“必然”意义上讲的。因此，“逻辑”的本义不仅仅是指“推理规则”，而且是指“必然推理规则”。逻辑学和其它学科分科的意义，实际上就在这里。如同当今中国许多人指责经济学没有研究“生产力”一样，硬要逻辑学去研究它的内容是否为真，本来就不合分科的原理。如果逻辑学什么都可以研究，就应该叫“知识学”。



什么是归纳逻辑？
[编辑本段]

培根提出科学的“归纳法”的时候，并没有说这就是逻辑；而是到了穆勒才把“归纳法”写进了他的《逻辑体系》中。但是，他不是在“必然推理”的角度来使用“逻辑”概念的，他的逻辑是指建立在一套“程序化规则”的“推理”，至于使用这个规则是否得出必然的结论，那是无关紧要的。他认为，凡是推理都有权叫逻辑。可见，就是穆勒自己也认为，根据本来的逻辑定义，研究归纳其实不能算逻辑学。
值得注意的是许多现代归纳逻辑的大家，如卡尔纳普等根本不认为培根、穆勒的“归纳法”是什么“逻辑”而只认为它是一种“方法”，也不认为现代归纳逻辑起源于他们两个，而是起源于概率论；而最先研究的概率的目的，根本不是为了反对什么“唯理**”，而是为了解决**的问题。概率论创始人帕斯卡本人就是唯理**者。
但是，现代归纳逻辑之所以叫逻辑，也不是因为它已经变成了一门关于“必然性规则”的科学，而是因为它本身已经“演绎化”。但是，这并不能改变归纳逻辑是关于“概然性”的学科。它和“逻辑”学要研究的领域根本不同。一个“演绎化”的体系能否就是“逻辑学”？现代的一些科学，如博弈论内部也是演绎化的，能够因此就叫做“逻辑学”吗？





什么是辩证逻辑？
[编辑本段]

我们说，现代逻辑一般是把“归纳法”和“归纳逻辑”严格区分。同样，辩证法和辩证逻辑也不一样。在黑格尔之前的应该叫辩证方法（而不是姚大志说的是什么逻辑），而在黑格尔这里的确是要用“辩证法这种思维方式”，来建立“新的逻辑学”。因此，他所谓的辩证法就是指辩证逻辑。他的思路主要有两个：一、解决逻辑学的基础问题，即是用逻辑学来自己证明自己的前提为真（注意，绝不是从外面引一个什么“归纳法”来证明自己的前提为真），这就是一个圆圈式思维方式，而以前的逻辑则是直线性思维方式，所以无法具有反身性。二、使得逻辑学不是建立在同一律，而是建立在对立统一律上。我们知道，在黑格尔时代，所谓“形式逻辑”的同一律这个根本前提本身是没有经过证明的规律，所以形式逻辑作为关于“必然性规则”的科学本身就是不必然的。如果把逻辑学建立在对立统一律上，就可以说明同一律的根据，从而使逻辑学的各规则之间的相互推演真正具有“完全性”和“必然性”。就黑格尔说的这点而言，他试图创立的辩证逻辑的确可以说是比传统形式逻辑更高级。
至于黑格尔这种思路是否就真能建立起了他的辩证逻辑，这个可以怀疑、探讨和研究。但是可以肯定，这里的逻辑含义也是从必然性来说的。黑格尔说：“辩证法...是在科学内容里由以达到内在联系和必然性的唯一原则。”他就是要阐述这一“达到内在联系和必然性的唯一原则”。
因此，这里提醒一下其他参与讨论的朋友，就是“辩证逻辑”和“形式逻辑”的区别不是在所谓“内容”和“形式”的区别。而是我们上面说的内容。所谓“形式逻辑”指的指逻辑学只研究逻辑常项，这点辩证逻辑也一样。作为一门科学不可能去研究那些变动无常、不可把握的东西。黑格尔说：“内容不如说是在自身那里就有着形式，甚至可以说惟有通过形式，它才有生气和实质；而且，那仅仅转化为一个内容显现的，就是形式本身。”因此，辩证逻辑也只研究“辩证逻辑常项”，即逻辑的形式。
说黑格尔的辩证逻辑是要研究具体内容的，那是从罗素开始的无稽之谈。



辩证逻辑和归纳的关系
[编辑本段]

辩证逻辑也是关于必然性规则的科学，因而和培根、穆勒的所谓归纳法没有什么关系。归纳和演绎（逻辑）各有相互不可替代的作用。归纳主要用于搜索发现，逻辑用于证成；归纳研究在不充分条件下的可能过程，逻辑研究充分条件下的必然过程。因此，辩证逻辑恐怕很难建立在“归纳1...演绎1...归纳2...演绎2...”的基础上。硬要找一个公式，不如说是：分析...综合....。这里的分析和综合都是逻辑学意义上（如亚里士多德把他的三段论就叫作分析），而不是方法意义上的。方法意义上的这个公式其实在柏拉图的辩证法里面就已经有了。



制约逻辑
[编辑本段]

——传统逻辑与现代逻辑的有机结合(当代逻辑的新领域：制约逻辑)

二千三百年前，古希腊的伟大思想家亚里士多德(Aristotelés 前384 — 前 322年)以《工具论》创立了传统形式逻辑，为逻辑发展史树起了第一座丰碑。从19世纪中叶到20世纪初，经过英国数学家布尔、德国数学家弗雷格、英国哲学家、数学家罗索等人接连不断的努力，吸收莱布尼兹的成果，建立了后来作为电子计算机理论基础的“正统数理逻辑”的现代公理系统，这是逻辑学发展史上的第二座里程碑。

1968年，中国形式逻辑研究会理事、北京开关厂工程师林邦谨创立了一门新的逻辑学说 —— 制约逻辑，向前两座丰碑提出了挑战。1978年，在我国逻辑学界元老沈有鼎教授的举荐下，经华裔美籍逻辑学家王浩教授推荐，林邦谨在美国数学会刊物《文摘》上发表论文《制约逻辑简介》。1985年12月，林邦谨的专著《制约逻辑》在国内正式出版。制约逻辑独树一帜，震动了逻辑学界，引起了国内外学者的关注。

制约逻辑是传统的形式逻辑与正统数理逻辑(现代逻辑)有机结合的产物，它运用现代逻辑提供的严格精密的数学方法，去构造一个能确切地体现传统形式逻辑的深刻正确的主导思想的非正统的逻辑制约系统。林邦谨认为，传统形式逻辑密切结合人类普通思维和自然语言实际，把从已知进入未知的推理格式作为自己的主要研究对象，坚持贯彻不许循环论证，这是它的深刻而正确的主导思想。但它对十些极简单的推理却不能从理论上加；以分析，演算技术也十分简陋、陈旧，远不能满足现代的需要。正统数理逻辑系统地采用了现代数学方法，论证严谨，演算精密，但它却舍弃了推理格式中起决定作用的非数学的逻辑含义这一精髓，将其处理成真值函数、个体 — 真值函数关系，因而远离了传统形式逻辑的主导思想。林邦谨木胆地综合融汇了上述两种逻辑的优点而摈弃二者之**，创造出自外于传统两家的新逻辑体系 ——制约逻辑学说，即继承形式逻辑的正确主导思想和有效的推理格式，并采用数理逻辑所提供的数学方法来处理科学研究和社会生活中的各种逻辑问题。它是久盛不衰的传统形式逻辑的现代发展。

制约逻辑学说指出，制约关系就是刻划清楚后的充分条件关系。制约关系事实上构成了传统形式逻辑中可据以进行不循环论证的推理格式的理论核心：推理式的前后件之间必定满足普遍有效的制约关系，而在前件或后件中也必定出现制约关系。制约逻辑体系由语义学、语构学、语用学三者组成。制约逻辑语义学研究客观世界的逻辑结构和逻辑规律，而以其中的客观的制约关系和有关制约关系的客观的逻辑规律为主要研究对象。制约逻辑语构学研究刻划客观的逻辑结构和规律的表意的人工符号的机械的排列结构和变形规则。制约逻辑语用学研究在指谓同一的原则下符号语言与自然语言的互相翻译。总的说来，制约逻辑所研究的领域是：观实世界对象域上的个体、集、一元或多元函数、一元：或多元关系、关系间的直值函数关系、关系间的充分条件 ( 即制约 ) 关系，和上述种种关系的客观规律，以及它们在意识中的反映 —— 概念 ( 词 ) 、命题和推理。其中，制约 ( 充分条件 ) 关系为研究核心。

林邦谨在深入分析人类普通的逻辑思维实际的基础上，运用数理逻辑的演算技巧，提出了命题演算 Cm 系统和名词演算 Cn 系统。 Cm 中的“制约”命题夕 p → q 跟 p 和 q 的真假共有七种， p → q 也获得三真四假的纪录。这，点与莱维斯 (Lewis) 的严格蕴涵一致。但 Cm 跟莱维斯的模态系统是有区别的。 Cm 系统有以下主要特征： (1) 在 Cm 中，所谓“必然”，并非某二命题的性质，而只能是两个命题间的联系。 p → q 表示 p 和 q 之间有某种 " 必然 "联系。 (2) 除了为一般模态系统所避免的象 p → (q → p) 等著各的蕴涵怪论以外， Cm 还避免了象 T p → q 这一类最难避免因而为一般模态系统所容纳的蕴涵怪论。 (3) 跟一般模态系统不同， Cn有象 [p → (q → r)] → [q → (p → r)] 这一类公式。 (4) 相当于在一般形式逻辑书中列出的传统命题逻辑推理式的定理它都具有。 (5) 没有象 T (pVq)—>q 这一类公式。 (6) 凡是在传统形式逻辑中看起来好像是用了相当于被 Cm排除了的二值系统中的定理的地方， Cm 都有很好的处理方法。 在Cm系统的基础之上建立的 Cn系统，只是扩充形式语言（引八个体变元、函数词和谓词），而不用量词。这样不仅在技巧上可避免拿有量词的形式系统所不可避免的许多麻烦，使演算的进程原则上是命题演算，而且更接近于普通逻辑思维实际。同时， Cn系统将对解决判定问题提供明朗的前景。

林邦谨在演绎推理问题上提出了两个**性，具有逻辑性质“ 可**于前后件的真假确定不会是前真而后假”的制约式定理称为第一**性。具有逻辑性质“可在无需确定后件为真的情况下确定前件为真”的推理式定理称为第二**性。“两个**性”是为在论证中出现的推理式所必具的确保论证不循环的逻辑精髓。这是深刻的逻辑理论观点。国内外一些专家学者认为制约逻辑在学术和科学实践等方面有重大的意义： (1) 它可以分析、处理一系列逻辑史上迄今争论不休、久悬末决的难题。对命题的真假对错、主词存在、宾词周延和演绎推理能否推出新知，已证明的结论是否已证实，以及在数学史上引起第三次数学危机的悖论等问题，都可能给出确定的解决。 (2) 以它为逻辑基础建立的初等数论的形式系统 N ，当 Cn 。的判定问题一经解决，就可能为最终解决哥德**猜想提供新的思路。这种数论系统还可能满足相容性和完全性 ( 与哥德尔不完全定理正好相反 ) ． (3) 制约逻辑形式化公理系统，为计算机语言创造了符号语言体系。以它作为计算机科学的逻辑理论基础，可为研究、设计新兰代的内涵智能机；软件可靠性确认、程序正确性证明等方面提供新的途径。 (4) 以它来分析科学理论和科学创造中的逻辑机制，可使科学工作者掌握有效而实用的科学方法。

国际逻辑学界和计算机学界对制约逻辑理论非常敏感。当林邦谨的简短论文《制约逻辑简介》在美国刚发表不久，联邦德国和加拿大的大学就积极组织专家研究班进行翻译和讨论，他们认为林邦谨“构造的这种逻辑体系是重要的，因为这种逻辑与计算机，科学，特别是‘判定程序'关系密切”。美国数学会秘书长利弗库博士推荐《制约逻辑》英文摘要给下届国。际逻辑讨论会。第八届。国际逻辑讨论会第一副**、奥地利兰兹堡大学教授瓦因加特纳博士正式邀请林邦谨参加 1987 年在莫斯科举行的国际逻辑学术会议，并将作专题发言。在国内，林邦谨的制约逻辑现已引起学术界注意，国家科委于 1986 年在清华大学组织了高层次研讨班对制约逻辑进行剖析、探讨。

对《制约逻辑》的批评也是较尖锐、激烈的（郭世铭、董亦农：评《制约逻辑》中的几个形式系统，《自然辩证法通讯》 1987， No．3)。他们认为制约逻辑的 Cm 系统与二十几年前国外发表的相干逻辑的命题演算 R 系统形式等价，而 R 是不可判定的，那么 Cn 系统亦就是不可判定的 ( 林邦谨认为Cm 和 Cn 是可判定的）。即使假若 Cn可判定， Cn 的判定方法用到数论系统Ⅳ上去也无济于事， 因为一阶数论是不能有穷公理化的，因此要想在 Cn 基础上构造一个满足完全性的初等数论的形式系统N来解决哥德**猜想等问题，是完全不可能的。 Cm 没有语义学，更无语义可靠性和完全性。 Cn 无法定义“必然”、“可能”这类概念。 Cn 没有实用价值，不可能证明任何一个有意义的必然命题和可能命题。N系统既不一致，也无足够的表达能力，当然也不可能完全，而且没有可判的公理集。N系统无法定义“整数”、“素数”、“减”之类的基本数论概念，无法表示象歌德**猜想这类的命题。因此，N系统是一个罕见的百病缠身的系统。

那么,制约逻辑何处为真理，何处是谬误；对它的学术性地位将怎样做成历史性的评价；究竟会有多大作为；是不是逻辑学上的一次**；它能否经受得住社会实践的考验；相信时间终将会给予我们确切的答案。


逻辑证明的两种方法
[编辑本段]

一，直接证明。
直接证明就是从论据的真实直接推出论题的真实的一种证明方法。

二，间接证明。

间接证明又称反证法，它是通过证明反论题的虚假，从而判明我们所要证明的论题真实的一种证明方法。
运用间接证明方法进行证明，一般有三个步骤：(1)设立反论题(即与我们所要证明的论题相矛盾的论题)；(2)证明反论题是虚假的；(3)根据排中律，推出我们所要证明的论题的真实。从间接证明的这个特点来看，间接证明实质上是选言推理的否定肯定式的运用，即从否定反论题真实，而推出我们所要证明的论题真实。可见，为了进行间接证明，最关键的是要证明反论题的虚假(即否定反论题的真实)。为此通常采用两种方法：归谬法和穷举法。
归谬法是一种先假定反论题为真，并从中引出谬误的推断，然后，根据假言推理的否定式，从否定谬误的推断到否定反论题的真实的一种方法。既然否定了反论题的真实，那么，根据排中律，自然也就证明了我们所要证明的论题是真实的。还有一种经常运用的反证法是穷举法。穷举法就是列举出除我们所要证明的论题外还可能成立的其他各种不同论题，然后根据事实或推理将这些不同论题一一予以否定，从而证明我们所要证明的论题为真的一种方法。可见，穷举法实质上是选言推理的否定肯定式和完全归纳推理的联合运用。
下面举一例；
■在巴基斯坦影片《人世间》中，女主人公拉基雅的丈夫恶贯满盈，最后被人*杀。凶手是拉基雅？拉基雅确实是开了*的呀！老律师曼索尔把这个善良的妇女从绝境中解脱出来。这位正直的律师根据充分的理由证明了拉基雅不是**她丈夫的凶手，她是无辜的。曼索尔是这样证明的：
如果拉基雅是凶手，那么她手*中的五颗**必然最少有一发打中了她的丈夫。而现在经过现场检查，她手*中的五发**都打在对面的墙上，打在墙上，当然没有打中她丈夫。再有，如果拉基雅是**她丈夫的凶手，那么，**一定是从正面打进她丈夫的身体的，因为拉基雅是面对面地对她丈夫开了*。但是，经过法医检查，尸体上的**是从背后打进去的。
在这个例子中，老律师曼索尔用了两个充分条件假言推理的否定后件式，通过这两次演绎论证，证明了"拉基雅不是凶手"这个论题。