离散数学 第3章 命题逻辑.pptVIP

一般来说, 只要不是非常明显的不可兼就使用?. 例 p: 今天晚上我在寝室上自习, q :今天晚上我去电影院看电影. 今天晚上我在寝室上自习或去电影院看电影。 p ? q. 解： 1661年，15岁的莱布尼茨进入莱比锡大学学习法律，一进校便跟上了大学二年级标准的人文学科的课程。1663年5月，他以《论个体原则方面的形而上学争论》一文获学士学位。 1664年1月，莱布尼茨完成了论文《论法学之艰难》，获哲学硕士学位。 1665年，莱布尼茨向莱比锡大学提交了博士论文《论身份》，1666年，审查委员会以他太年轻(年仅20岁)而拒绝授予他法学博士学位，他对此很气愤，于是毅然离开莱比锡，前往纽伦堡附近的阿尔特多夫大学，并立即向学校提交了早已准备好的那篇博士论文，1667年2月，阿尔特多夫大学授予他法学博士学位，还聘请他为法学教授。 这一年，莱布尼茨发表了他的第一篇数学论文《论组合的艺术》。这是一篇关于数理逻辑的文章，后来的一系列工作使他成为数理逻辑的创始人。 1666年，莱布尼茨获得法学博士学位后，在纽伦堡加入了一个炼金术士团体，1667年，通过该团体结识了政界人物博因堡男爵约翰·克里斯蒂文，并经男爵推荐给选帝迈因茨，从此莱布尼茨登上了政治舞台，投身外交界，在美因茨大主教舍恩博恩的手下工作。 从1695年起，莱布尼茨就一直为在柏林建立科学院四处奔波，到处游说。1698年，他为此亲自前往柏林。1700年，当他第二次访问柏林时，终于得到了弗里德里希一世，特别是其妻子(汉诺威奥古斯特公爵之女)的赞助，建立了柏林科学院，他出任首任院长。1700年2月，他还被选为法国科学院院士。至此，当时全世界的四大科学院：英国皇家学会、法国科学院、罗马科学与数学科学院、柏林科学院都以莱布尼茨作为核心成员。 俄国的彼得大帝也在17ll～1716年去欧洲旅行访问时，几次听取了莱布尼茨的建议。莱布尼茨试图使这位雄才大略的皇帝相信，在彼得堡建立一个科学院是很有价值的。据传，他还曾经通过传教士，建议中国清朝的康熙皇帝在北京建立科学院。 研究领域及其成果遍及数学、物理学、力学、逻辑学、生物学、化学、地理学、解剖学、动物学、植物学、气体学、航海学、地质学、语言学、法学、哲学、历史和外交等等。 1693年，莱布尼茨发表了一篇关于地球起源的文章，后来扩充为《原始地球》一书，提出了地球中火成岩、沉积岩的形成原因。对于地层中的生物化石，他认为这些化石反映了生物物种的不断发展，这种现象的终极原因是自然界的变化，而非偶然的神迹。他的地球成因学说，尤其是他的宇宙进化和地球演化的思想，启发了拉马克、赖尔等人，在一定程度上促进了19世纪地质学理论的进展。 1677年，他写成《磷发现史》，对磷元素的性质和提取作了论述。他还提出了分离化学制品和使水脱盐的技术。 在生物学方面，莱布尼茨在1714年发表的《单子论》等著作中，从哲学角度提出了有机论方面的种种观点。他认为存在着介乎于动物、植物之间的生物，水螅虫的发现证明了他的观点。 在气象学方面，他曾亲自组织人力进行过大气压和天气状况的观察。 在形式逻辑方面，他区分和研究了理性的真理(必然性命题)、事实的真理(偶然性命题)，并在逻辑学中引入了“充足理由律”，后来被人们认为是一条基本思维定律。 1696年，莱布尼茨提出了心理学方面的身心平行论，他强调统觉作用，与笛卡儿的交互作用论、斯宾诺莎的一元论构成了当时心理学三大理论。他还提出了“下意识”理论的初步思想。　　 1691年，莱布尼茨致信巴本，提出了蒸汽机的基本思想。 1700年前后，他提出了无液气压原理，完全省掉了液柱，这在气压机发展史上起了重要作用。 法学是莱布尼茨获得过学位的学科，1667年曾发表了《法学教学新法》，他在法学方面有一系列深刻的思想。 1677年，莱布尼茨发表《通向一种普通文字》，对逻辑学、语言学做出了一定贡献。今天，人们公认他是世界语的先驱 作为著名的哲学家，他的哲学主要是“单子论”、“前定和谐”论及自然哲学理论，极大地影响了德国哲学的发展，尤其是影响了康德的哲学思想。他开创的德国自然哲学经过沃尔夫、康德、歌德到黑格尔得到了长足的发展。 莱布尼茨在担任布伦瑞克-汉诺威选帝侯史官时，著有《布伦瑞克史》三卷，他关于历史延续性的思想和从大局看小局的方法及其对于史料的搜集整理等对于日后德国哥廷根学派有着很大的影响。 今天，还有专门的莱布尼茨研究学术刊物“Leibniz”，可见其在科学史、文化史上的重要地位。 证 P(附加) P T(1)(2)I P T(3)(4)I T(5)(6)I P CP T(8)E * * 作业 P114 习题3.7 7(2), 8(2), 9(1), 11. (1646-1716) 德国最重要的自然科学家、数学家、物理学家、历史学家和哲学家