数理逻辑的发展历史
数理逻辑又称符号逻辑、理论逻辑。是用数学方法研究逻辑或形式逻辑的学科。它既是数学的一个分支，也是逻辑学的一个分支。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。
1.数理逻辑的发展概况
迄今为止，数理逻辑仅仅有三百余年的历史，但他同任何一门科学一样，也经历了一个发生和发展的过程。他最初是作为“运用数学方法的逻辑”产生的，主要是在数学等演绎科学发展的基础上为适应他们的表述和论证的需要而兴起的，随后数学的发展正式提出并要求认真解决数学的逻辑和哲学基础问题，于是数理逻辑又发展成了“关于数学的逻辑”，并且与数学基础理论相结合，形成了一门数学科学。
具体地讲：数理逻辑的产生和发展大致可分为以下所述的三个阶段。
2.数理逻辑的发展三阶段
2.1第一阶段——从17世纪60年代至19世纪80年代
此阶段开始采用用数学方法研究和处理形式逻辑。
当时的古典形式逻辑不足之处已为某些逻辑学者所理解。人们感到演绎推理和数学计算有相似之处，希望能把数学方法推广到思维的领域。数理逻辑的先驱莱布尼茨首先明确地提出了数理逻辑的指导思想。他设想能建立一种“普遍的符号语言”，这种语言包含着“思想的字母”，每一基本概念应由一表意符号来表示。一种完善的符号语言又应该是一个“思维的演算”，他设想，论辩或争论可以用演算来解决。莱布尼茨提出的这种符号语言和思维演算正是现代数理逻辑的主要特证。他成功地将古典逻辑的四个简单命题表达为符号公式。
而19世纪中叶，英国数学家和逻辑学家乔治布尔相当成功的建立了一个逻辑演算系统，被视为数理逻辑的第二个创始人。他所建立的逻辑代数式数理逻辑的早期形式，他主张使用“类”来处理思维形式，判断则表示“类”
与“类”之间的关系，他所创立的逻辑是“类”的逻辑，亦称“类的代数”。
他还创立了“命题代数”，而这两种代数是今天数理逻辑的基本部分，即有名
的“布尔代数”。
2.2第二阶段——从19世纪80年代到20世纪30年代
在此阶段的前半时期，已经发现了逻辑演算系统。首先由德国数学家和逻辑学家弗雷格先引进和使用了量词和约束变元，并完备的发展了命题演算和谓词演算，建立了第一个比较严格的逻辑演算系统，并且经过多国数学家的研究和发展，最终形成了数理逻辑的三大派，第一，逻辑主义派，第二，直觉主义派，第三，形式主义派。
2.3第三个阶段——从20世纪30年代末到今天
20世纪30年代所创建的那些方法在40年代后得到了进一步的迅速发展，取得的成就是多方面的，它已经形成了自己的理论体系，即数理逻辑的五大部分：（1）逻辑演算（2）证明论（3）集合论（4）模型论（5）递归论
3.不同发展阶段的中心问题
3.1第一阶段
在此阶段，研究的中心问题主要是运用一些初级的数学方法如符号和简单的代数方法来处理古典逻辑中演绎推理的形式和规律。将逻辑进一步形式化，用代数的方法，把命题的形式结构用符号和公式来表达，把推理中前提与结论之间的关系转换为公式与公式之间的运算，从而推动逻辑学的发展。
3.2第二阶段
在此阶段，研究的中心问题是把初等数论和集合论等数学方法运用到逻辑上。
并且许多数学家和逻辑学家开始研究和讨论悖论问题，研究数学及处理的无穷问题、证明论、公理方法等问题，这些问题的研究对于演绎科学方法是一个大的飞跃。
3.3第三阶段
由于技术的发展，在此阶段的数理逻辑成为了计算机科学的基础理论之一，它的研究围绕着语义和形式系统的语法，并将这些研究应用在计算机科学上，解决计算机软件的语言设计问题等。
4.总结
数理逻辑是我们今天科学的建立和发展的基础，是推动社会发展的动力因素，是计算机科学发展的重要基础，对数学以及其他学科的发展都有着重大的意义。
离散数学形成性考核作业（四） 数理逻辑部分 本课程形成性考核作业共4次，内容由中央电大确定、统一布置。本次形考作业是第四次作业，大家要认真及时地完成数理逻辑部分的形考作业，字迹工整，抄写题目，解答题有解答过程。 第6章命题逻辑 1．判断下列语句是否为命题，若是命题请指出是简单命题还是复合命题． （1）8能被4整除． （2）今天温度高吗？ （3）今天天气真好呀！ （4）6是整数当且仅当四边形有4条边． （5）地球是行星． （6）小王是学生，但小李是工人． （7）除非下雨，否则他不会去． （8）如果他不来，那么会议就不能准时开始． 解：此题即是教材P.184习题6（A）1 （1）、（4）、（5）、（6）、（7）、（8）是命题，（2）、（3）不是命题。 其中（1）、（5）是简单命题，（4）、（6）、（7）、（8）是复合命题。 2．翻译成命题公式 （1）他不会做此事． （2）他去旅游，仅当他有时间． （3）小王或小李都会解这个题． （4）如果你来，他就不回去． （5）没有人去看展览． （6）他们都是学生． （7）他没有去看电影，而是去观看了体育比赛． （8）如果下雨，那么他就会带伞． 解：此题即是教材P.184习题6（A）2
会带伞。 ：如果下雨，那么他就：他会带伞。 ：天下雨。）（。是去观看了体育比赛。：他没有去看电影，而。 ：他去观看了体育比赛：他去看电影。）（：他们都是学生。 ）（：没有人去看展览。 ：有人去看展览。）（去。 ：如果你来，他就不回：他回去。：你来。）（道题。：小王或小李都会解这：小李会解这道题。 ：小王会解这道题。）（时间。 ：他去旅游，仅当他有：他有时间。 ：他去游泳。）（：他不会做此事。：他会做此事。）（Q P Q P Q P Q P P P P Q P Q P Q P Q P Q P Q P P P →∧???→∧→?87654321 3．设P ，Q 的真值为1；R ，S 的真值为0，求命题公式(P ∨Q )∧R ∨S ∧Q 的真值． 解：此题即是教材P.184习题6（A ）4（2） (P ∨Q )真值为1，(P ∨Q )∧R 真值为0，S ∧Q 真值为0， 从而(P ∨Q )∧R ∨S ∧Q 真值为0。 4．试证明如下逻辑公式 （1） ┐（A ∧┐B ）∧（┐B ∨C ）∧┐C ? ┐（A ∨C ） （2） (P →Q )∧(Q →R )∧┐R ??P （此题即是教材P.185习题6（A ）5（1）、（4）） ) 7() () 8()6)(5()7()4)(2()6()4)(3()5()4()3()1() 2()() 1()(), (),(由由由由由证明：结论：前提：T B A T B A T A T B P C P C B T B A P B A B A C C B B A ∨??∧????∨?∨??∧?∨??∨??∧? ) 4)(3() 5()4()2)(1()3() 2() 1(), (),(由由证明：结论：前提：T P P R T R P P R Q P Q P P R R Q Q P ??→→→??→→
一、选择题 1、永真式的否定是（2） (1) 永真式 (2) 永假式 (3) 可满足式 (4) (1)--(3)均有可能 2、设P ：2×2=5，Q ：雪是黑的，R ：2×4=8，S ：太阳从东方升起，则下列真命题为(1) (1)R Q P ∧→ (2)S P R ∧→ (3)R Q S ∧→ (4) )()(S Q R P ∧∨∧。 3、设P ：我听课，Q ：我看小说，则命题R “我不能一边听课，一边看小说”的符号化为⑵ ⑴ P Q → ⑵Q P ?→(3) Q P →? ⑷ P Q ?→?()P Q ?∧ 提示：()R P Q P Q ??∧?→? 4、下列表达式错误的有⑷ ⑴()P P Q P ∨∧? ⑵()P P Q P ∧∨? ⑶()P P Q P Q ∨?∧?∨ ⑷()P P Q P Q ∧?∨?∨ 5、下列表达式正确的有⑷ ⑴ P P Q ?∧ ⑵ P Q P ?∨ ⑶ ()Q P Q ???→⑷Q Q P ??→?)( 6、下列联接词运算不可交换的是(3) ⑴∧ ⑵∨ (3)→ ⑷ ? 6、设D ：全总个体域，F （x ）：x 是花，M(x) ：x 是人，H(x,y)：x 喜欢y ，则命题“有的人喜欢所有的花”的逻辑符号化为⑷ ⑴(()(()(,))x M x y F y H x y ?∧?→ ⑵(()(()(,))x M x y F y H x y ?∧?→ (3) (()(()(,))x M x y F y H x y ?∧?→ ⑷(()(()(,))x M x y F y H x y ?∧?→ 7、设L(x)：x 是演员，J(x)：x 是老师，A(x , y)：x 钦佩y ，命题“所有演员都钦佩某些 老 师”的逻辑符号化为⑵ ⑴)),()((y x A x L x →? ⑵))),()(()((y x A y J y x L x ∧?→? (3) )),()()((y x A y J x L y x ∧∧?? ⑷)),()()((y x A y J x L y x →∧?? 8、谓词公式)())()((x Q y yR x P x →?∨?中的 x 是⑶ ⑴自由变元 ⑵约束变元 ⑶既是自由变元又是约束变元 ⑷既不是自由变元又不是约束变元 9、下列表达式错误的有⑴ ⑴(()())()()x A x B x xA x xB x ?∨??∨? ⑵(()())()()x A x B x xA x xB x ?∧??∧? (3) (()())()()x A x B x xA x xB x ?∧??∧? ⑷(()())()()x A x B x xA x xB x ?∨??∨?
数学史选择题集锦
1、首先获得四次方程一般解法的数学家是( D )。 A. 塔塔利亚 B. 卡尔丹 C. 费罗 D.费拉里 2、最先建立“非欧几何”理论的数学家是( B )。 A. 高斯 B. 罗巴契夫斯基 C. 波约 D. 黎曼 3、提出“集合论悖论”的数学家是( B )。 A.康托尔 B.罗素 C.庞加莱 D.希尔伯特 4、( 泰勒斯 )在数学方面的贡献是开始了命题的证明，被称为人类历史上第一 位数学家 A. 阿基米德 B. 欧几里得 C. 泰勒斯 D. 庞加莱 5、数学史上最后一个数学通才是( B ) A、熊庆来 B、庞加莱 C、牛顿 D、欧拉 7、当今数学包括了约 A 多个二级学科。 A、400 B、500 C、600 D、700。 1、秦九韶是“宋元四大家”之一，其代表作是（）。 （A）九章算术（B）九章算术注（C）数书九章（D）四元玉鉴 2、下面哪位数学家最早得到了正确的球的体积公式（）。 （A）欧几里得（B）祖冲之（C）刘徽 （D）阿基米德 3、古代几何知识来源于实践，在不同的地区，不同的几何学的实践来源不尽相同，古代埃及的几何学产生于
（A）测地（B）宗教（C）天文 （D）航海 4、“零号”的发明是对世界文明的杰出贡献，它是由下列国家发明的（）。 （A）中国（B）阿拉伯（C）巴比伦（D）印度 5、最早发现圆锥曲线的是下列哪位数学家（）。 （A）欧几里得（B）阿波罗尼奥斯（C）毕达哥拉斯 （D）梅内赫莫斯 6、下列哪位数学家提出猜想：每个偶数是两个素数之和；每个奇数是三个素数之和（）。 （A）费马（B）欧拉（C）哥德巴赫（D）华林 7、下列哪位数学家首先证明了五次和五次以上的代数方程的根式不可解性（）。 （A）拉格朗日（B）阿贝尔（C）伽罗瓦（D）哈密顿 8、在非欧几何的先行者中中，最先对“第五公设能由其他公设证明”表示怀疑的数学家（）。 （A）克吕格尔（B）普罗克鲁斯（C）兰伯特（D）萨凯里 9、下列数学家中哪位数学家被称作“现代分析学之父”（）。
玛 氏 食 品 ( 中国 ) 有 限 公 司 姓名：武英杰 性别：男 1-25 题均为选择题，只有一个正确答案。答案写在( ) 内 1-6 题根据下列数字规律，选择( )内应填数字： ( B ) 1、 2，9，16，23，30，（ ） A.35 B.37 C.39 D.41 ( C ) 2、 5，11，20，32，（ ） A ．43 B ．45 C ．47 D ．49 ( C )3、 1，2，3，5，（ ），13 A 9 B 11 C 8 D7 ( A )4、 5，7，（ ），19，31，50 A 12 B 13 C 10 D11 ( C )5、 8，4，2，2，（ ） A 、2 B 、3 C 、4 D 、5 ( C)6、 14，20，29，41，( ) A.45 B.49 C.56 D.72 ( A ) 7、. 15.025.053÷?的值是： A ．1 B ．1.5 C ．1.6 D ．2.0 ( C ) 8、 1994年第二季度全国共卖出汽车297600辆，与上年同期相比增长了 24%。上年同期卖出多少辆汽车?
A．714224 B．226176 C．240000 D．369024 ( D ) 9、甲、乙两地相距42公里，A、B两人分别同时从甲乙两地步行出发， A的步行速度为3公里/小时，B的步行速度为4公里/小时，问A、B步行几小时后相遇？ A. 3 B. 4 C. 5 D. 6 ( A)10、一根绳子长40米，将它对折剪断；再对剪断；第三次对折剪断，此时每根绳子长多少米？ A、5 B、10 C、15 D、20 ( B ) 11、如果一米远栽一棵树，则285米远可栽多少棵树？ A、285 B、286 C、287 D、284 (B ) 12、在一本300页的书中，数字“1”在书中出现了多少次？ A、140 B、160 C、180 D、120 ( D ) 13、自然数A、B、 C、 D的和为90，已知A加上2，B减去2，C乘以 2，D除以2之后所得结果相同，则B等于（） A、26 B、24 C、28 D、22 ( B ) 14、某人工作一年的报酬是18000元和一台全自动洗衣机,他干了7个月, 得到9500和一台全自动洗衣机,问这台洗衣机值多少元? A.8500元 B.2400元 C.2000元 D.1700元 ( B ) 15、橱窗：商品；相当于 A 电影：明星 B 书架：书籍 C 宇宙：星球 D 餐馆：厨师
“离散数学”数理逻辑部分考核试题答案 ━━━━━━━━━━━━━━━━━━★━━━━━━━━━━━━━━━━━━ 一、命题逻辑基本知识（5分） 1、将下列命题符号化（总共4题，完成的题号为学号尾数取4的余，完成1题。共2分） （0）小刘既不怕吃苦，又爱钻研。 解：p∧q，其中，P：小刘怕吃苦；q：小刘爱钻研。 （1）只有不怕敌人，才能战胜敌人。 解：q→p，其中，P：怕敌人；q：战胜敌人。 （2）只要别人有困难，老张就帮助别人，除非困难已经解决了。 解：r→(p→p)，其中，P：别人有困难；q：老张帮助别人；r：困难解决了。 （3）小王与小张是亲戚。 解：p，其中，P：小王与小张是亲戚。 2、判断下列公式的类型（总共5题，完成的题号为学号尾数取5的余，完成1题。共1分） （0）A：((p q)((p q) (p q))) r （1）B：(p(q p)) (r q) （2）C：(p r) (q r) （3）E：p(p q r) （4）F：(q r) r 解：用真值表判断，A为重言式，B为矛盾式，C为可满足式，E为重言式，F为矛盾式。 3、判断推理是否正确（总共2题，完成的题号为学号尾数取2的余，完成1题。共2分） （0）设y=2|x|，x为实数。推理如下：如y在x=0处可导，则y在x=0处连续。发现y在x=0处连续，所以，y在x=0处可导。 解：设y=2|x|，x为实数。令P：y在x=0处可导，q：y在x=0处连续。由此，p为假，q为真。本题推理符号化为：(p q) q p。由p、q的真值，计算推理公式真值为假，由此，本题推理不正确。 （1）若2和3都是素数，则6是奇数。2是素数，3也是素数。所以，5或6是奇数。 解：令p:2是素数，q:3是素数，r:5是奇数，s:6是奇数。由此，p=1，q=1，r=1，s=0。本题推理符号化为： ((p q) →s) p q) →(r s)。计算推理公式真值为真，由此，本题推理正确。 二、命题逻辑等值演算（5分） 1、用等值演算法求下列公式的主析取范式或主合取范式（总共3题，完成的题号为学号尾数取3的余，完成1题。共2分） （0）求公式p→((q∧r) ∧(p∨(q∧r)))的主析取范式。 解：p→((q∧r) ∧(p∨(q∧r)))p∨(q∧r∧p) ∨(q∧r∧q∧r) p∨(q∧r∧p) ∨0 (p∧q∧r) ∨ (p∧1∧1) ∨(q∧r∧p) (p∧(q∨q)∧(r∨r)) ∨(q∧r∧p) (p∧(q∨q)∧(r∨r)) ∨m7 (p∧q∧r)∨(p∧q∧r)∨(p∧q∧r)∨(p∧q∧r)∨m7 m0∨m1∨m2∨m3∨m7. （1）求公式((p→q)) ∨(q→p)的主合取范式。 解：((p→q)) (q→p) (p→q) (p→q) (p→q) p q M2.
中国古代逻辑为何未能进一步发展 冯颜利周芬 [摘要]：古代中国和古希腊几乎同时产生了逻辑，但前者逻辑却并未像后者逻辑一样得到长足的发展，原因是什么呢？古希腊传统逻辑中产生和使用了符号促进了其逻辑的发展，西方近代逻辑的进一步符号化产生了数理逻辑，带来了逻辑史上的重大革命，现在数理逻辑是世界逻辑发展的主流；中国方块文字的整体结构特点和语言表述上的特点，以及中国汉字的自我完善性，致使中国古代逻辑不易引入符号，缺乏符号障碍了逻辑的发展，这可能是中国古代逻辑未能进一步发展的主要原因。 [关键词]：中国，古代逻辑，未能发展，原因，符号 Why Didn't Logic Further Developed in Ancient China Feng Yanli, ZhouFen （Feng Yanli ：Academy of Logic and Intelligence in Xinan University /Academy of Marxism in Chinese Academy of Social Sciences. ZhouFen: School of Politics and Public Management in Xinan University） Abstract :Logic was produced in ancient China and ancient Greece almost at the same time, but later the Chinese logic stopped developing by leaps and bounds as the Greece logic. What is the main reason? The symbols invented and adopted in Greek traditional logic promoted the development of logic in ancient Greece. Mathematical logic which originated in the further evolution of symbols has brought an important revolution in the history of logic. It is now the mainstream of the world logic. However, the features of Chinese characters, namely the overall ideographic structure and the self-perfection of the language system, impeded the introduction of symbols in ancient Chinese logic. The lack of symbols is probably the main reason why Chinese ancient logic ceased advancing. Keyword：China; Ancient logic; Reason; Symbol （作者：冯颜利，男，1963.8出生，湖南临湘人，教授，博士，西南大学逻辑与智能研究中心\政管学院，中国社科院马克思主义研究院，主要研究逻辑哲学、发展问题与公正理论；周芬，女，1982.11出生，山东临清人，西南大学政治与公共管理学院研究生，主要研究逻辑哲学与发展理论。） 引言 逻辑是推理的学问，是对思维的思维，是思维的科学。逻辑既体现着思维方式，又影响着思维方式。逻辑的表达方式既有自然语言也有人工语言，而人工语言即是指逻辑符号，它排除了自然语言中修辞之类的内容，专注于概念本身和概念之间的联系，因此它就排除了自然语言的模糊性和不确定性，比自然语言更严格地遵守规则，用这套符号系统来重新表述逻辑的基本概念和推理规则，使推理不再依赖于直觉，也没有跳跃和脱节。遵循这些规则，任何人都可以检验每一推理的前提和步骤，无歧义地达到同样的结论。逻辑只有建立在这样一套高度概括、抽象、严格化和精确化的符号系统中，才能得到飞跃发展。而中国古代逻辑虽然产生早而且有过辉煌的历史，但是由于中国汉字的象形与会意特点，其语言表达不易符号
离散数学数理逻辑部分综合练习辅导 一、单项选择题 1．设P ：我将去打球，Q ：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )． A ．P Q → B ．Q P → C ．Q P ? D ．Q P ?∨? 因为语句“仅当我有时间时”是“我将去打球”的必要条件，所以选项B 是正确的． 正确答案：B 一般地，当语句是由“……，仅当……”组成，它的符号化用条件联结词→． 问：如果把“我将去打球”改成“我将去学习”、“我将去旅游”等，会符号化吗？ 2．设命题公式G ：)(R Q P ∧→?，则使公式G 取真值为1的P ，Q ，R 赋值分别是 ( )． A ．0, 0, 0 B ．0, 0, 1 C ．0, 1, 0 D ．1, 0, 0 个人收集整理 勿做商业用途 当P 为真值为1时，P ?的真值为0，无论()Q R ∧的真值是1还是0，命题公式G 的真值为1．所以选项D 是正确的． 正确答案：D 3．命题公式P ∨Q 的合取范式是 ( )． A ．P ∧Q B ．（P ∧Q ）∨（P ∨Q ） C ．P ∨Q D ．?（?P ∧?Q ） 复习合取范式的定义： 定义6.6.2 一个命题公式称为合取范式，当且仅当它具有形式： A 1∧A 2∧…∧A n ， （n ≥1） 其中A 1，A 2，…，A n 均是由命题变元或其否定所组成的析取式． 由此可知，选项B 和D 是错的．又因为P ∧Q 与P ∨Q 不是等价的，选项A 是错的．所以，选项C 是正确的． 正确答案：C 4．命题公式)(Q P →?的析取范式是( )． A ．Q P ?∧ B Q P ∧? C ．Q P ∨? D ．Q P ?∨ 复习析取范式的定义： 定义6.6.3 一个命题公式称为析取范式，当且仅当它具有形式： A 1∨A 2∨…∨A n ， （n ≥1） 其中A 1，A 2，…，A n 均是有命题变元或其否定所组成的合取式． 公式)(Q P →?与Q P ?∧是等价的，Q P ?∧满足析取范式的定义，所以，
数理逻辑的心得 数理逻辑：是计算机科学的基础，应熟练掌握将现实生活中的条件化成逻辑公式，并能做适当的推理，这对程序设计等课程是极有用处的。是大四接触到的，现简单介绍一下数理逻辑的发展史，算是一点感悟吧 1数理逻辑的发展前期 ·前史时期——古典形式逻辑时期：亚里斯多德的直言三段论理论 ·初创时期——逻辑代数时期（17世纪末） ·资本主义生产力大发展，自然科学取得了长足的进步，数学在认识自然、发展技术方面起到了相当重要的作用。 ·人们希望使用数学的方法来研究思维，把思维过程转换为数学的计算。 ·莱布尼兹(Leibniz, 1646~1716)完善三段论，提出了建立数理逻辑或者说理性演算的思想： ·提出将推理的正确性化归于计算，这种演算能使人们的推理不依赖于对推理过程中的命题的含义内容的思考，将推理的规则变为演算的规则。 ·使用一种符号语言来代替自然语言对演算进行描述，将符号的形式和其含义分开。使得演算从很大程度上取决与符号的组合规律，而与其含义无关。 ·布尔(G. Boole, 1815~1864)代数：将有关数学运算的研究的代数系统推广到逻辑领域，布尔代数既是一种代数系统，也是一种逻辑演算。 数理逻辑的奠基时期 ·弗雷格(G. Frege, 1848~1925)：《概念语言——一种按算术的公式语言构成的纯思维公式语言》(1879)的出版标志着数理逻辑的基础部分——命题演算和谓词演算的正式建立。 ·皮亚诺(Giuseppe Peano, 1858~1932)：《用一种新的方法陈述的算术原理》(1889)提出了自然数算术的一个公理系统。 ·罗素(Bertrand Russell, 1872~1970)：《数学原理》(与怀特黑合著，1910, 1912, 1913)从命题演算和谓词演算开始，然后通过一元和二元命题函项定义了类和关系的概念，建立了抽象的类演算和关系演算。由此出发，在类型论的基础上用连续定义和证明的方式引出了数学（主要是算术）中的主要概念和定理。 ·逻辑演算的发展：甘岑(G. Gentzen)的自然推理系统(Natural Deduction System)，逻辑演算的元理论：公理的独立性、一致性、完全性等。 ·各种各样的非经典逻辑的发展：路易斯(Lewis, 1883~1964)的模态逻辑，实质蕴涵怪论和严格蕴涵、相干逻辑等，卢卡西维茨的多值逻辑等。 集合论的悖论使得人们觉得数学产生了第三次危机，提出了数学的基础到底是什么这样的问题。 ·罗素等的逻辑主义：数学的基础是逻辑，倡导一切数学可从逻辑符号推出，《数学原理》一书是他们这一思想的体现。为解决悖论产生了逻辑类型论。 ·布劳维尔(Brouwer, 1881~1966)的直觉主义：数学是心灵的构造，只承认可构造的数学，强调构造的能行性，与计算机科学有重要的联系。坚持潜无穷，强调排中律不能用于无穷集合。海丁(Heyting)的直觉主义逻辑。 ·希尔伯特(D. Hilbert)的形式主义：公理化方法与形式化方法，元数学和证明论，提倡将逻辑演算和数学证明本身形式化，把用普通的语言传达的内容上的数学科学变为用数学符号和逻辑符号按一定法则排列的一堆公式。为了消除悖论，要数学建立在公理化基础上，将
离散数学作业6 数理逻辑部分概念及性质 单项选择题 1．设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )． A．P ∨ P? ?Q→B．Q P?D．Q P→C．Q 答 B 2．设命题公式G：) ?，则使公式G取真值为1的P，Q，R赋值 → P∧ (R Q 分别是( )． A．0, 0, 0 B．0, 0, 1 C．0, 1, 0 D．1, 0, 0 答 D 3．命题公式(P∨Q)→R的析取范式是( )． A．?(P∨Q)∨R B．(P∧Q)∨R C．(P∨Q)∨R D．(?P∧?Q)∨R 答 D 4．命题公式（P∨Q）的合取范式是( )． A．（P∧Q）B．（P∧Q）∨（P∨Q） C．（P∨Q）D．?（?P∧?Q） 答 C 5．命题公式) ?的析取范式是( )． P→ (Q A．Q ?D．Q ∨ P∨ P? ?C．Q ∧B Q P? P∧ 解()() ?→???∨ P Q P Q ?∧? P Q 答 A 6．下列等价公式成立的为( )． A．?P∧?Q?P∨Q B．P→(?Q→P) ??P→(P→Q) C．Q→(P∨Q) ??Q∧(P∨Q) D．?P∨(P∧Q) ?Q 解A．?P∧?Q??(P∨Q) B．P→(?Q→P)??P∨(Q∨P)? P∨(?P∨Q)??P→(P→Q) C．Q→(P∨Q)??Q∨(P∨Q) D．?P∨(P∧Q)?(?P∨P)∧(?P∨Q)?1∧(?P∨Q)??P∨Q
答 B 7．下列公式成立的为( )． A ．?P ∧?Q ?P ∨Q B ．P →?Q ??P →Q C ．Q →P ? P D ．?P ∧(P ∨Q )?Q 解 A ．?P ∧?Q ??(P ∨Q ) B ．P →?Q ??P ∨?Q C ．(Q →P )→P ??(?Q ∨P )∨P ?(Q ∧?P )∨P ?(Q ∨P )∧(?P ∨P ) ?(Q ∨P )∧1?P ∨Q （不是永真式） D ．?P ∧(P ∨Q )?Q （析取三段论，P171公式(10)） 答 D 8．下列公式中 ( )为永真式． A ．?A ∧? B ? ?A ∨?B B ．?A ∧?B ? ?(A ∨B ) C ．?A ∧?B ? A ∨B D ．?A ∧?B ? ?(A ∧B ) 解 A ．A B A B ?∧???∨?/，1A B A B ?∧???∨??/ B ．()A B A B ?∧???∨，()1A B A B ?∧???∨? C ．A B A B ?∧??∨/，1A B A B ?∧??∨?/ D ．()A B A B ?∧???∧/，()1A B A B ?∧???∧?/ 答 B 9．下列公式 ( )为重言式． A ．?P ∧?Q ?P ∨Q B ．(Q →(P ∨Q ))?(?Q ∧(P ∨Q )) C ．(P →(?Q →P ))?(?P →(P →Q )) D ．(?P ∨(P ∧Q )) ?Q 解 A ．P Q P Q ?∧??∨/，1P Q P Q ?∧??∨?/ B ．(())1Q P Q Q P Q →∨??∨∨? (())()()()1Q P Q Q P Q Q P Q ?∧∨??∧∨?∧?∧??/ (())(())1Q P Q Q P Q →∨??∧∨?/ C ．()()()()P Q P P Q P P P Q P P Q →?→??∨∨?∨?∨??→→ (P →(?Q →P ))?(?P →(P →Q ))?1 D ．()()()P P Q P P P Q P Q Q ?∨∧??∨∧?∨??∨?/ (())1P P Q Q ?∨∧??/ 答 C 10．设A （x ）：x 是人，B （x ）：x 是学生，则命题“不是所有人都是学生”可符号化为（ ）．
数学发展简史 数学发展史大致可以分为四个阶段。 一、数学形成时期（——公元前5 世纪） 建立自然数的概念，创造简单的计算法，认识简单的几何图形；算术与几何尚未分开。 二、常量数学时期（前5 世纪——公元17 世纪） 也称初等数学时期，形成了初等数学的主要分支：算术、几 何、代数、三角。该时期的基本成果，构成中学数学的主要内容。 1．古希腊（前5 世纪——公元17 世纪） 毕达哥拉斯——“万物皆数” 欧几里得——《几何原本》 阿基米德——面积、体积 阿波罗尼奥斯——《圆锥曲线论》 托勒密——三角学
丢番图——不定方程 2．东方（公元2 世纪——15 世纪） 1）中国 西汉（前2 世纪）——《周髀算经》、《九章算术》 魏晋南北朝（公元3 世纪——5 世纪）——刘徽、祖冲之出入相补原理，割圆术，算π 宋元时期（公元10 世纪——14 世纪）——宋元四大家杨辉、秦九韶、李冶、朱世杰 天元术、正负开方术——高次方程数值求解； 大衍总数术——一次同余式组求解 2）印度 现代记数法（公元8 世纪）——印度数码、有0；十进制（后经阿拉伯传入欧洲，也称阿拉伯记数法）
数学与天文学交织在一起 阿耶波多——《阿耶波多历数书》（公元499 年） 开创弧度制度量 婆罗摩笈多——《婆罗摩修正体系》、《肯特卡迪亚格》代数成就可贵 婆什迦罗——《莉拉沃蒂》、《算法本源》（12 世纪）算术、代数、组合学 3）阿拉伯国家（公元8 世纪——15 世纪） 花粒子米——《代数学》曾长期作为欧洲的数学课本 “代数”一词，即起源于此；阿拉伯语原意是“还原”，即“移项”；此后，代数学的内容，主要是解方程。 阿布尔．维法 奥马尔．海亚姆
论文标题:集合论思想的演变及在当代中国的发展 论文作者姜玉声/朱焕志 论文关键词,论文来源自然辩证法研究,论文单位京,点击次数148,论文页数031-037页1995年1995月论文网https://www.doczj.com/doc/778061518.html,/paper_143662921/ 集合论自上世纪７０年代由德国数学家G.Cantor创立以来，不断促进着许多数学分科的发展，并成为全部现代数学的基础。然而，近３０年来又相继出现了Fuzzy集合论与可拓集合论。为说明这两种集合论的产生在数学史中的意义，理清集合论思想演变的脉络，弘扬我国学者在这一发展中的创造精神，本文拟在简要回顾集合论思想从Cantor到Fuzzy的演变的基础上，就可拓集合论的产生与发展加以分析、研讨集合论思想发展的规律，谈谈我们的浅见。 １集合论思想从Cantor到Fuzzy的演变 长期以来，人们利用数学处理问题的主导思想通常是“枝是枝，蔓是蔓”，不允许半点儿“含混”，语言的“准确”，推理的“严格”，结论的“确定”从来天经地义。［（１）ａ］数学中的这种传统观念，把人们的思想局限在“确定性”的小天地里。所谓“确定性”，它要求概念有明确的外延，逻辑上严格地遵从形式逻辑的四条基本规律，结论只能是唯一确定的。与这种观念相适应，数学中便产生了Cantor集合论。 众所周知，集合是数学中的一个不定义概念。所谓集合，是指具有某种特定属性的对象的全体，集合中的每一个体（对象）叫做集合的元素。按Cantor的集合论，一个元素ｘ与一个集合Ａ的关系只能有属于（记作∈）和不属于（记作 ）两种，二者必居其一且仅居其一，即 ｘ∈Ａ或ｘ Ａ。如表为特征函数的形式，记集合Ａ的特征函数为Ｃ［，Ａ］（ｘ），则有在长时间里，这种集合论思想占据统治地位，可以说整个传统数学［（２）ａ］就建立在这种集合论的基础上。实践表明，Cantor的集合论在研究确定性事物的范围内显现着巨大作用，其光辉是永不磨灭的。 然而，随着社会的发展，人类的知识视野和研究领域不断扩大，需要探讨的问题加速度地增加着。于是，不确定性现象，特别是其中的模糊性现象，逐渐被人们意识。具体地说，近几十年来，学者们不断发觉，某些现象呈现出不确定性，是由于概念本身就没有明确的外延，逻辑上并不严格遵从传统的排中律，表现为客观事物在差异的中介过渡中所呈现的“亦此亦彼”性。例如，人的年轻与年老、环境的清洁与脏污及天气的晴与阴等许多对立概念之间，都没有绝对分明的界限。严格地说，这些概念都没有明确的外延。若按这些概念去确定“集合”，则相应的“集合”都没有清晰的边界，一个元素是否属于某个“集合”不是很分明的。当然，如果数学家同意把这样的“集合”仍称为集合的话，则这种集合已经不是Cantor意义下的经典集合了。一个对象对于一个这样的集合，除可以属于和不属于外，还可以有某种程度的属于或不属于，而且后者才是更一般的情形。譬如，若用年轻人这个概念构造这种集合，要问一个人是否属于这个集合，即是否年轻，则除了年轻和不年轻这两个极端情形外，还要遇到比较年轻、基本年轻等不少中间过渡的档次，且每一档次内还可细分更小的档次。这就是事物的模糊性。为了研究和处理模糊性事物，美国控制论专家L.A.Zadeh教授于１９６５年提出了Fuzzy集合论。 Fuzzy集合论的基本思想较集中地体现在下面的开创性概念中：所谓给定了论域Ｕ上的一个模糊子集Α，是指对于任意的ｕ∈Ｕ，都指定了一个数μ （ｕ）∈〔０，１〕，用它来表示ｕ对Ａ的隶属程度，叫ｕ对 的隶属度。映射叫做 的隶属函数。［（１）］有了这个概
作业答案：数理逻辑部分 P14：习题一 1、下列句子中，哪些是命题？在是命题的句子中，哪些是简单命题？哪些是真命题？哪些命题的真值现在还不知道？ （3 答：简单命题，真命题。 （9）吸烟请到吸烟室去！ 答：不是命题。 （12）8是偶数的充分必要条件是8能被3整除。 答：复合命题，假命题。 14、讲下列命题符号化。 （6）王强与刘威都学过法语。 答：:p 王强学过法语；:q 刘威学过法语。 符号化为： p q ∧ （10）除非天下大雨，他就乘班车上班。 答：:p 天下大雨；:q 他乘班车上班。 符号化为： p q → （13）“2或4是素数，这是不对的”是不对的。 答：:p 2是素数；:q 4是素数。 符号化为：(())p q ??∨ 15、设:p 2+3=5. :q 大熊猫产在中国。 :r 太阳从西方升起。 求下列复合命题的真值。 （2）(())r p q p →∧?? （4）()(())p q r p q r ∧∧???∨?→ 解答： p 真值为1；q 真值为1；r 真值为0. （2）p q ∧真值为1；()r p q →∧真值为1；p ?真值为0； 所以(())r p q p →∧??真值为0. （4） p q r ∧∧?真值为1，p q ?∨?真值为0，()p q r ?∨?→真值为1； 所以()(())p q r p q r ∧∧???∨?→真值为1. 19、用真值表判断下列公式的类型。 （4）()()p q q p →→?→?
所以为重言式。 )s 所以为可满足式。 P36:习题二 3、用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出其成真赋值。 （1）()p q q ?∧→ 解答： 所以为永假式。 （2）(())()p p q p r →∨∨→ 解答： 所以因为永真式。 （3）()()p q p r ∨→∧
数学发展简史 IMB standardization office【IMB 5AB- IMBK 08- IMB 2C】
数学发展简史数学发展史大致可以分为四个阶段。 一、数学形成时期（——公元前 5 世纪） 建立自然数的概念，创造简单的计算法，认识简单的几何图形；算术与几何尚未分开。 二、常量数学时期（前 5 世纪——公元 17 世纪） 也称初等数学时期，形成了初等数学的主要分支：算术、几 何、代数、三角。该时期的基本成果，构成中学数学的主要内容。 1．古希腊（前 5 世纪——公元 17 世纪） 毕达哥拉斯——“万物皆数” 欧几里得——《几何原本》 阿基米德——面积、体积 阿波罗尼奥斯——《圆锥曲线论》
托勒密——三角学 丢番图——不定方程 2．东方（公元 2 世纪——15 世纪） 1）中国 西汉（前 2 世纪）——《周髀算经》、《九章算术》 魏晋南北朝（公元 3 世纪——5 世纪）——刘徽、祖冲之出入相补原理，割圆术，算π 宋元时期（公元 10 世纪——14 世纪）——宋元四大家杨辉、秦九韶、李冶、朱世杰 天元术、正负开方术——高次方程数值求解； 大衍总数术——一次同余式组求解 2）印度 现代记数法（公元 8 世纪）——印度数码、有 0；十进制
（后经阿拉伯传入欧洲，也称阿拉伯记数法） 数学与天文学交织在一起 阿耶波多——《阿耶波多历数书》（公元 499 年） 开创弧度制度量 婆罗摩笈多——《婆罗摩修正体系》、《肯特卡迪亚格》代数成就可贵 婆什迦罗——《莉拉沃蒂》、《算法本源》（12 世纪）算术、代数、组合学 3）阿拉伯国家（公元 8 世纪——15 世纪） 花粒子米——《代数学》曾长期作为欧洲的数学课本 “代数”一词，即起源于此；阿拉伯语原意是“还原”，即“移项”；此后，代数学的内容，主要是解方程。 阿布尔．维法
中国实证主义思潮的兴起和发展之二 1923年，个园思想界展开了“科玄之战”，论战的一方以柏格森主义者张君劝为主将，另一方以马赫主义者丁文江为主将。论战中，丁文江写了三篇沦文，即《玄学与科学》、《玄学与科学——答张解劝》和《玄学与科学的讨论的余兴》。这三篇文章是马赫主义在命国传格的重要文字。通过他的论辩、阐述，马赫主义在中国成为其影响仅次于实用主义的实证主义哲学流派。论战之后，马赫主义者的主要著作陆续翻译成中文。RL药理译法国的马赫主义者彭家勒的《科学和假设》(1932年上海商务印书馆出版)，文元模译《科学的价值》(1928年上海商务印书馆出版)，郑太朴译《科学和方法》(1933年上海商务印书馆出版)，谭辅之、沈因明译英国马游主义者毕尔生的《科学入门》(1934—1936年上海辛垦书局出版)，陈望道、施存统译俄国马赫主义者波格丹诺夫的《关于社会意识的科学》(1929年上海大江书店出版)。另外，1930年上海商务印书馆出版了中园马赫主义者王星拱的著作《科学概论》。 因此，“五四”期间，实用主义、马赫主义、新实在论等各种实证主义流派广辽传播，彤响最大者数实用主义。胡适对实用主义员为信服，宣传也最为得力。当然，胡适对实用主义也非照搬照如，而是有所取合。其取舍的标被则依据实证主义的原则。例如，他强调实用主义只是一种方法论，是皮尔士所说的“科学实验塞的态皮”。詹的斯的实用主义宗教气味过重，道到胡适的批评，他说“詹姆斯是富于宗教
心的人。他虽是实验主义的宣传者，他的性情报本上和实验主义有点合不拢来。”①而这所谓“合不拢来”，在很大程度上是因为宏姆斯‘反对赫胥黎一班人的存疑主义”。伦理哲学在杖成的实用主义思想体系中占有相当重要的位置：但胡适仅强调杜咸实用主义的方法论方面。他说‘“杜成效终只认实用主义是一种方法论”。其实，西方实用主义到了杜威，已经发展为包括本体论、认识论、伦理观、宗教观的庞大思想体系，而胡适则突出它的方法论的方面。按照实证主义的观点，哲学只是一种方法论，因此，尽管詹姆斯的“淑世主义”很合胡适的口味，并成为他的社会改良思想的理论来源，他却将这种“淑世主义”从实用主义中分割出来，与西方其他个人主义思想相结合，提出一种“易L生主义”’作为反封建和要求个性解放的口号。 小国近现代对西方哲学的态度经历从维新运动时期有选择的介绍到“五四”新文化运动时期大规模引进，最后发展到对西方哲学的融会吸收，进而建造自己的体系。巾围人从自己的研究出发，自打哲学学理、自创哲学理论是从三十年代开始的，到了四十年代，不仅两方的各种哲学理论，如功利主义、实证主义、实用主义、生机主义、尼采主义、唯物辩证法都已经输入并且形成了自己的学派，并且由于重视用西方的观点和方法来整理和研究中国固有文化，传统学术中的哲学思想又得到了发扬。在这近代各哲学学派争鸣时期，实证论思潮得到进一步发展，其中又形成和分化成不同的派别。这个时期受实证主义思潮影响的少园哲学，表现出二种不同的倾向；第一、从传统逻辑的研究转向数理逻辑的研究。自严复介绍穆勒名学，提倡归纳逻辑以
离散数学数理逻辑部分形成性考核书面作业本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。 要求：将此作业用A4纸打印出来，并在07任务界面下方点击“保存”和“交卷”按钮，以便教师评分．作业应手工书写答题，字迹工整，解答题要有解答过程，完成后上交任课教师（不收电子稿）． 一、填空题 1．命题公式() →∨的真值是 1 ． P Q P 2．设P：他生病了，Q：他出差了．R：我同意他不参加学习.则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为P∨Q→R ． 3．含有三个命题变项P，Q，R的命题公式P∧Q的主析取范式是(P∧Q∧┐R)∨(P∧Q∧R) ． 4．设P(x)：x是人，Q(x)：x去上课，则命题“有人去上课．”可符号化为?x ( P ( x) ∧Q ( x))． 5．设个体域D＝{a, b},那么谓词公式) xA? ∨ x ?消去量词后的等值式为 yB ( ) (y (A(a)∨A(b))∨(B(a) ∧B(b))． 6．设个体域D＝{1, 2, 3}，A(x)为“x大于3”，则谓词公式(?x)A(x) 的真值为0 ． 7．谓词命题公式(?x)((A(x)∧B(x)) ∨C(y))中的自由变元为y ．8．谓词命题公式(?x)(P(x) →Q(x) ∨R(x，y))中的约束变元为x ． 三、公式翻译题 1．请将语句“今天是天晴”翻译成命题公式． 解：
研究中国传统数学中逻辑思想与方法的必要性一直以来，不论是在逻辑史学界，还是在数学史学界，对于中国传统数学中的逻辑思想与方法的研究没有得到应有的重视。但从下面我们简单论述来看，加强这方面的研究却具有显明的必要性。 一、从逻辑与数学的关系看 数学与逻辑的研究对象虽各不相同，但它们的性质、特点却有很多共同和类似的地方，正因为如此，才使得它们关系十分密切，在内容和方法上可以互相运用和相互渗透。 一般认为，数学是研究空间形式和数量关系的一门科学，逻辑是研究思维形式及其规律和方法的一门科学，但它们都完全撇开其内容，仅仅从形式方面加以研究，因而均具有高度的抽象性，所以在分类上它们同属于形式科学。同时，数学和逻辑的应用都十分广泛，往往成为研究其它科学的工具，因此常常同被人们称为工具性科学。 围绕逻辑与数学的关系讨论下去，曾经形成三种意见──逻辑主义、形式主义和直觉主义。其中逻辑主义、直觉主义，过多强调了数学和逻辑的同一性，而忽视了数学与逻辑的差异性。因此，认识数学和逻辑的关系，在于把握二者关系的辩证性──同一、差异又互补。 首先，肯定数学和逻辑的同一性。这是因为： (1) 数学和逻辑都是高度抽象的学科，数学是研究数量的形式结构的，逻辑是研究思维的形式结构的，形式结构都是高度抽象的，是抽象结构，它们的定义、定理、原理、法则等的正确性均不涉及各种事物具体内容； (2) 数学和逻辑都讲严格性，数学只有具有推理论证的严密性和结论的确定性或可靠性才成其为科学，逻辑也只有当它的推理论证严格而公理系统化时才形成科学； (3) 数学和逻辑都具有广泛的应用性，数学的应用自不待言，对逻辑而言可以肯定地说哪里有思维哪里就要逻辑，一切科学都在应用逻辑。 其次，数学与逻辑的差异性也是明显的。一方面，数学和逻辑的研究对象不同，数学的研究对象是一切事物的数与量的属性，而逻辑学的研究对象是思维的形式及规律；另一方面，数学和逻辑的任务和目标不相同，数学的主要目标和任务是揭示客观事物的量和数的规律性，而逻辑的主要目标和任务却是为了解决思维推理形式的有效性或真值性问题。
离散数学作业7答案(数理逻辑部分)
离散数学作业7 离散数学数理逻辑部分形成性考核书面作业 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。 要求：将此作业用A4纸打印出来，并在07任务界面下方点击“保存”和“交卷”按钮，以便教师评分．作业应手工书写答题，字迹工整，解答题要有解答过程，完成后上交任课教师（不收电子稿）． 一、填空题 1．命题公式()P Q P →∨的真值是 1 ． 2．设P ：他生病了，Q ：他出差了．R ：我同意他不参加学习. 则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为 P ∨Q →R ． 3．含有三个命题变项P ，Q ，R 的命题公式P ∧Q 的主析取范式是 (P ∧Q ∧┐R) ∨(P ∧Q ∧R) ． 4．设P (x )：x 是人，Q (x )：x 去上课，则命题“有人去上课．” 可符号化为 ? x ( P ( x ) ∧ Q ( x )) ． 5．设个体域D ＝ {a , b },那么谓词公式)()(y yB x xA ?∨?消去量词后的等值 式为 (A(a) ∨A(b)) ∨ (B(a) ∧B(b)) ． 6．设个体域D ＝{1, 2, 3}，A (x )为“x 大于3”，则谓词公式(?x )A (x ) 的真值为 0 ． 7．谓词命题公式(?x )((A (x )∧B (x )) ∨C (y ))中的自由变元为 y ． 8．谓词命题公式(?x )(P (x ) →Q (x ) ∨R (x ，y ))中的约束变元为 x ． 三、公式翻译题