1语言
　　逻辑语言是一种形式化语言，它与自然语言的不同之处在于它是人工定义的语言。逻辑语言通常包括符号表和语法，其中符号表规定了逻辑语言中所使用的符号，由符号表和相关语法可生成项和公式。直观上说，逻辑语言中的符号、项、公式分别类似于自然语言中的字、词、句。逻辑语言中的公式并不是符号的任意组合，而是由符号表中的符号按照给定的语法规则构造的表达式，通常将这种表达式称为良构公式（wellformedformulas）或合式公式，简称公式。
　　2语义
　　逻辑语言中的语句是由抽象符号构成的公式，它本身并没有具体的含义，要使其有意义，必须给出相应的解释，通过解释而得到的意义称为语义。如将逻辑语言中的语句解释为关于一定对象的描述，可反映对象的属性或对象之间的关系。这些对象可以是数学对象，如群、图、自然数等，也可以是日常生活中的对象，如汽车、计算机、员工等。类似于自然语言中很多句子有正确与否之分，逻辑语言中的语句有真假之分，这种真假取值简称真值。通过语义的定义可以确定一个逻辑语句的真值。
　　3推演系统
　　推演系统由一组公理或推理规则组成。其中，公理是一些公式，表示可不加证明而被接受的断言。推理规则是由公式（组）产生公式的生成规则，它本质上是一种符号串的重写规则。通常，公理或推理规则是以模式（schema）的形式给出的。模式是对具体公理或推理规则的抽象概括，每一条公理或推理规则模式都代表无穷多个公理或推理规则实例。

数学结构分为：代数结构、序结构与拓扑结构三大类数学结构可分为代数结构、序结构与拓扑结构三大类。这三大类结构称为母结构，由它们还可导出各种子结构或通过交叉，形成各种分支结构。（一）代数结构代数结构，也称为代数系统……数学和逻辑的辩证关系：一致性、差异性和相互性一般认为，数学是研究空间形式和数量关系的一门科学，逻辑是研究思维形式及其规律和方法的一门科学，但它们都完全撇开其内容，仅仅从形式方面加以研究，因而均具有高度的抽象性，所以在分类……何怀宏：新伦理纲常探讨中国社会的道德根基中国弃君主行共和已经百年，现在正进入它的第二个百年。抚今追昔，它是有许多方面可以感到骄傲的：在历经战乱和动荡之后，中国在最近的30年经济和国力终于有了突飞猛进的发展，经济崛起的……数理逻辑的结构1语言逻辑语言是一种形式化语言，它与自然语言的不同之处在于它是人工定义的语言。逻辑语言通常包括符号表和语法，其中符号表规定了逻辑语言中所使用的符号，由符号表和相关语法可生……命题演算与谓词演算1命题演算命题演算即Ls，是研究关于命题如何通过一些逻辑连接词构成更复杂的命理以及逻辑推理的方法。命题逻辑是数理逻辑的基本组成部分，是谓词逻辑的基础。所谓命题，是指……数理逻辑思想的形成与发展（一）数理逻辑思想的形成早在两千多年以前，伴随着生产实践、自然科学和思想论战的发展，以思维和论辩的方法为研究对象的逻辑学就在中国、印度、希腊逐步产生了。不过，当时它还不是……奥苏贝尔的学习方式分类奥苏贝尔针对认知领域中的学习现象，将学习按照两个维度进行划分：依据学习深度，分为机械学习和有意义学习；依据学习方式维度，分为接受学习和发现学习。1机械学习和有意义学习……数学学习的内涵及其特点数学学习是指在特定环境下，学生依据数学课程目标、根据数学教学目标、依托数学教材，在教师指导下获得数学知识与技能，培养数学能力，发展个性品质的过程。从数学认知结构的建构角度……加涅由低级到高级将学习分为八种类型加涅（R。M。Gagne）根据学习结果水平的高低和学习内容的复杂程度，由低级到高级将学习分为八种类型。信号学习。由单个事例或一个刺激的若干次重复所引起的一种无意识的行为变……抽象思维的基本方法1抽象思维的概念抽象思维（AbstractThinking），又叫逻辑思维，是人们运用概念、判断、推理等形式进行的思维。抽象思维主要是凭借抽象概念来反映事物的本质和客观规……桑代克的试误说及其对数学学习的影响美国教育心理学家桑代克（E。L。Thorndike）主张从外部行为的观察来研究动物和人的心理。他通过猫解决疑难笼的实验，认为动物是经过不断尝试错误（trialanderror）……什么是整体思考法整体思考法是由德彼诺（EdwarddeBono）开发的一个全面思考问题的模型，它提供了“横向思考”的工具，避免把时间浪费在相互争执上。这种方法将思维方式分为六类，而每次思考时思……