发布时间：
逻辑学的意义小论文如下：
逻辑学是研究思维、思维的规定和规律的科学，学习逻辑学有助于人们正确的认识客观事物，获取新的知识，学习逻辑学有助于人们准确的表达思想，严格的论证思想，学习逻辑学，有助于人们揭露和纠正谬误，批驳诡辩论。
逻辑是指思维的规律，逻辑学就是关于思维规律的学说，又称理则学。逻辑学是一个哲学分支学科。其是对思维规律的研究。逻辑和逻辑学的发展，经过了具象逻辑到抽象逻辑到具象逻辑与抽象逻辑相统一的对称逻辑三大阶段。
逻辑学是研究思维的学科。所有思维都有内容和形式两个方面。思维内容是指思维所反映的对象及其属性。思维形式是指用以反映对象及其属性的不同方式，即表达思维内容的不同方式。从逻辑学角度看，抽象思维的三种基本形式是概念，命题和推理。
逻辑学，具体来说形式逻辑，是建立现代自然科学的基石，没有古希腊的逻辑学，就不会产生始于西方的现代自然科学。由于大家每天在习惯性的使用逻辑规则，而感觉不到逻辑学的重要性，这是十分遗憾的，中国高中或大学忽视这种教育也是十分遗憾的。
人工智能与现今逻辑学的发展-.〔摘要〕 本文认为，计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉，并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期，逻辑学将重点关注下列论题：（1）如何在逻辑中处理常识推理的弗协调、非单调和容错性因素？（2）如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的可错的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。 〔关键词〕 人工智能，常识推理，归纳逻辑，广义内涵逻辑，认知逻辑，自然语言逻辑 现代逻辑创始于19世纪末叶和20世纪早期，其发展动力主要来自于数学中的公理化运动。当时的数学家们试图即从少数公理根据明确给出的演绎规则推导出其他的数学定理，从而把整个数学构造成为一个严格的演绎大厦，然后用某种程序和方法一劳永逸地证明数学体系的可靠性。为此需要发明和锻造严格、精确、适用的逻辑工具。这是现代逻辑诞生的主要动力。由此造成的后果就是20世纪逻辑研究的严重数学化，其表现在于：一是逻辑专注于在数学的形式化过程中提出的问题；二是逻辑采纳了数学的方法论，从事逻辑研究就意味着象数学那样用严格的形式证明去解决问题。由此发展出来的逻辑被恰当地称为“数理逻辑”，它增强了逻辑研究的深度，使逻辑学的发展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期，并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响。 本文所要探讨的问题是：21世纪逻辑发展的主要动力将来自何处？大致说来将如何发展？我个人的看法是：计算机科学和人工智能将至少是21世纪早期逻辑学发展的主要动力源泉，并将由此决定21世纪逻辑学的另一幅面貌。由于人工智能要模拟人的智能，它的难点不在于人脑所进行的各种必然性推理（这一点在20世纪基本上已经做到了，如用计算机去进行高难度和高强度的数学证明，“深蓝”通过高速、大量的计算去与世界冠军下棋），而是最能体现人的智能特征的能动性、创造性思维，这种思维活动中包括学习、抉择、尝试、修正、推理诸因素，例如选择性地搜集相关的经验证据，在不充分信息的基础上作出尝试性的判断或抉择，不断根据环境反馈调整、修正自己的行为，……由此达到实践的成
毕业论文要有正确的立意，还要有严密的逻辑性。就是说论文不仅要做到“言之有理”、“言之有物”，还要做到“言之有序”。任何事物的发展，都有它的规律性。论文的结构也有规律性，这就是论证所遵循的“序”。遵循了“序”，论文在布局谋篇上就会更完整，结构就会更严谨。论文的结构安排，要在中心论点的统率和支配下，把各个论证部分严谨周密地组织起来，分清主次轻重，做到层次分明，详略疏密有致。毕业论文在结构上存在的毛病，常见的主要有下列几种：一、结构不完整、不平衡一般毕业论文大致上可以分成三个部分：开始列有小序对全文的概括，使读者有个全面的了解，或者鲜明地提出问题，领挈全文；然后，便分层展开论述，在总论点领辖下各分论点依次铺开，深入分析问题，这是论文的主体；最后是结论部分，依据论述的需要确定结尾的长短和详略，这就使论文浑然一体，布局完整。有的文章缺少某一重要部分，如无头(绪)或无尾(结论)，不能形成一个完整的整体。如有的论文，开头没有说明课题的来源或研究目的、意义，也不交代调查的手段和方法，一上来就列举大量事实和数据，让人觉得“没头没脑”。有的文章结尾处没有明确的结论，没有个人的观点和见解，缺乏必要的分析和评论。有的论文该详细的不详细，该简略的却过于冗长；对中心论点的论证不充分，而对其它分论点却津津乐道。这样，论文的结论就不平衡了。二、结论松散，缺乏条理一般来说，文章采用的基本推理形式，决定着文章的内在结构形式。例如，一篇文章主要是探讨某一事物产生的原因，反映在结构上，必然有因果关系的两个部分，或者是结果推及原因，或者由原因推断结果，缺一不可。文章要有层次，有条理。如果在写作中，材料的安排不当，就会使层次不分明、条理不清楚。事物之间有各种不同的关系，反映这种关系的材料之间也有各种不同的关系，例如，平行关系、递进关系、接续关系、对立关系等。总之，理清了事物之间的相互关系，并在结构中体现出来，文章的眉目就清楚了。而有的文章内容上拼拼凑凑，论文层次既不遵循各部分内在逻辑顺序，也不符合作者和读者的认识规律。作者心中缺乏总体布局，写作时信马由缉，任笔端自由驰骋，因而出现前后不衔接，甚至前后重复、前后矛盾，或颠三倒四，东拉西扯，上下两段明显地割裂开来，缺少自然的过渡，使人感到突冗、生硬，意思不连贯。有的论文分段太长，甚至一连好几页也不分段，显得层次不明，看起来费力。三、论证不得力，缺少逻辑性论证不力的情况有两类：一类只有理论分析，从理论到理论，缺少必要的和充分的事例和数字的依据；另一种是材料很多，但在选材和组织材料上欠佳，缺少周密严谨的逻辑性。后一类毛病在许多论文中常出现，其表现为：忽视“新颖性”的选材要求，，材料陈旧，用一些人们熟知的老例子，缺乏新鲜感、吸引力；不能有选择地利用典型、精当的材料形成自己的观点，例子滥而散，没有从中整理出自己立论的角度和起笔的由头；论据缺乏典型性、必要性，仅凭在特定环境中极少发生的某些事实，得出与该环境中大量发生事实所不同的结论，因而论证缺乏说服力；提出论点、罗列论据之后，不作深入分析甚至不作任何分析，没有论证过程，便用“由此可见”、“大量事实证明”等语句，转而扣合所提出的论点；以偏概全，以点代面，以小论据支撑大论点，论据不足，犯“推不出”的毛病；结构混乱，缺乏逻辑性。前后颠倒，层次不清。胡子眉毛一把抓。有的主次不分明，重点不突出。有的论点与论据之间没有必要的联系，二者或互相脱节，或互相矛盾，犯“引论失据”的毛病，其原因是对概念和事实并没有真正理解；分析问题时不是从实际出发，从对事实的分析中得出结论，而是用观点去套例子，用事实去印证观点；前后论点有矛盾，中心论点与分论点有矛盾，或回避论题，或主观臆断，分析不客观，没有进行必要的和充分的论证。有的结构单一，缺乏层次性。一篇四五千字的长文章，中间不用序码，也不加小标题，读起来很吃力，有的首尾脱节，缺乏完整性。四、绪论、结论写作不当在一些毕业论文中，绪论和结论写作不当是一个较为突出的问题，其原因是作者对绪论和结论的作用了解不够，不懂得怎样写好绪论和结论。有些论文的绪论洋洋洒洒，篇幅相当大，却写了一些与毕业论文没有多大关系甚至无用的话，离题千里，既臃肿繁杂又内容贫乏，没有很好地起到导引本论的作用。有些论文的绪论整段抄录教科书的有关内容，对一些入所共知的一般知识，不厌其烦地作介绍，却不认真提及自己的设计任务和课题的意义，没有说清论文的要害所在，因而内容空泛，文不对题。很多论文的结论也不符合写作要求。有的论文根本没有结语，有头无尾，不能完整、准确地表达自己的研究成果或结果。例如，有的论文在写完调查过程和所能获得的数据材料之后，就突然停笔，没有结论，没有归纳和总结，也没有评价与建议。这样的论文，反映不出工作的最终成果，没有作者的见解、意见和建议，看不出研究或设计任务是否完成和完成的质量。有些毕业论文在结尾处写上几点一般性者生常谈的体会，而不能把自己研究成果深刻地反映出来。这种肤浅的认识和感受，是不能代替论文结论的。五、论证方法单调有的毕业论文在论证主题过程中，方法比较单调，文章显得平铺直叙，没有波澜起伏。例如，有的文章从头至尾采用一种例证法，围绕大论点，提出小论点，用一个事例说明，由是得出一个大结论。论证就缺乏科学性和说服力。有的文章格式也单调，往往是现状、存在问题及原因，然后提出几点对策，再加上陈旧的观点和数据，文章就没有论证的力度和说服力。有的文章结构刻板，缺乏创造性。论文结构干篇一律，总是“三部曲”(现状——原因——对策)或“四部曲”(成绩——问题——成因——对策)，读之令人生厌。要改变这种毛病，就要在文中反复用各种论证方法，除了例证法以外，还要学会用喻证法——运用比喻的方法把道理引出来，说明论点的论证方法；类比法——根据两种事物在某些特征上的相似，得出它们在其他特征也可能相似的结论；对比法——把两种事物加以对照、比较，从而推导出它们的差异点；反驳法——通过否定对方的观点和看法，来阐明自己观点；归谬法——反驳对方论点，首先假设对方的论点是正确的，然后加以引申、推论，从而得出极其荒谬的结论来。
论文学术水平比学士论文要高。它必须能够反映出作者所掌握知识的深度，有作者自己的较新见解。国家学位条例第五条规定，高等院校和科学研究机构的研究生，或具有研究生毕业同等学历的人员，只有在本学科上掌握坚实的基础理论和比较系统的专门知识，具有从事科研工作和专门技术工作的独立能力者，才可通过论文答辩，取得硕士学位。这就是说，硕士论文强调作者在学术问题上应有自己的较新见解和独创性，其篇幅一般要长一些，撰写前应阅读较多的有关重要文献。以意为主，首尾统一，意是文章的中心，要写好毕业论文，就要抓住中心。这个中心的要求应当是简单明了的。抓住这样的中心，紧扣不放，一线到底，中途不可转换论题，不可停滞，不可跳跃遗隙，这样就能使中心思想的发展具有连续性。作为一篇论文，从思想的发展来说，要一层一层地讲，讲透了一层，再讲另一层意思。开头提出的问题，当中要有分析，结尾要有回答，做到前有呼，后有应。层第有序，条理清晰，文章要有层次，有条理，这和材料的安排处理关系极大。材料之间的相互关系不同，处理方式也不同，不能错乱，错乱了，层次就不清楚，自然也不会有条理。平行关系。文章各部分材料之间，没有主从关系，在顺序上谁先谁后都可以，影响不大。例如介绍寿险险种，有传统型险种、分红险种，投资连结等，不论先介绍哪一个都可以。递进关系。是一种一层比一层深入的关系，颠倒了就会造成逻辑混乱。接续关系。前一部分与后一部分有直接的逻辑联系，层次虽分，道理末尽。前一层有未尽之意有待后面续接，不可中断。希望对你有帮助
论文学术水平比学士论文要高。它必须能够反映出作者所掌握知识的深度，有作者自己的较新见解。国家学位条例第五条规定，高等院校和科学研究机构的研究生，或具有研究生毕业同等学历的人员，只有在本学科上掌握坚实的基础理论和比较系统的专门知识，具有从事科研工作和专门技术工作的独立能力者，才可通过论文答辩，取得硕士学位。这就是说，硕士论文强调作者在学术问题上应有自己的较新见解和独创性，其篇幅一般要长一些，撰写前应阅读较多的有关重要文献。以意为主，首尾统一，意是文章的中心，要写好毕业论文，就要抓住中心。这个中心的要求应当是简单明了的。抓住这样的中心，紧扣不放，一线到底，中途不可转换论题，不可停滞，不可跳跃遗隙，这样就能使中心思想的发展具有连续性。作为一篇论文，从思想的发展来说，要一层一层地讲，讲透了一层，再讲另一层意思。开头提出的问题，当中要有分析，结尾要有回答，做到前有呼，后有应。层第有序，条理清晰，文章要有层次，有条理，这和材料的安排处理关系极大。材料之间的相互关系不同，处理方式也不同，不能错乱，错乱了，层次就不清楚，自然也不会有条理。平行关系。文章各部分材料之间，没有主从关系，在顺序上谁先谁后都可以，影响不大。例如介绍寿险险种，有传统型险种、分红险种，投资连结等，不论先介绍哪一个都可以。递进关系。是一种一层比一层深入的关系，颠倒了就会造成逻辑混乱。接续关系。前一部分与后一部分有直接的逻辑联系，层次虽分，道理末尽。前一层有未尽之意有待后面续接，不可中断。
这个可以以幽默地话来写出自己的由来，然后写出自己的一生的经历，然后总结就好了。
高中论证思路的答题格式如下：
1、先抓住语言标志，辨识议论文的结构方式，即看一下全文或段落是总分总结构、分总结构或总分结构。
2、按照第一步分析出的结构特点，对文本或段落进行划分。
3、归纳出段落或层次的段意（层意）及论述要点。
4、有条理的论述论证思路。论述时使用一些加强层次感的词语，如首先、其次、接着、最后等，把第三步归纳出的段意、层意或论述要点串联起来。
论证结构主要类别：
层进式就是后面的论证是在前面论证的基础上进行的，前后之间是逐层推进、逐步深入的关系。层进式结构中各个层次、段落之间的前后顺序有内在的紧密联系，不能随意变动。这种布局的好处是能反映出作者严密的逻辑思维能力。
对照式是在阐述和论证论点时，在本论部分选用论据进行对照比较。它是将论证内容构成正反对比或相关比较的关系。具体的安排是把两种事物或意思加以正反对比，或者用一种事物或意思与另一种事物或意思作比较。它的好处是布局上对比鲜明、主次明确，论点突出。
总分式就是在论证的段落、层次结构中引入总说和分说关系的论证方法。这种方法的运用能使论证内容纲目清晰，层次井然。
并列式：在论证思路中，对中心论点进行条分缕析，分解出几个分论点，共同来阐述文章的中心论点，这样就是并列式。
各个分论点平行列举，各个阐述。并列结构的外部语言标志有“首先”、“其次”、“再次”，或“一方面”、“另一方面”，或“其一”、“其二”等 。几个并列的分论点的内容不可交叉，不可重复 ，不可包容，不可矛盾。
论文之间的逻辑联系，亦即论文所反映的事物和事理的整体及其各部分之间的联系方式，基本上表现为纵向逻辑联系和横向逻辑联系，而两者又总是交织在一起，它们表现在论文的逻辑结构上就是：纵式结构、横式结构、合式结构三种形式。1．纵式结构。所谓纵向逻辑联系，是指总论点、分论点和小论点之间的逻辑顺序，以及分论点之间，小论点之间的逻辑顺序。论文内容之间的纵向逻辑联系，具体表现为论文的纵式结构，其特点在于论文的思想体系是纵向展开的。只有恰当处理论文内容的纵向逻辑联系，才能使论文有严谨的结构。一篇论文为了阐述总论点，要列出几个分论点，每个分论点扩展为一个部分，各个分论点之间，各个部分之间，应有内在联系。每个分论点又分为几个小论点，每个小论点又扩展为一段，各个小论点之间，各个段之间，也应有内在联系。这样，全篇论文的纵向逻辑联系便体现出来了，并且相应地形成了论文的完整体系和严谨结构。2．横式结构。所谓横向逻辑联系，是指论点和论据，观点和材料之间的逻辑联系。论文内容之间的横向逻辑联系具体表现为论文的横式结构。在一篇论文中只有总论点才单纯地作为论点或观点存在，而分论点和小论点却有双重“身分”，或者作为论点或观点存在，或者作为论据和材料存在。至于用来说明小论点的材料，则只能有材料或论据一重“身份”了。论文要做到有很强的说服力，富有逻辑力量最重要的是论点明确，论据充分，论证严密，揭示论点和论据的必然联系。首先，只有把总论点和材料有机地结合起来，论文才有生命力，才能收到很好的效果。其次，还要处理好分论点和材料的关系，以至小论点和材料的关系，这不仅能直接证明分论点或小论点，而且能间接地为突出总论点服务。3．合式结构。论文内容之间的逻辑联系是纵向、横向穿插进行，交织在一起的。具体表现为论文的纵、横式结构，简称合式结构。这种结构的论文，有的以纵向展开为主，有的以横向展开为主。三、运用逻辑方法要正确处理毕业论文内容之间的逻辑联系，增强论文的逻辑力量，必须学会运用逻辑思维方法。逻辑思维方法是一个整体，它是由一系列既相区别又相联系的方法所组成的，其中主要包括：归纳和演绎的方法，分析和综合的方法，从具体到抽象和从抽象上升到具体的方法，逻辑和历史统一的方法。逻辑思维方法不仅是论文写作中内容安排和逻辑论证的方法，而且更重要的是进行科学研究的方法。
当然是学编辑出版学了！该专业主干课程：主干学科：新闻传播学主要课程：编辑学概论、古代汉语、现代汉语、出版发行学基础、中国编辑出版史、图书学、出版美学(含装帧设计)、书业法律基础、报刊编辑学、出版现代技术等。主要实践性教学环节：包括编辑业务实习、出版实习等，一般安排20周。主要开办院校：北京：北京大学 中国人民大学 中国传媒大学 北京印刷学院天津：南开大学上海：华东师范大学 上海师范大学河北：河北大学 河北经贸大学山东：中国海洋大学 青岛科技大学 山东工商学院山西：山西师范大学江苏：南京大学 南京医科大学浙江：浙江大学 浙江工商大学 杭州电子科技大学湖北：武汉大学 武汉理工大学 湖北民族学院湖南：湖南师范大学 湘潭大学 衡阳师范学院 湖南商学院 广东：华南理工大学 华南师范大学广西：广西师范大学 广西民族学院云南：昆明理工大学四川：四川大学陕西：陕西师范大学 西北政法学院黑龙江：黑龙江大学吉林：吉林师范大学 吉林工程技术师范学院辽宁：铁岭师范高等专科学校 辽宁大学内蒙古：内蒙古民族大学福建:漳州师范学院港澳台：香港浸会大学以上学校都不错的 楼主可以考虑
去香港吧，浸会大学传媒很好，对你做编辑很适合。这是英文教学项目。或者去欧洲读奢侈品管理
回答：\x0d\x0a\x0d\x0a1、如果到杂志编辑部工作，需要知道你从事的工种。如果你要当编辑或者记者，最好学中文专业和新闻专业，其中中文最佳。如果你要做广告营销上两个专业仍可以，不过最好学市场营销和广告营销。如果你要做设计或者美工就最好学艺术设计、平面设计。\x0d\x0a\x0d\x0a2、杂志编辑部属于媒体单位，对专业还是比较重视的，不过你若是文字功底很好，并且独立撰稿能力比较好，就是专业不对口也没关系。\x0d\x0a\x0d\x0a3、可以，你学的金融专业，并且语种会很多，还会绘图设计，能力很强了，去时尚杂志绰绰有余。不过要看你想干那一行，究竟是编辑还是会计或者是营销的。如果做编辑的话，你得对时尚行业有一定认识，并且文字功底好。
喜欢时尚杂志啊……看来你觉得自己适合去那个领域生存……我是编辑出版专业的学生，就你的情况的话，其实来读这个专业是不错的。首先，你想对口的话只能找 新闻传播学 这个 大类 在这个大类里面，其实都能和杂志扯上关系，但毫无疑问，编辑出版专业是最合适的了。一方面，这个专业到了大二就会要求每个人都去做书，同学之间也可以开始做杂志（谈不上正式出版的杂志，只是几个朋友玩玩的而已，一般是电子杂志，目的在于积累素材和积累经验），老师的话也相对很年轻化（心理年龄）。编辑出版 只是个名字而已，具体的教学的话可以让你学会一本书从头到尾如何出来的所有东西，但是要敬告的一点是，很多人由于自己不努力，导致很多课程没学透，造成不会用好些软件（诸如photoshop \coreldraw \indesign等），很多的东西是要自己去学的，这一点一定要明白，不要到了大二大三了，才发现自己的专业能力比起周围的同学没什么不一样，至少要在某个方面（不管是文字编辑还是美术编辑，摄影编辑，甚至是文字记者）处于领跑状态吧。想成为一个好编辑的话，我想你一定会去了解很多资料的，我也就不多说了。我终于要说正经的了，你的成绩是二本，那就要看处于什么分数段了。以下学校 在这个专业上均不是一本，一本的话 有这个专业的分数都很高，一般考不进去的。我是哪个学校的就不说了，因为考虑到学校形象问题，万一有人看不惯我，就会迁怒我的母校的。1、浙江工商大学。他们的编辑出版专业是半理论半实践的，浙江省是一流，看他们拥有一个大学出版社就知道了（浙江省只有三个大学有自己的出版社，其他两个是浙江大学和浙江美院）。在分数上，招文也招理，不管文理科，估计都是一本线上下，也就是说，有好些同学的分数是只比一本线高几分的，因为一本学校不好选，所以进了那里。换言之，你的分数如果低于一本线25分，基本就没戏了。顺便说一句，我是高出一本线9分进去的，除去1b模块（这个模块共60分，在浙江省如果是一本就要算进去，如果是二本三本就拿掉再排名）后也很高（对于二本分数线来说，因为我1b只考了33分，5555……）所以如果你是外省的，没有一本，很难考这个专业，越不发达的省份所需分数越高。2、杭州电子科技大学，和浙江工商大学的下沙校区比较近，专业的话，实力上没有工商的强，确实。分数可能会低些。建议你报志愿的时候查一下去年前年报这个专业的录取最高分和最低分。3、浙江传媒学院。我不知道它是二本还是三本的，不过这个专业是有的，分数比前两者低很多，而且浙传媒在浙江的能量是很大的，很多浙江电视台的人都是那儿的校友。4、北京印刷学院。以实践为主，我们老师说起它的时候是持着赞扬的态度的，估计不错的，分数估摸也是一本上下。5、吉林长春师范学院。也是二本的吧。具体名字你再查查，我当年也填了这个学校，不过是在最后一个，因为太远了。6、其他的我所知道的就都是三本的了，因为我也只是凭着以前填志愿时的印象来说的。不过据我所知，至少在我们学校，这个专业有二本也有三本，上的课一模一样，整体实力有一定差距，但专业能力强的学生其实差不多，毕竟大学不一样了，成绩是无法判定一个人的，当然我指的是公共课的成绩，如果专业课成绩很差，那还是很能说明问题的。
1、命题逻辑显然可以看作谓词逻辑的一个子集。因为谓词逻辑中一般是允许出现0元谓词的。全部由0元谓词的构成的公式就是命题逻辑公式了。2、正如前面庄老师所说，当论域为一个大小确定的有限集时，一个谓词公式可以等价地转化成一个命题逻辑公式。当不特别说明论域（即，只在语法层面上讨论，不涉及语义），或论域的大小不是一个确定的自然数时，就不存在一般的转化方法了。 例如，公式“对所有x(P(x)->Q(x))”。如果已知论域为{a[1],a[2],...,a[n]}。则可以把P(a[1])，Q(a[1]），P(a[2])，Q(a[2])，……，P(a[n])，Q(a[n])看作2N个命题（即，定义命题P_i为：P(a[i])为真，定义命题Q_i为：Q(a[i])为真），从而原来的谓词公式就成了(P_1->Q_1)∧(P_2->Q_2)∧……∧(P_n->Q_n)。 如果不满足“论域为一个大小确定的有限集”这个条件，上述谓词逻辑公式显然无法等价地转化成一个命题逻辑公式。3、关于“命题逻辑与谓词逻辑的内容”、“两者表示知识的方法及其推理方法”、“命题逻辑与谓词逻辑的内在联系及区别”，推荐你找几本数理逻辑的书来看一下，许多逻辑书上都有介绍。4、一阶谓词逻辑是命题逻辑的推广，二阶谓词逻辑是一阶谓词逻辑的推广。命题逻辑的可满足性问题是NP-Complete的，一阶谓词逻辑的可满足性问题不可判定的。5、关于语法和语义、公式和解释、语言和模型、规则和真值的关系，建议看一些从模型论方面介绍数理逻辑的书（最近出的新书有沈恩绍先生的《集论与逻辑——面向计算机科学》、Michael Huth和Mark Ryan的《Logic in Computer Science: Modelling and Reasoning about Systems》）。
命题逻辑是一种比较简单，泛泛的逻辑。比如令命题A表示“小明喜欢数学”。
而谓词逻辑，是将命题逻辑表达不出来的逻辑继续细化，比如A（x,y）表示x喜欢y，则“小明喜欢数学”可以表示为A（小明，数学）。
命题逻辑
是指以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。相对于谓词逻辑，它是量化的并且它的原子公式是谓词函数；和模态逻辑，它可以是非真值泛函的。
演算是用来证明有效的公式（就是说它的定理）和论证（argument）的逻辑系统。它是公理或公理模式的集合（它可以为空或是可数无限集合），和推导有效的推理的推理规则。
形式文法（或语法）递归定义语言的表达式和合式公式（well-formed formula 经常缩写为wff）。此外给出定义真值和求值（或释义）的语义。它允许我们确定哪个 wff 是有效的（也就是定理）。