单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级形式化数理逻辑侯越先yxhoutju.edu 25-B-510一般性参考: 《离散数学》左孝凌等上海科学技术出版社 《数学家的逻辑》哈密尔顿商务印书馆 《元数学导论》 S.C.克林科学出版社课程辅助材料: 1重新审视逻辑的本质真与逻辑经验意义上命题的真指命题的断言符合其所指涉事物的实际状态逻辑(Logics)研究
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级形式逻辑(普通逻辑)教 案 金建国总 纲性质和地位:普通逻辑是一门工具性的思维科学它是高等文科院校学生必修的基础课 学习意义:①有助于正确认识事物获取新知识和发现新问题②有助于自觉地防止和发现思维中的逻辑错误以便准确地表达和严密地论证思想③有助于有力地驳斥谬误或诡辩④有助于更好地学习其他科学知识⑤有助于提高工
形式逻辑 金岳霖 形式逻辑是一门以思维形式及其规律为主要研究对象同时也设计一些简单的逻辑方法的科学第二章 概念 第三节:概念内涵外延 概念是反映事物的特有属性(固有属性或本质属性)的思维形态 概念的内涵就是概念所反映的事物的特有属性 概念的外延就是具有概念所反映的特有属性的事物 例如:人这个概念的内涵就是能制造和使用生产工具的动物有语言能思维两足直立是人的其
普通逻辑习题集目 录第一章 概 念.......................................................1第二章 判 断(上).................................................5第三章 判 断(下).................................................
《形式逻辑》试题一下列语句作为定义或划分是否正确如果不正确请指出其违反什么规则犯什么 逻辑错误(每2分共10分)1共同犯罪就是几个人共同犯罪2民法不是刑法3商品就是通过货币进行交换的劳动产品4资本家是剥削人的人5宪法是国家的根本大法二用欧拉图表示下列各组概念之间的关系(每题5分共10分)1大学生 优秀学生2概念 判断 推理 思维形式三对下列概念各进行一次概括与限制(每题5分共
#
#
逻辑函数表达式的形式 最小项与最小项表达式 逻辑函数表达式的形式 最大项与最大项表达式 逻辑函数表达式的形式1与-或表达式 逻辑函数表达式的基本形式 若干与项进行或逻辑运算构成的表达式由与运算符和或运算符连接起来2或-与表达式 若干或项进行与逻辑运算构成的表达式由或运算符和与运算符连接起来 通常表达式为混合形式经过变换可转换为上述两种基本形式n个变量X1 X2 … Xn的最小项是n个因子的
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级逻辑函数式: ? 挑出函数值为1的输入组合10010110001001101011110011000ABCF001101111101111? 写出函数值为1的输入组合对应的乘积项将这些乘积项相加就得到逻辑表达式 F = A′BCAB′CABC输入变量取值为1用原变量表示反之则用反变量表示A′BCAB′CABC2.3.7
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第三章 判 断(一)简单判断第一节 判断的概述一判断及其特征 1.判断是对思维对象有所断定的思维形式 断定就是肯定或否定 肯定:指明对象具有某种性质或处于某种状态或对象间有某种关系 否定:指明对象不具有某种性质或不处于某种状态或对象间不具有某种关系例如: (1)中国是一个文明古国 (2)唯心主义不是科学的
违法有害信息,请在下方选择原因提交举报