ImageVerifierCode 换一换
格式:PPT , 页数:30 ,大小:951KB ,
文档编号:5810184      下载积分:20 文币
快捷下载
登录下载
邮箱/手机:
温馨提示:
系统将以此处填写的邮箱或者手机号生成账号和密码,方便再次下载。 如填写123,账号和密码都是123。
支付方式: 支付宝    微信支付   
验证码:   换一换

优惠套餐
 

温馨提示:若手机下载失败,请复制以下地址【https://www.163wenku.com/d-5810184.html】到电脑浏览器->登陆(账号密码均为手机号或邮箱;不要扫码登陆)->重新下载(不再收费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: 微信登录  
下载须知

1: 试题类文档的标题没说有答案,则无答案;主观题也可能无答案。PPT的音视频可能无法播放。 请谨慎下单,一旦售出,概不退换。
2: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
3: 本文为用户(ziliao2023)主动上传,所有收益归该用户。163文库仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

1,本文(逻辑学-北大课全解课件.ppt)为本站会员(ziliao2023)主动上传,163文库仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。
2,用户下载本文档,所消耗的文币(积分)将全额增加到上传者的账号。
3, 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(发送邮件至3464097650@qq.com或直接QQ联系客服),我们立即给予删除!

逻辑学-北大课全解课件.ppt

1、主讲人:何向东-进入-2023年5月10日星期三2 莎士比亚在莎士比亚在威尼斯商人威尼斯商人里说,有一位品貌出众的富家姑娘叫鲍西里说,有一位品貌出众的富家姑娘叫鲍西霞,许多王孙公子为之倾倒,但她遵循已故父亲的遗嘱,必须猜匣为婚。霞,许多王孙公子为之倾倒,但她遵循已故父亲的遗嘱,必须猜匣为婚。鲍西霞身边有金、银、铅三只匣子,其中只有一只匣子里放着她的肖像,鲍西霞身边有金、银、铅三只匣子,其中只有一只匣子里放着她的肖像,这三只匣上面各刻着一句话:这三只匣上面各刻着一句话:金匣子上刻的是金匣子上刻的是“肖像不在此匣中肖像不在此匣中”,银匣子上刻了,银匣子上刻了“肖像在金匣肖像在金匣中中”,铅匣子上刻

2、了,铅匣子上刻了“肖像不在此匣中肖像不在此匣中”,这三句话只有一句是真话。,这三句话只有一句是真话。谁能根据这些情况猜中肖像放在哪只匣子里,她就嫁给谁。谁能根据这些情况猜中肖像放在哪只匣子里,她就嫁给谁。这里,如果谁能准确地运用排中思维,那他就是漂亮贤淑的鲍西霞的这里,如果谁能准确地运用排中思维,那他就是漂亮贤淑的鲍西霞的夫婿了。因为,金匣上刻的话就是说肖像不在金匣中,这与银匣上刻的夫婿了。因为,金匣上刻的话就是说肖像不在金匣中,这与银匣上刻的“肖像在金匣中肖像在金匣中”正好构成矛盾关系,两者必有一真。为了确保只有一句正好构成矛盾关系,两者必有一真。为了确保只有一句真话,那么铅匣上的真话,那么

3、铅匣上的“肖像不在此匣中肖像不在此匣中”必须是假话,由此可以判定鲍西必须是假话,由此可以判定鲍西霞的肖像就在铅匣中。霞的肖像就在铅匣中。第一章 绪论第一节第一节 逻辑学的对象逻辑学的对象2023年5月10日星期三4“逻辑”的含义“逻辑逻辑”是一个外来词,它是英文是一个外来词,它是英文LogicLogic的音译,而英文的音译,而英文LogicLogic又源于又源于希腊文希腊文ss(逻各斯),其原意是指思想、言辞、理性、规律性(逻各斯),其原意是指思想、言辞、理性、规律性等。等。“逻辑逻辑”常见的四种含义常见的四种含义:1、指客观事物的规律。、指客观事物的规律。例如:“捣蛋,失败,再捣蛋,再失败,

4、直至灭亡这是帝国主义和世界上一切反动派对待人民事业的逻辑。”2、指某种特殊的理论、观点或看问题的方法。、指某种特殊的理论、观点或看问题的方法。例如:“侵略者奉行的是强盗逻辑”3、指思维的规律、规则。、指思维的规律、规则。例如:例如:“写文章要讲逻辑写文章要讲逻辑”,“概念要明确,判断要恰当,推理要合概念要明确,判断要恰当,推理要合乎逻辑。乎逻辑。”4、指逻辑学这门科学。、指逻辑学这门科学。例如:“大学生要学点逻辑”2023年5月10日星期三5思维思维的三种类型:思维的三种类型:概念、命题、推理。概念、命题、推理。思维的主要特点:思维的主要特点:1 1、思维的概括性指思维能反映事物共有的本质属性

5、。、思维的概括性指思维能反映事物共有的本质属性。如:“商品”这一概念,就是人们对“用来交换的劳动产品”这一类事物共有的本质属性的反映。2 2、思维的间接性指思维能够在已有知识的基础上,认识那、思维的间接性指思维能够在已有知识的基础上,认识那些仅凭感性认识不能或难以真正认识的事物。些仅凭感性认识不能或难以真正认识的事物。思维是认识的理性阶段,在这个阶段,人们在感性认识的基思维是认识的理性阶段,在这个阶段,人们在感性认识的基础上,形成概念,并用其构成判断(命题)、推理和论证。础上,形成概念,并用其构成判断(命题)、推理和论证。2023年5月10日星期三6思维和语言思维和语言的关系:思维和语言的关系

6、:1、思维对客观事物概括而间接的反映思维对客观事物概括而间接的反映,是通过语言实现的。是通过语言实现的。2、作为思维类型的概念、命题、推理,必须依靠相应的语言单位才能表达和交流。语言是思维的物质外壳。3、语言也离不开思维,没有思维也就没有语言,语言的发展依赖于思维的发展。语言的分类:自然语言语言的分类:自然语言和和人工语言人工语言自然语言自然语言是人们在思维和交际中使用的语言;是人们在思维和交际中使用的语言;人工语言人工语言是为了某种目的而创制的表意符号系统。是为了某种目的而创制的表意符号系统。如:自然语言“如果天气好,那么我们就去爬山。”可用人工语言“pq”表示。2023年5月10日星期三7

7、逻辑学的研究对象狭义的逻辑狭义的逻辑:指研究推理形式的科学。指研究推理形式的科学。广义的逻辑广义的逻辑:就是研究思维的形式及其规律以及逻辑方法的科学。广义的逻就是研究思维的形式及其规律以及逻辑方法的科学。广义的逻辑除研究推理形式外,也研究与推理形式相关的各种命题形式、词项及其种辑除研究推理形式外,也研究与推理形式相关的各种命题形式、词项及其种类、关系、定义、划分等;还研究认识现实的一些逻辑方法以及逻辑理论的类、关系、定义、划分等;还研究认识现实的一些逻辑方法以及逻辑理论的应用。应用。思维的内容与形式思维的内容与形式:思维包括内容和形式两个方面。思维包括内容和形式两个方面。思维的内容:思维的内容

8、:当事物及其性质、关系、规律反映在思维之中,就构成了思维当事物及其性质、关系、规律反映在思维之中,就构成了思维的内容。的内容。例如:“货币”具有“固定充当一般等价物的商品”的性质,就形成了“货币是固定充当一般等价物的商品”这一命题的内容。思维的形式:思维的形式:思维在抽象掉具体内容之后所具有的共同结构,思维的形式又思维在抽象掉具体内容之后所具有的共同结构,思维的形式又叫思维的逻辑形式。下面的三个命题,内容各不相同:叫思维的逻辑形式。下面的三个命题,内容各不相同:2023年5月10日星期三8(1)(1)所有所有大学生都是都是学生学生。(2)(2)所有所有金属都是都是导电体导电体。(3)(3)所有

9、所有商品都是都是用来交换的劳动产品用来交换的劳动产品。但这三个命题有共同的逻辑形式但这三个命题有共同的逻辑形式:所有所有S都是都是P P(1)(1)如果如果物体发热物体发热,那么,那么物体就会膨胀物体就会膨胀。(2)(2)如果如果明天天气好明天天气好,那么,那么我就去郊游。我就去郊游。上面两个命题也有共同的逻辑形式上面两个命题也有共同的逻辑形式:如果如果p p,那么,那么q qSPp pq q2023年5月10日星期三9(1 1)所有)所有公民公民都是都是遵纪守法的人遵纪守法的人,有的,有的人人是是公民公民,所以,有的,所以,有的人人是是遵纪守法的人遵纪守法的人。(2 2)所有)所有科学科学都

10、是都是有价值的有价值的,有的,有的理论理论是是科学科学,所以,有的,所以,有的理论理论是是有价值的有价值的。这两个推理的内容不同,但有相同的逻辑形式这两个推理的内容不同,但有相同的逻辑形式:所有所有M是是P,有,有S是是M,所以,有,所以,有S是是P。所以:不同的思维内容可以有相同的思维形式所以:不同的思维内容可以有相同的思维形式。逻辑学重点研究的是思维逻辑学重点研究的是思维的逻辑形式,任何逻辑形式都由逻辑常项和逻辑变项组成。的逻辑形式,任何逻辑形式都由逻辑常项和逻辑变项组成。逻辑常项:逻辑常项:是指逻辑形式中不随思维内容变化而变化的部分。体现了逻辑形式是指逻辑形式中不随思维内容变化而变化的部

11、分。体现了逻辑形式的本质特征,是区分不同种类的逻辑形式的唯一依据。的本质特征,是区分不同种类的逻辑形式的唯一依据。逻辑变项:逻辑变项:是指逻辑形式中可变的部分。是指逻辑形式中可变的部分。命题:(1)所有的 S 都是 P P (2)如果 p p,那么 q q 逻辑常项逻辑常项逻辑变项逻辑变项2023年5月10日星期三10推理 逻辑学研究的是思维的逻辑形式,其主体是推理形式。逻辑学对词项、命题逻辑学研究的是思维的逻辑形式,其主体是推理形式。逻辑学对词项、命题的研究,都是服务于对推理的研究。的研究,都是服务于对推理的研究。推理是从一个或多个已知命题得出一个新命题的思维过程。得出的新命题推理是从一个或

12、多个已知命题得出一个新命题的思维过程。得出的新命题叫结论,据以得出结论的命题叫前提。叫结论,据以得出结论的命题叫前提。所有科学都是有价值的,有的理论是科学所有科学都是有价值的,有的理论是科学,所以,所以,有的理论是有价值的有的理论是有价值的。或然性推理推理必然性推理演绎推理类比推理不完全归纳推理完全归纳推理前提结论推理2023年5月10日星期三11推理的有效性演绎推理的有效性:如果在一个演绎推理中,当所有前提为真时,其结论必然演绎推理的有效性:如果在一个演绎推理中,当所有前提为真时,其结论必然为真。则这类推理称为形式正确的推理,又称为有效的推理。为真。则这类推理称为形式正确的推理,又称为有效的

13、推理。例:(1)所有的金属都是导电体,(2)所有宣传品都是文艺作品。塑料是金属,标语是宣传品。所以,塑料是导电体。所以,标语是文艺作品。这两个有效推理的形式为:所有所有M M是是P P,所有所有S S是是M M,所以,所有所以,所有S S是是P P。正确推理只需要一个条件正确推理只需要一个条件:推理符合规则推理符合规则,也就是推理形式正确也就是推理形式正确,而与前提的真实性无关。而与前提的真实性无关。尽管上述两个推理的前提并不都是真实的。但从形式方面来讲,其结论是由前提推出来尽管上述两个推理的前提并不都是真实的。但从形式方面来讲,其结论是由前提推出来的。因此,这个推理是正确的。因此,这个推理是

14、正确(有效有效)的。的。归纳推理的有效性:归纳推理(不完全归纳)具有或然性归纳推理的有效性:归纳推理(不完全归纳)具有或然性,也就是讲前提对结论也就是讲前提对结论只有一定强度的支持,当前提为真,结论也可能是假的。归纳推理前提断定的只有一定强度的支持,当前提为真,结论也可能是假的。归纳推理前提断定的范围越接近结论断定的范围,对结论的支持强度就越大。范围越接近结论断定的范围,对结论的支持强度就越大。2023年5月10日星期三12逻辑的发展阶段按逻辑学发展的历程,逻辑可分为按逻辑学发展的历程,逻辑可分为传统逻辑传统逻辑和和现代逻辑现代逻辑两大阶段。两大阶段。传统逻辑包括传统演绎逻辑和传统归纳逻辑。其

15、中传统演绎逻辑主要指古希腊亚里士多德创立的词项逻辑和斯多葛派奠定的命题逻辑;而传统归纳逻辑是英国培根创建的,主要研究了实验科学中运用的一些推理和方法。现代逻辑指从布尔开始到如今以数理逻辑为主的逻辑理论,也分为现代演绎逻辑和现代归纳逻辑。现代演绎逻辑以命题逻辑、谓词逻辑为基础内容,包括集合论、证明论、递归论、模型论,也包括多值逻辑、模态逻辑等非标准逻辑,还包括问题逻辑、规范逻辑等应用逻辑。现代归纳逻辑以两个演算和概率论为工具,进行形式化的处理,对归纳结论的概然性作出精确计算,求得前提对结论的支持强度的概率。传统逻辑现代逻辑第一章 绪论第二节第二节逻辑学的性质及作用逻辑学的性质及作用2023年5月

16、10日星期三14逻辑学的性质逻辑学的性质全人类性全人类性基基 础础 性性工工 具具 性性规规 范范 性性各民族的语言所表达的思维形式,特别是推理形式是相同的,推出关系遵循的规律是相同的。这种性质决定了逻辑学具有全人类性。任何学科都必须使用逻辑学,逻辑学是一门基础性学科。二十世纪八十年代,联合国教科文组织把逻辑学列为七大基础学科之一。逻辑学提供的关于词项、命题、推理、论辩、逻辑方法的理论,为人们学习、理解、掌握和研究其他科学提供了有力工具。逻辑学研究思维的形式结构,具有很强的规范性。逻辑规律或规则,是人们进行正确思维和成功交际必须遵循的规范。2023年5月10日星期三15逻辑学的作用1、学习逻辑

17、学,有助于培养和提高认知自学能力、学习逻辑学,有助于培养和提高认知自学能力 树立终身教育理念,不断学习,是现代社会对人们提出 的共同要求,而逻辑思维能力直接决定认知自学能力。逻辑思维能力的重要表征之一是运用符号尤其是人工语言的能力。通过对逻辑学的学习,能培养和提高对人工语言的运用能力,提高逻辑思维能力。逻辑学提供人们关于思维的逻辑形式正确性的知识。2、学习逻辑学,有助于培养与提高理论素养、学习逻辑学,有助于培养与提高理论素养 在学习型社会,每个人都应提高其自身的理论素养,理论素养首要的是哲学素养。学习逻辑学,可以培养我们的哲学素养,完善我们的知识结构,提高我们的文化素质。2023年5月10日星

18、期三16逻辑学的作用3、学习逻辑学,有助于培养和提高科学研究能力、学习逻辑学,有助于培养和提高科学研究能力 科学研究需要理论素养,需要较强的认知能力,尤其需要创新思维与创新能力,需要科学的方法和工具。逻辑学所提供的一系列理论、规律、方法,可以提高我们的认知能力,使我们的思维更加敏捷,也给我们提供了科学研究的工具,促进知识创新能力的提高。4、学习逻辑学,有助于培养和提高思维素质、学习逻辑学,有助于培养和提高思维素质 思维素质是人的基本素质。逻辑学作为思维科学,专门研究思维的逻辑形式及规律,研究认识事物的简单的逻辑方法,尤其是研究推理有效性的理论、规律与方法。学习逻辑学,人们可以使思维得到规范,使

19、思维更加敏捷,思维素质大大提高。2023年5月10日星期三17逻辑学的分类用用第一章 绪论第三节第三节 逻辑学的研究与学习方法逻辑学的研究与学习方法2023年5月10日星期三19逻辑学的研究方法非形式化的方法逻辑学的研究方法形式化的方法公理化方法自然演绎方法2023年5月10日星期三20逻辑学的学习方法 1、明确逻辑学的对象,树立形式化观念。、明确逻辑学的对象,树立形式化观念。2、把握逻辑学的脉络,突出学习的重点。、把握逻辑学的脉络,突出学习的重点。3、根据逻辑学的特点,注重方法的学习。、根据逻辑学的特点,注重方法的学习。4、认识逻辑学的性质,理论联系实际。、认识逻辑学的性质,理论联系实际。第

20、一章 绪论第四节第四节 逻辑学的发展简史逻辑学的发展简史2023年5月10日星期三22古希腊逻辑学古希腊哲学家、逻辑学家亚里士多德(前古希腊哲学家、逻辑学家亚里士多德(前384-前前322)在历史上建立了第一个初级的演绎推理系)在历史上建立了第一个初级的演绎推理系统。统。亚里士多德主要研究的内容亚里士多德主要研究的内容:1、研究了关于概念和判断的理论以及直言判断和模态命题;2、提出了逻辑的三大思维规律:矛盾律、排中律、同一律;3、主要贡献是对三段论的系统研究;4、总结了很多关于论证、反驳谬误和诡辩的方法。2023年5月10日星期三23传统逻辑的发展斯多葛学派:斯多葛学派:发展了演绎逻辑,对命题

21、理论有新的突破;在推论形式的多样化、形式化也有进展;对悖论作了一些研究。伊壁鸠鲁派:伊壁鸠鲁派:提出了归纳法,发展了归纳理论。中世纪的研究成就:中世纪的研究成就:元逻辑的研究取得一定的成果;创立了推演学说,研究了语义悖论及解决方法;逻辑学知识被高度重视,西班牙逻辑学家彼得的逻辑大全被各类学校广泛采用。2023年5月10日星期三24传统逻辑的发展西方逻辑学早期状况英国哲学家培根系统地总结和英国哲学家培根系统地总结和研究了实验科学方法,奠定了归研究了实验科学方法,奠定了归纳逻辑的基础并使之蓬勃发展。纳逻辑的基础并使之蓬勃发展。其著作其著作新工具新工具主要内容:主要内容:1 1、提出了整理、分析、比

22、较等科学归纳、提出了整理、分析、比较等科学归纳的的“三表法三表法”:“本质和具有表本质和具有表”、“差异表差异表”、“程度表程度表”或或“比较表比较表”。2、提出了确定现象因果联系的方法,初步建立了归纳推理的理论体系。英国哲学家穆勒提出了探求因果联系的五种方法,也就英国哲学家穆勒提出了探求因果联系的五种方法,也就是是“穆勒五法穆勒五法”。2023年5月10日星期三25逻辑学的现代概况17世纪末德国数学家、哲学家莱布尼世纪末德国数学家、哲学家莱布尼茨提出把逻辑推理变成数学演算的思想。茨提出把逻辑推理变成数学演算的思想。英国逻辑学家汉密尔顿创立了谓项量英国逻辑学家汉密尔顿创立了谓项量化理论,使逻辑

23、学向形式化迈出了新的化理论,使逻辑学向形式化迈出了新的一步。一步。英国逻辑学家布尔建立了英国逻辑学家布尔建立了“逻辑代逻辑代数数”,首先实现莱布尼兹的设想。,首先实现莱布尼兹的设想。德国数学家、逻辑学家弗雷格较严格德国数学家、逻辑学家弗雷格较严格的构建了一个逻辑演算系统。的构建了一个逻辑演算系统。英国著名的哲学家、逻辑学家罗素建立了谓词演算系统。英国著名的哲学家、逻辑学家罗素建立了谓词演算系统。罗素和怀特海在罗素和怀特海在数学原理数学原理中总结了前人的成果,使中总结了前人的成果,使数理逻辑成为一个新学科。数理逻辑成为一个新学科。2023年5月10日星期三26逻辑学三项划时代的重大成果1931年

24、德国数学家哥德尔提出了不年德国数学家哥德尔提出了不完全性定理,它证明了包括数论在内完全性定理,它证明了包括数论在内的一致的形式系统都是不完全的,提的一致的形式系统都是不完全的,提出了形式系统的局限性。出了形式系统的局限性。1933年波兰逻辑学家塔尔斯基建立年波兰逻辑学家塔尔斯基建立了逻辑语义学,在其理论中,区分了了逻辑语义学,在其理论中,区分了元语言和对象语言,确立了真谓词的元语言和对象语言,确立了真谓词的逻辑原则。逻辑原则。1937年英国数学家、逻辑学家图灵建立了年英国数学家、逻辑学家图灵建立了“图灵机理图灵机理论论”,第一次为人类提出了计算机应用的理想模型,标志,第一次为人类提出了计算机应

25、用的理想模型,标志着人工智能时代的到来。着人工智能时代的到来。2023年5月10日星期三27本章小结基本内容基本内容逻辑学的基本概念、思维的内容与形式。逻辑学的基本概念、思维的内容与形式。逻辑学的性质,学习逻辑学的作用。逻辑学的性质,学习逻辑学的作用。逻辑学的研究方法以及学习方法。逻辑学的研究方法以及学习方法。逻辑学的发展简史。逻辑学的发展简史。重难点重难点思维的内容与形式。思维的内容与形式。有效有效(形式正确形式正确)的推理。的推理。形式化、公理化方法。形式化、公理化方法。2023年5月10日星期三28形式化方法 形式化方法的作用形式化方法的作用:主要是能克服自然语言的歧义性。形式化方法的内

26、容形式化方法的内容:1 1、把自然语言符号化,抽象和概括为形式语言。形式语、把自然语言符号化,抽象和概括为形式语言。形式语 言由两部分组成:初始符号和形成规则。言由两部分组成:初始符号和形成规则。2 2、对直观意义的推理关系进行语形和语义的双重刻画。、对直观意义的推理关系进行语形和语义的双重刻画。3 3、证明对推理关系的双重刻画的重合性。、证明对推理关系的双重刻画的重合性。形式化方法是指用一套特制的符号形式化方法是指用一套特制的符号,去表示词去表示词项、命题、推理,从而对词项、命题、推理的形项、命题、推理,从而对词项、命题、推理的形式的研究,转化为对形式符号表达式系统的研究式的研究,转化为对形

27、式符号表达式系统的研究的方法。的方法。2023年5月10日星期三29公理化方法公理系统是从一些公理出发,根据一定的规则,推演出一系公理系统是从一些公理出发,根据一定的规则,推演出一系列定理,它由初始概念、公理、定义、推理规则和定理构成列定理,它由初始概念、公理、定义、推理规则和定理构成的演绎系统。建立公理化系统的具体步骤:的演绎系统。建立公理化系统的具体步骤:1、把一组概念作为不加定义的初始概念,而其余概念叫导出概念,它们都由初始概念通过定义引入。2、从一组不加证明的公理出发,通过逻辑推理规则可推演出一系列的命题,这些命题叫定理,其推理过程叫证明。公理化方法是从初始概念和公理出发,利用它们定义其它一切概念以及推演出其它一切定理的演绎方法,也就是运用形式化手段建立公理系统的方法。2023年5月10日星期三30自然演绎方法自然演绎方法与公理化方法的不同点:自然演绎方法与公理化方法的不同点:(1 1)没有公理;)没有公理;(2 2)只有推演规则;)只有推演规则;(3 3)系统的建立,以接近日常推理为考虑的重点。)系统的建立,以接近日常推理为考虑的重点。自然演绎方法是一种强调推理规则的重要性,既可以从真前提推出真语句,也可从假设得出推断的形式化方法。

侵权处理QQ:3464097650--上传资料QQ:3464097650

【声明】本站为“文档C2C交易模式”,即用户上传的文档直接卖给(下载)用户,本站只是网络空间服务平台,本站所有原创文档下载所得归上传人所有,如您发现上传作品侵犯了您的版权,请立刻联系我们并提供证据,我们将在3个工作日内予以改正。


163文库-Www.163Wenku.Com |网站地图|