单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级推理演绎推理和归纳推理第一节 推理的特征定义:推理就是根据一个或一些判断得出另一个判断的思维过程例一：如果鲸是胎生的那么鲸是哺乳动物鲸是胎生的(肯定前件)所以鲸是哺乳动物(肯定后件)充分条件假言推理的肯定前件式由肯定前件到肯定后件P138书上例一:这是充分条件假言推理其形式和规则如下：如果p那么q(大前提为充分条件假言判断)非

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级1-5重言式与蕴含式1-5.1重言式(tautology)定义1-5.1 [重言式]: 给定一个命题公式若无论对分量作怎样的指派其对应的真值永为T则称该命题公式为重言式或永真公式1-5重言式与蕴含式1-5.1重言式(tautology)定义1-5.2 [矛盾式]: 给定一个命题公式若无论对分量作怎样的

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第五章复合命题及其推理(上)1一复合命题概述复合命题是包含其他命题的命题复合命题由支命题和联结词构成支命题就是复合命题所包含的命题联结词就是联结支命题的部分2例如上世纪40年代美国著名科幻小说家阿西莫夫(Isaac Asimov 1920-92)就开始探讨机器人问题后来在其科幻小说(science fiction)《我机器人》

单击此处编辑母版标题样式单击此处编辑母版文本样式Deren Chen Zhejiang Univ.Propositional Equivalences命题演算 1.1.2 命题演算 Propositional Equivalences41920221Deren Chen Zhejiang Univ. 1命题(Proposition) 2从简单命题(atomic propositio

Formal Logic DeconstructionFormal Logic Diagrams1. Choosing symbols to represent each variables2. Conditional reasoning terms and diagrams 1) The Single Arrow () Introduced by sufficient and necessa

第二级第三级第四级第五级第2章 一阶逻辑 第2章 一阶逻辑 2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习 题 二 凡人必有死????????苏格拉底是人????????所以苏格拉底必死 苏格拉底三段论:p: 凡人必有死q: 苏格拉底是人r: 所以苏格拉底必死 (p∧q)→r2.1

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第四章　中学数学的逻辑基础　　初等数学即常数的数学是在形式逻辑的范围内活动的至少总的来说是这样－－恩格斯形式逻辑是研究思维形式(概念判断推理证明)及其规律(同一律矛盾律排中律充足理由律)的一门科学数学有其自身特有的逻辑系统具有严密的逻辑性对于中学数学教师来说首先应该掌握中学数学逻辑的有关基础知识第四章　中学数学的逻辑基础§4.