下载文档原格式
逻辑学基础知识逻辑学基础知识是一门研究推理和论证的科学。
它通过分析和评估命题、论据以及它们之间的关系，致力于帮助人们提高思维的准确性和有效性。
逻辑学是一种可以应用于各个领域的基础知识，不仅对于学术研究和科学推理有着重要意义，也对每个人日常生活中的决策和沟通非常重要。
在逻辑学中，一个重要的概念是命题。
命题是一个陈述句，它可以被判断为真或者假。
例如，命题“太阳是热的”可以判断为真，而命题“地球是平的”可以判断为假。
命题是逻辑推理的基础，其他的命题可以通过对已知的命题进行逻辑操作而得出。
逻辑学主要关注的是论证和推理。
一个论证由一个或多个前提和一个结论组成。
前提是用来支持结论的命题。
通过逻辑推理，可以通过前提推出结论的真实性。
例如，如果我们有以下两个前提：“所有人类是哺乳动物”和“约翰是人类”，我们可以通过逻辑推理得出结论：“约翰是哺乳动物”。
通过这样的推理，我们可以评估一个论证的有效性。
逻辑学中有一些常见的推理形式，帮助我们评估论证的有效性。
其中一个常见的推理形式是演绎推理。
演绎推理是通过已知的真实前提和逻辑规则来推理出结论的真实性。
例如，如果前提是“所有人都会死亡”和“约翰是人”，那么结论“约翰将会死亡”是十分合乎逻辑的。
演绎推理是一种强有力的推理形式，它可以产生确定性的结论。
除了演绎推理，还有一种常见的推理形式是归纳推理。
归纳推理是通过一组特定的观察结果来得出一个普遍的结论。
例如，如果我们观察到一只猫是黑色的，另一只猫也是黑色的，那么我们可以归纳出“所有猫都是黑色的”这个结论。
与演绎推理不同，归纳推理并不能提供确定性的结论，因为它基于有限的观察结果。
逻辑学也涉及到命题之间的关系。
命题之间可以是相容的，也可以是相矛盾的。
如果两个命题可以同时为真，那么它们是相容的。
例如，命题“我喜欢冰淇淋”和“你喜欢巧克力”是相容的，因为它们可以同时为真。
相反，如果两个命题不能同时为真，那么它们是相矛盾的。
例如，“这个苹果是红色的”和“这个苹果不是红色的”是相矛盾的。
绪论第一节传统逻辑与现代逻辑1、逻辑：客观事物发展的规律；某种特殊的理论、观点或看问题的方法；思维的规律、规则；逻辑学。
2、逻辑的分类：传统（形式）逻辑、现代逻辑。
3、传统逻辑的产生：发源地有古代中国（明辨之学）、印度（因明）和希腊（主要诞生地，亚里士多德在历史上建立了第一个演绎．．逻辑系统）。
演绎是指必然性推理，正确的前提、形式必然推出正确的结论。
3、传统逻辑的发展：培根提出了归纳法“真正的归纳法”；1662年《波尔·罗亚尔逻辑》；康德“形式逻辑”。
第二节普通逻辑的对象1、“思维”就是人在脑子中运用概念以作判断和推理的功夫。
2、思维的逻辑形式就是不同内容的命题和推理自身所具有的共同结构，即内容的形式。
例：所有（常项）S（变项）都是（连接项）P（变项）任何逻辑形式都包含两个组成部分：逻辑常项、变项。
第三节推理的有效性和可靠性1、在一个演绎推理中，当所有的前提为真时，其结论必然为真。
这样的演绎推理形式就是有效的，否则便是无效的。
2、推理的有效性，指的是推理形式的有效或无效，它只是与推理形式有关，而与推理前提的内容的真或假是无关的。
第四节逻辑与语言1、自然语言是在社会长期发展中形成的、人们日常使用的语言，如汉语、英语等各民族语言都是自然语言。
2、人工语言为了达到某种目的而在自然语言的基础上人工构造的表意符号系统，又称为符号语言。
3、普通逻辑是一门具有较高抽象性的科学，在这一点上，它和语法很相似。
普通逻辑的抽象性质使它与数学更相似。
简单命题的基本要素——概念第一节概念及其特征一、什么是概念1、概念的定义：是对反映对象特有属性或本质属性的思维形式。
是思维的细胞，是思维的起点也是思维的终点。
2、概念的形成：在社会实践中产生、经过验证、阶段性成立、发展（客观事物的变化也会带来概念的发展变化）。
二、概念与语词、词项1、语词是概念的语言形式，概念是语词的思想内容，二者是紧密联系，不可分割的。
但概念和语词之间并不是一一对应的：①任何概念都必须要通过语词来表达，但并不是所有的语词都表达概念，如虚词不表达概念。
逻辑学是研究思维形式、思维规律、思维方法和论证的科学。
论述一：逻辑逻辑是英语logic的音译词，它起源于古希腊文λογοδ（逻各斯），原意为思想、言辞、理性、规律性等。
到了近代，欧洲用“逻辑”一词来指称研究推理或论证的学科，一直沿用至今。
在现代汉语中，“逻辑”是个多义词，语义大致有如下几种：（1）指客观事物的规律、规律性。
例如，我们要研究中国建设的逻辑。
（2）专指思维的规律、规则。
例如，说话写文章要讲逻辑。
（3）指某种特别的理论或观点（往往含贬义）。
例如，明明是侵略，却说成是友谊，这是强盗逻辑。
（4）指逻辑学。
例如，各个专业的大学生都应当学习逻辑。
论述二：思维思维与人的认识活动密切相关。
人的认识活动，即对客观事物的认识，是一个不断深化的过程。
人的认识发展，是由感性认识到理性认识，由形象思维到抽象思维的过程。
感觉、知觉与表象，属于形象思维与感性认识的阶段；概念、判断与推理，属于抽象思维与理性认识的阶段。
感觉，是人脑对直接作用于感官的客观事物的个别属性的反映，它是最初级的认识过程。
例如，当苹果作用于我们的感官时，我们通过视觉可以反映它的颜色；通过味觉可以反映它的味道；通过嗅觉可以反映它的气味；同时，通过触觉可以反映它的质感。
人正是通过对客观事物的各种感觉认识到事物的各种属性。
感觉不仅反映客观事物的个别属性，而且也反映我们身体各部分的运动和状态。
例如，我们可以感觉到双手在举起，感觉到身体的倾斜，以及感觉到肠胃的剧烈收缩等等。
感觉虽然是一种极简单的认识过程，但它在我们的生活实践中却具有重要的意义。
有了感觉，我们才可以分辨外界各种事物的属性，才能分辨颜色、声音、软硬、粗细、重量、温度、味道、气味等，才能了解自身各部分的位置、运动、姿势、饥饿、心跳，有了感觉，我们才能进行其它复杂的认识过程。
知觉，是客观事物直接作用于感官而在头脑中产生的对事物整体的认识。
例如，当苹果作用于我们的感官时，我们认识到的不只是某种颜色，而是一个具有颜色、香味、硬度...的苹果，这就是知觉。
第一章绪论第一节逻辑学的对象一、逻辑一词的来源逻辑一词是英文单词“logic”的音译，英文“logic”源于希腊文“λογοδ”（逻各斯），其原意是思想、言辞、理性、规律等。
二、逻辑一词的含义在现代汉语里，逻辑是个多义词，在不同的语言环境里，它可以表达以下四种含义：（1）客观事物发生、发展和变化的规律；（2）某种特殊的理论、观点或看问题的方法；（3）思维的规律；（4）指逻辑学这门科学。
三、逻辑学的定义广义：研究思维的形式结构及其规律和逻辑方法的科学；狭义：研究推理形式的有效性的科学。
四、思维的形式结构思维是认识的理性阶段，在这个阶段，人们在感性认识的基础上，形成概念，并用其构成判断（命题）、推理和论证。
三种基本的思维形式：概念——命题——推理思维的形式结构：又称为思维的逻辑形式，是指思维在抽象掉具体内容之后具有的共同结构。
思维的形式结构是思维内容的存在方式、联系方式，由逻辑常项和逻辑变项组成。
逻辑常项是指思维形式中的不变部分，它决定思维的逻辑内容，是区分不同种类的逻辑形式的唯一依据。
逻辑变项是指思维形式中的可变部分，它容纳思维的具体内容。
例如:所有金属是导电的。
所有大学生是公民。
所有鲸是哺乳动物。
思维内容不同但具有共同的思维形式结构所有S 是P （常项）（变项）（常项）（变项）第二节逻辑、思维、语言一、逻辑、思维、语言三者的关系逻辑语言思维二、自然语言与人工语言自然语言：历史发展过程中形成的、日常使用的语言，如汉语、英语等。
特点：语义的丰富性和模糊性。
人工语言：人为构造的表意符号系统，即符号语言。
特点：语义的单一性和精确性。
如：自然语言“如果天气好，那么我们就去爬山。
”可用人工语言“p→q”表示。
传统逻辑用自然语言，现代逻辑用人工语言。
三、对象语言与元语言对象语言：作为讨论对象的那种语言。
对象语言一般指称客观事物。
元语言：用来讨论对象语言的那种语言。
常指称语言本身。
例如：一本用汉语写的英语语法或日语语法书。
逻辑学试题及答案一、单项选择题（每题2分，共20分）1. 逻辑学中的“形式逻辑”主要研究的是：A. 逻辑规律B. 逻辑方法C. 逻辑关系D. 逻辑推理答案：A2. 命题逻辑中，下列哪个命题是必然真的？A. 如果下雨，那么地面会湿。
B. 如果下雪，那么地面会干。
C. 如果太阳从西边升起，那么地球是圆的。
D. 如果太阳从东边升起，那么地球是方的。
答案：C3. 以下哪个选项是演绎推理的例子？A. 所有的鸟都会飞，企鹅是鸟，所以企鹅会飞。
B. 有些鸟不会飞，企鹅是鸟，所以企鹅不会飞。
C. 所有的鸟都会飞，企鹅不会飞，所以企鹅不是鸟。
D. 所有的鸟都会飞，企鹅是鸟，所以企鹅不会飞。
答案：C4. 归纳推理的特点是：A. 从个别到一般B. 从一般到个别C. 从个别到个别D. 从一般到一般答案：A5. 以下哪个是有效的三段论？A. 所有的人都是动物，苏格拉底是人，所以苏格拉底是动物。
B. 所有的动物都是人，苏格拉底是动物，所以苏格拉底是人。
C. 所有的人都是动物，苏格拉底是动物，所以苏格拉底是人。
D. 所有的人都是动物，苏格拉底是人，所以苏格拉底是植物。
答案：A6. 以下哪个是逻辑谬误的例子？A. 偷换概念B. 同一律C. 矛盾律D. 排中律答案：A7. 以下哪个命题是自相矛盾的？A. 我正在说谎。
B. 我从不说谎。
C. 你正在说谎。
D. 我正在吃饭。
答案：A8. 以下哪个命题是逻辑上不可能的？A. 所有的人都会死。
B. 有些人不会死。
C. 所有的人都不会死。
D. 有些人会死。
答案：C9. 以下哪个命题是逻辑上可能的？A. 所有的人都是动物。
B. 所有的人都是植物。
C. 所有的人都是无机物。
D. 所有的人都是有机物。
答案：A10. 以下哪个命题是逻辑上必然的？A. 明天会下雨。
B. 明天会下雪。
C. 明天会是晴天。
D. 明天会是今天之后的那一天。
答案：D二、多项选择题（每题3分，共15分）1. 以下哪些是演绎推理的特点？A. 从一般到个别B. 从个别到一般C. 必然性D. 或然性答案：AC2. 以下哪些是归纳推理的特点？A. 从一般到个别B. 从个别到一般C. 必然性D. 或然性答案：BD3. 以下哪些是逻辑谬误？A. 偷换概念B. 同一律C. 以偏概全D. 排中律答案：AC4. 以下哪些命题是自相矛盾的？A. 我正在说谎。
西南大学研究生课程考试答卷纸考试科目数据与知识工程培养单位计算机与信息科学学院专业或专业领域计算机软件与理论研究方向生物信息级别2015学年2015-2016学期第二学期姓名傅广垣学号112015*********类别②（①全日制博士②全日制硕士③教育硕士④高师硕士⑤工程硕士⑥农推硕士⑦兽医硕士⑧进修)2016年6月25日研究生院制备注：成绩评定以百分制或等级制评分，每份试卷均应标明课程类别（①必修课②选修课③同等学力补修课）与考核方式（①闭卷笔试②口试③开卷笔试④课程论文）。
课程论文应给出评语。
浅析计算机与逻辑学及交叉应用摘要：数理逻辑可以说是计算机的大脑与骨干，在计算机及其应用中发挥着至关重要的作用，从硬件设计到计算机语言架构，甚至软件设计工程都与数理逻辑密不可分，本文介绍了数理逻辑以及逻辑学在计算机各类关系，并简单探讨了数理逻辑在人工智能中一些应用。
关键字：计算机科学，数理逻辑，人工智能目前计算机科学的发展日新月异，在成就背后，逻辑学是推动计算机科学的主要动力。
软件大师迪杰斯特拉曾说过这样一段话：“我现在年纪大了, 搞了这么多年软件, 错误不知犯了多少, 现在觉悟了。
我想假如我早在数理逻辑上好好下点功夫的话, 我就不会犯这么多错误。
不少东西逻辑学家早就说了, 可我不知道。
要是我能年轻20岁的话, 就要回去学逻辑。
”可见计算机科学与逻辑学相互关系多么密切。
数学与计算机是紧密相连的，如果没有数学功底，就很难在计算机这个行业里有所作为的。
单纯依靠计算机做一些简单的应用开发，如图片处理、小系统的开发，这还不是很大的问题。
但是，要完成更深层的开发，如系统集成、动画制作如3D 游戏等，没有数学理论作为基础是很难完成这些工作的。
以上说的还只是软件层面的，在硬件层面上，数理逻辑更加是其中的支柱。
电子数字计算机系统的逻辑设计，基本单元就是各类0-1高低电位的门电路，也就是基于数理逻辑中的布尔代数进行描述。
而重要的逻辑部件和各种运算电路—触发器、寄存器、计算器、半加器、全加器等的设计分析也离不开布尔代数；至于复杂的组合逻辑电路、时序逻辑电路的分析、综合及简化, 更需要运用布尔代数。
接下来本文将通过几个不同方面，详细介绍计算机与逻辑学的渊源。
逻辑与程序设计专家系统和知识工程的出现使人们认识到仅仅研究那些在真理前提得出的结果的古典逻辑推理方法是不够的。
人类生活在一个充满不确定信息的环境里，为了建立真正的智能系统，研究那些更接近人类思维方式的非单调推理、模糊推理等就变得越来越必要了。
因此，非经典逻辑应运而生。
非经典逻辑指的是直觉逻辑、模糊逻辑、多值逻辑等，这些也可以用计算机程序设计语言来实现。
计算机程序设计语言的理论基础是形式语言、自动机与形式语义学，数理逻辑的推理理论为二者的发展提供了主要的思想和方法。
推理是人工智能研究的主要工作，逻辑的思想就是通过一些已知的前提推理出未知的结论。
符号逻辑与程序正确性验证、程序分析、程序综合以及程序设计环境及工具的研究，有着十分密切的关系。
弗洛伊德提出对框图程序使用归纳断言法证明程序正确性后，曼纳即用一阶谓词演算将这方法形式化[1]，同时霍尔提出了他的程序逻辑，用以刻画程序的语义及程序正确性的形式证明。
曼纳还提出了对任意程序尸和相应的入口、出口条件机械地生成验证条件（诸路径条件的合取）的方法。
霍尔的程序逻辑把基本语句和说明语句的语义定为公理, 结构性语句和说明语句定为推理规则.其系统内公式形如：A {P } B （A 、B 为一阶公式, P 为程序）。
意指：A 在P 执行前成立, 且P 终止, 那么B 在P 执行后成立.从霍尔的方法还发展出了程序正确性证明的最弱前置谓词方法。
设WP (P ,B)为满足下列条件的最弱语句：为了使P 终止且在P 完成后公式B 为真，那么证明A {P } B 由步骤( 1 )找出WP ( P , B )，和( 2 )证明A-> WP ( P , B ) 来实现。
值得一提的是, 由最弱前置谓词方法发展出来的程序形式推导技术，是程序自动生成领域的一个重要的方面。
同时，程序设计工具和环境的研究也离不开规范的形式描述以及语义的形式表示。
显然，这些工作都与逻辑学相关。
举一个著名的算法例子：著名的n 皇后问题是：是否可以将n(n 为正整数)个皇后放在的棋盘上，使得每行每列都有且仅有一个皇后，并且每条对角线上如果有皇后且仅有一个。
解答：可以用数理逻辑中的命题逻辑来描述皇后问题，为此引进2n 个命题变项(1,1)ij p i n j n ≤≤≤≤，其中变项ij p 为真表示在第i 行、第j 列有一个皇后，需要满足的命题公式包括如下子句：每行至少有一个皇后：对每个(1)i i n ≤≤，有12...1i i in p p p ∨∨∨= 成立；每行最多只能有一个皇后：对任何i,j 和k (1,1)i n j k n ≤≤≤≤≤，有1ij ik p p ⌝∨⌝=成立；每列至少有一个皇后：对每个(1)j j n ≤≤，有12...1j j nj p p p ∨∨∨=成立；每列最多只能有一个皇后：对任何i,j 和k (1,1)i k n j n ≤≤≤≤≤有1ij kj p p ⌝∨⌝=成立；每条对角线上最多只能有一个皇后：对任何i,j 和k (1,,,)i j k n k i ≤≤≠，（1）如果，那么,11ij k j k p p +-⌝∨⌝=成立；（2）如果1j i k n ≤+-≤，那么,1ij k j i k p p +-⌝∨⌝= =1成立。
按照上述处理方法，3皇后问题模型中的正文字：12,2133{,}p p p 。
模型可以解释为：第1行第2列、第2行第1列、第3行第3列可以放置皇后。
4皇后问题模型中的正文字：12,243143{,,}p p p p 。
模型可以解释为：第1行第2列、第2行第4列、第3行第1列、第4行第3列可以放置皇后。
5皇后问题模型中的正文字：12,24314355{,,,}p p p p p 。
模型可以解释为：第1行第2列、第2行第4列、第3行第1列、第4行第3列、第5行第5列可以放置皇后。
同理，可以推导出n 皇后问题的排列规则。
通过上述实例的验证，会发现数理逻辑在计算机科学中的应用非常广泛，可以把计算机科学中表面上看似不相干的内容通过找出其内在的联系作为前提，利用数理逻辑中的推理理论得到结论。
计算机语言中的数理逻辑2000 年前古希腊的亚里士多德建立起了逻辑科学，首先全面系统地研究了人类的逻辑思维。
17 世纪，德国的逻辑学家莱布尼茨进一步丰富和完善了亚里士多德的逻辑思想，提出建立一套通用语言，他把逻辑加以数学化，再设计一套演算法则作为工具来处理通用语言，试图消除实际生活当中存在的语言的局限性和不规则性，使逻辑演算能够按一定的规则进行。
莱布尼茨认为，这样推理错误就变成了计算错误。
莱布尼茨把推理变成计算的思想改变了逻辑发展的方向，为后来计算机语言的产生和发展奠定了坚实的基础。
虽然莱布尼茨没能实现自己的理想，但之后许多逻辑学家都明确了努力的方向和目标，弗雷格和罗素基本完成了命题演算和谓词演算，他们用形式语言表达的公理系统，也是数理逻辑最基础的部分。
还有关于逻辑的语义和语法关系的模型理论的研究，可计算性和可判断性的递归理论的研究，形式系统无矛盾的证明与公理集合论的研究等也都开始发展。
这些逻辑研究的理论是计算机语言体系中最重要的基本理论。
计算机刚出现的时候，程序员都是用机器代码来直接进行操作，这样有很多不方便的地方，其复杂性暂且不论，而且编程会非常慢。
后来为了更好的操作和符合人们阅读的习惯，一些程序员把机器代码写成英文字符串的形式，这样就出现了最早的汇编语言Basic。
Basic 语言是最基本的计算机语言，也是最受欢迎的计算机语言。
计算机语言的发展是一个不断模块化，抽象化和封装的过程。
计算机语言中最初是把0 和1 表示的二进制值，抽象为整型、长整型等各种各样的数据类型；接着，由于更复杂数据表达的需要，就出现了自定义的数据类型。
除了计算机的数据需要抽象外，计算机的指令也经过了从表达式和语句到函数的抽象的过程。
如20 世纪70 年代初出现的结构化语言，Pascal 语言和C 语言。
结构化的程序设计是计算机不断抽象化的表现，它主张数据和和代码分开，这种思想和计算机硬件的逻辑处理机制也是相符合的。
结构化语言出现后，人们又根据20 世纪60 年代面向对象的思想在C 语言的基础上开发了添加了类，继承等对象概念的面向对象的语言，如C++等。
计算机语言系统非常关心的问题就是系统的可靠和完全性，结构的相似性说明了计算机语言与逻辑语言是相通的，所以逻辑学研究取得的方法和成果可以用到计算机中，为计算机语言的发展铺平道路。
我们可以把推理过程看成是一个符号变换过程，以pΛ(p→q)→q 为例，我们可以把这个肯定前件的假言推理，看成一个计算机处理信息的过程，用计算机语言表示，它就是一个计算机中的算法，而且因为这个逻辑表达式是有效且可靠的，所以这个算法同样也是可靠的，如下面这个比较两值大小的C 语言的程序：Main(){Float c, d;Scanf(“%f%f, &c, &d”);if( c > d)printf( “% f \ n “, c);elseprintf ( “% f \ n”, d );}这个程序中说，如果判定了两个输入数值c > d 成立，则输出c 的值，否则输出 d 的值。
逻辑学与人工智能人工智能是计算机科学的一个分支，研究如何使用计算机来完成能表现出人类智能的任务。
人工智能的知识表示方法、归纳推理方法等从不同的方面论述了计算机的人工智能问题。
人工智能的研究中，知识表示、知识推理和知识运用问题不仅是最基本的问题，也是最为重要的问题。
而采用谓词逻辑语言的演绎过程的形式化有助于人们更清楚地理解人工智能知识表示及推理中的某些子命题。
在许多方面，逻辑学家和人工智能专家相当类似，他们都关心日常生活中使用的推理的某些方面的形式化问题。
确实，逻辑学家传统上一直关心具有某种哲学意义的推理，于是，关于必然性、可能性、时间、认识和相信等概念的逻辑发展起来了。
而这些方面也正是对知识表达感兴趣的人工智能专家所关心的核心问题。
“人工智能研究理解和模拟人类智能、智能行为及其规律，其主要任务是建立智能信息处理理论，进而设计可以展现某些近似人类智能行为的计算系统。
它始终处于计算机科学技术发展的最前沿。
”[3]人工智能的问题求解是以知识为基础的，获取知识后，重要的是如何将实际需要解决的问题的知识以计算机内部代码的形式加以合理的描述、存储，以便有效地利用这些知识，这便是知识表示。
知识表示的质量直接影响着运用它的系统的质量、能力和问题求解的效率，正因为如此，知识表示的研究成为人工智能研究者的热门课题。
